Как именно работает притяжательный квантификатор?

Question

В конце страницы есть при попытке объяснения того, как сделать жадные, неохотно и притяжательные кванторы работы: http://docs.oracle.com/javase/tutorial/essential/regex/quant.html

Однако я попробовал себя пример, и я, кажется, не понимают в полной мере.

Я вставлю свои результаты непосредственно:

Enter your regex: .*+foo 
Enter input string to search: xfooxxxxxxfoo 
No match found. 

Enter your regex: (.*)+foo 
Enter input string to search: xfooxxxxxxfoo 
I found the text "xfooxxxxxxfoo" starting at index 0 and ending at index 13. 

Почему первый reg.exp. не найти совпадения, а второй делает? Какая разница между этими двумя reg.exp.?

Answer 1

+ после того, как другой квантификатор означает «не разрешать двигателю регулярных выражений возвращаться к тому, что соответствует предыдущему токену». (См. Руководство по possessive quantifiers здесь).

Поэтому, когда вы применяете .*foo к "xfooxxxxxxfoo", .* сначала соответствует всей строке. Затем, так как foo не может быть сопоставлен, двигатель регулярного выражения отступает до тех пор, пока это невозможно, достигнув соответствия, когда .* соответствует "xfooxxxxxx" и foo соответствует "foo".

В настоящее время дополнительный + предотвращает это отключение, поэтому совпадение не выполняется.

Когда вы пишете (.*)+foo. + имеет совершенно иное значение; теперь это означает «один или несколько предыдущих маркеров». Кстати, вы создали вложенные кванторы, что, кстати, не очень хорошо. Если вы примените это регулярное выражение к строке, как "xfoxxxxxxxxxfox", вы столкнетесь с catastrophic backtracking.

Answer 2

Притяжательный квантор принимает строку целую строку и проверяет, совпадает ли она, если она не сработала. В вашем случае xfooxxxxxxfoo соответствует .*+, но затем вы запрашиваете еще одинfoo, которого нет, поэтому сбой завершен.

жадный квантор первый делает то же самое, но вместо того, чтобы не суметь его «отступает» и пытается снова:

xfooxxxxxxfoo fail 
xfooxxxxxxfo fail 
xfooxxxxxxf fail 
xfooxxxxxx match 

В вашем втором регулярном выражении вы просите что-то другое, путая механизм группировки. Вы запрашиваете «одно или несколько совпадений (. *)», Поскольку + теперь относится к(), и есть одно совпадение.