Поведение в голосе внутри группы повторного чередования

Question

Регулярное выражение, например (?:(?=abc)|[abc])+, будет соответствовать строке, состоящей из a, b и c до тех пор, пока условие lookahead не будет выполнено. . для строки acbababcaaa она будет соответствовать acbab - останавливается прямо перед первым abc, хотя она может продвинуться до конца строки, если она была чрезмерно жадной.

Мы можем сделать это, добавив $ в конец шаблона ((?:(?=abc)|[abc])+$) - теперь это фактически соответствует концу строки.

Когда мы сейчас изменим повторение на то, чтобы быть полезным ((?:(?=abc)|[abc])++$) - он будет соответствовать bcaaa - таким образом, первая позиция, где lookahead больше не может соответствовать.

Может ли кто-нибудь объяснить причины такого поведения?

Answer 1

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

После просмотра abc с этим положительным движком lookahead существует целая группа и ожидает окончания строки ввода $. Он не существует и не может отступить, чтобы попробовать другую сторону чередования, чтобы он полностью не прошел, и все предыдущие потребляемые символы [abc] освобождены, а указатель сбрасывается на следующий символ предыдущей начальной позиции всего шаблона.

Вы можете написать это атомной группой (?>(?=abc)|[abc])+$, чтобы более четко выразить разницу. Этот процесс продолжается, и он терпит неудачу, когда он видит abc в строке ввода, за которой не следует конец строки $.

Именно поэтому bcaaa символов сопоставляются в конце, потому что положительный прогноз никогда не произойдет после того, как a до bcaaa будет потребляться.