В одном исходном коде я нашел это регулярное выражение:
qr/(?!)/;
Я просто не могу понять, что это соответствует.
Честно говоря, абсолютно не понимаю, что означает отрицательное утверждение с нулевой шириной. - что я нашел в перл.: (
Может кто-нибудь объяснить это на человеческом языке, пожалуйста?:)
Это законно, но ничего не соответствует.
Конструкция (?!...) - это отрицательное утверждение. В деталях это означает: "соответствовать позиции, в которой следующее регулярное выражение (...) не должно соответствовать строке ввода".
Но в этом случае "регулярное выражение" следует за пустым регулярным выражением, которое соответствует всем.
Итак, это регулярное выражение, по существу, говорит "соответствовать позиции, в которой последующее не может быть сопоставлено пустым регулярным выражением"... И не может быть такого положения, независимо от входной строки. Это регулярная конструкция, которая всегда терпит неудачу!
Пустой шаблон регулярного выражения соответствует строке нулевой длины, которая, как утверждается, всегда совпадает. Это очевидная прогрессия:
'bbbbb' =~ /^(?:aaa|bbb)/ # Matches (Matches 3 "b"s, from pos 0 to 3)
'bbbbb' =~ /^(?:aaa|bb)/ # Matches (Matches 2 "b"s, from pos 0 to 2)
'bbbbb' =~ /^(?:aaa|b)/ # Matches (Matches 1 "b", from pos 0 to 1)
'bbbbb' =~ /^(?:aaa|)/ # Matches (Matches 0 "b"s, from pos 0 to 0)
Это означает, что (?=) ( "Является ли эта позиция следующей строкой нулевой длины?" ) всегда соответствует, а (?!) ( "Является ли эта позиция не следующей строкой нулевой длины?" ) никогда не совпадает. Фактически, (?!) оптимизируется до (*FAIL), так как последнее введение в 5.10.
(?!) aka (*FAIL) полезен для принудительного возврата назад, когда у шаблона есть побочные эффекты.
'abcd' =~ /(.+?)(?{ print "$1\n" })(?!)/;
Вывод:
a
ab
abc
abcd
b
bc
bcd
c
cd
d
Объяснение примера:
(?!) не соответствует, поэтому механизм регулярных выражений пытается найти совпадение, если .+? соответствует все больше символов. Когда это не удается, двигатель регулярных выражений пытается совместить в более позднем исходном положении.
Это называется "backtracking". Это то, как механизм регулярных выражений может соответствовать 'aaaab' =~ /a*ab/. Первый раз, a* соответствует всем 4 a s, поэтому ab не соответствует, поэтому двигатель отступает. Второй раз через a* соответствует только 3 из a s, что позволяет ab и, следовательно, весь шаблон соответствовать.
Поэтапный поток для примера я изначально дал следующее:
(.+?) соответствует a в pos 0(?{ print "$1\n" }) печатает a и соответствует нулевым символам(?!) не соответствует. → Возвращайтесь!(.+?) соответствует ab при pos 0(?{ print "$1\n" }) выводит ab и соответствует нулевым символам(?!) не соответствует. → Возвращайтесь!(.+?) соответствует abc при pos 0(?{ print "$1\n" }) выводит abc и соответствует нулевым символам(?!) не соответствует. → Возвращайтесь!(.+?) соответствует abcd в pos 0(?{ print "$1\n" }) печатает abcd и соответствует нулевым символам(?!) не соответствует. → Возвращайтесь!(.+?) не может сравниться ни с чем другим. → Возвращайтесь!(.+?) соответствует b в pos 1(?{ print "$1\n" }) выводит b и соответствует нулевым символам(?!) не соответствует. → Возвращайтесь!(.+?) соответствует d в pos 3(?{ print "$1\n" }) печатает d и соответствует нулевым символам(?!) не соответствует. → Возвращайтесь!(.+?) не может сравниться ни с чем другим. → Возвращайтесь!(.+?) не соответствует. → Возвращайтесь! (?=), пустой положительный результат, всегда будет соответствовать. Его хакерский способ установить значение последнего успешного матча. (?!) является его инверсным и никогда не будет соответствовать.