Почему string.find возвращает индексы всего шаблона, а не первого захвата?

Question

мне было интересно, о поведении этого кода:

str = "abcd" 
print(str:find"a(bc)d") -- prints 1 4 bc 
print(str:find"(ab)cd") -- prints 1 4 ab 

Даже если оба из двух линий ищут, и возвращение, разные строки, они возвращают те же показатели, потому что они имеют одинаковую систему отсчета. Другими словами, захваты игнорируются при вычислении индексов, но затем они возвращаются нормально.

Мой первоначальный вопрос был о том, что пошло не так, но затем я увидел, что the manual actually indicates that this is proper behavior (хотя это не очень понятно).

Проблема заключалась в том, что я пытался найти что-то на основе маркера рядом с ним, не возвращая позиции этого маркера. Я ожидал, что string.find вернет позицию первого захвата, если таковой был, поэтому я просто обернул часть, в которой я хотел, чтобы положение с круглыми скобками. Очевидно, это не помогло. Я нашел другое (и лучшее) решение проблемы, но я не думаю, что это всегда возможно или удобно.

Есть ли какая-либо причина для string.find вести себя таким образом? Есть ли особые преимущества для пользователей? Если у вас есть абсолютное мастерство Lua: действительно ли нет случая, когда это вызывает серьезную проблему?

Answer 1

Захваты являются побочным продуктом соответствия. Даже когда вы даете паттен, который захватывает, вы по-прежнему заинтересованы в сопоставлении всего шаблона. Другими словами, сопоставление отвечает на вопрос: где в данной строке появляется этот подтекст? Захваты - это просто лишние биты информации о матче.

string.find возвращает местоположение совпадения, чтобы позволить вам (например) продолжить синтаксический анализ строки после матча, возможно, с другим шаблоном.