Якоря

Метасимвол начала строки ^ вне символьного класса по умолчанию соответствует началу обрабатываемых данных, если не установили модификаторы. Внутри символьного класса метасимвол ^ несёт совершенно другое значение.

Циркумфлекс ^ не обязан быть первым символом шаблона, если в шаблоне задействовали несколько альтернатив, но должен быть первым символом в каждой альтернативе, в которой он появляется, если шаблон когда-либо будет соответствовать этой ветви. Если все альтернативы начинаются с циркумфлекса ^, то есть шаблон ограничен совпадением только с началом входной строки, говорят что шаблон «заякорен». Есть и другие способы «заякорить» шаблон.

Знак доллара $ — утверждение, которое истинно только тогда, когда текущая точка сопоставления находится в конце входной строки, или непосредственно перед последним символом, в случае если последний символ — перевод строки, если не указали модификаторы. Метасимвол конца строки $ не обязан быть последним символом шаблона, если в шаблоне задействовали несколько альтернатив, но должен быть последним символом в каждой альтернативе, в которой он фигурирует. Внутри символьного класса символ «$» не несёт специального значения.

Поведение метасимвола конца строки изменяют модификатором PCRE_DOLLAR_ENDONLY так, чтобы метасимвол соответствовал исключительно концу строки. Данный флаг никак не касается специальной последовательности \Z.

Значение метасимволов начала и конца строки меняется, если установили модификатор PCRE_MULTILINE. В этой ситуации, кроме совпадений в начале или в конце строки, метасимволы «^» и «$» соответствуют позиции непосредственно после символа перевода строки «\n». Например, шаблон /^abc$/ встречается в строке «def\nabc» в многострочном режиме и не встречается в нормальном режиме. Таким образом, шаблон который «заякорен» в однострочном режиме, все ветки которого начинаются с циркумфлекса «^», не будет признан «заякоренным» в многострочном режиме. Парсер игнорирует модификатор PCRE_DOLLAR_ENDONLY, если установили модификатор PCRE_MULTILINE.

Следует заметить, что служебные последовательности \A, \Z и \z указывают для сопоставления с началом или концом строки в обоих режимах. И если все ветви шаблона начинаются с \A, шаблон будет «заякорен» независимо от присутствия модификатора PCRE_MULTILINE.