forum.lissyara.su

Код: Выделить всё

(*PRUNE) (*PRUNE:NAME) 

This zero-width pattern prunes the backtracking tree at the current point when backtracked into on failure. Consider the pattern A (*PRUNE) B, where A and B are complex patterns. Until the (*PRUNE) verb is reached, A may backtrack as necessary to match. Once it is reached, matching continues in B, which may also backtrack as necessary; however, should B not match, then no further backtracking will take place, and the pattern will fail outright at the current starting position.

Код: Выделить всё

Это нулевая-ширина шаблона плодов дерева отступает на текущий момент, когда в backtracked на провал. Рассмотрим модель (* чернослив) B, где А и B являются сложными моделями. До (* чернослив) глагол будет достигнуто, май отступать, как это необходимо для соответствия. Как только это достигнуто, продолжается в соответствие B, который также может отступать в случае необходимости, однако, следует B, не совпадают, то никаких дополнительных сил будет происходить, и модель не удастся прямой на нынешней стартовой позиции.

Код: Выделить всё

(*PRUNE) в случае возврата при поиске (backtracked) повторная проверка начнется с текущей позиции
управляющий глагол работает аналогично конструкции (?>...), только используется как унарный оператор, а не конструкция со скобками
/A (? B | C (*PRUNE) ) D/
(*PRUNE) вместе с (*FAIL) позволяет получить самые длинные совпадения с шаблоном для каждой стартовой точки
/a+b?(?{print $&})(*PRUNE)(*FAIL)/

Код: Выделить всё

(*FAIL) - простейший управляющий глагол, эквивалентен (?!)
может использоваться для форсирования возврата при поиске (backtrack) позволяя найти все возможные совпадения шаблона.
'aaab' =~ /a+b?(?{print $&})(*FAIL)/ напечатает все возможные совпадения шаблона /a+b?/

(*ACCEPT) утверждает соответствие шаблону в текущем месте, несмотря на то, что еще остались непроверенные части шаблона.
рассматривайте этот глагол эквивалентным return в теле функции

поиск 'AC' =~ /A (? B | C (*ACCEPT) | D ) E/x будет успешным

Остальные глаголы, управляющие поиском с возвратом (backtracking) поддерживают аргумент в виде (*NAME:arg). Если в рег. выражении встретится такой вариант, то система задействует пакетные переменные $REGERROR и $REGMARK. В случае успешного совпадения в $REGERROR записывается значение false, а в $REGMARK - значение 'arg' из последнего задействованного в поиске управляющего глагола. В случае безрезультатного поиска значения присваиваются наоборот.

(*PRUNE) в случае возврата при поиске (backtracked) повторная проверка начнется с текущей позиции
управляющий глагол работает аналогично конструкции (?>...), только используется как унарный оператор, а не конструкция со скобками
/A (? B | C (*PRUNE) ) D/
(*PRUNE) вместе с (*FAIL) позволяет получить самые длинные совпадения с шаблоном для каждой стартовой точки
/a+b?(?{print $&})(*PRUNE)(*FAIL)/

(*MARK:name) используется для пометки текущего места в строке указанным именем. Позволяет проследить путь следования поискового механизма по шаблону: /foo(*:A)|bar(*:B)|baz(*:C)/ and print $REGMARK;
(*:name) является сокращенной формой (*MARK:name)
управляющий глагол был разработан для использования в антиспам-системе Spam-Assassin

(*SKIP:name) в случае возврата при поиске заставляет отбросить все совпадения до места, где указатель находился до обработки глагола (*SKIP)
вместе с (*MARK:name) может использоваться для пропуска всего текста до момента обработки (*MARK)
вместе с (*FAIL) позволяет получить все неперекрывающиеся совпадения с шаблоном: 'aaabaaab' =~ /a+b?(*SKIP)(?{print $&})(*FAIL)/

(*THEN) в случае возврата при поиске, осуществляется переход к следующему варианту в шаблоне
может рассматриваться как эквивалент if/then для рег. выражений /COND1 (*THEN) REST1 | COND2 (*THEN) REST2/x
При отсутствии в шаблоне вариантов работает также, как (*PRUNE)  

(*COMMIT) в случае возврата при поиске приводит к немедленному безуспешному завершению всего поиска. Система не пытается искать совпадений с шаблоном для других начальных позиций.
'foofoofoobar' =~ / (fo+)* (*COMMIT) [BC]ar /x поиск завершается безуспешно, но быстро, в отличие от варианта
'foofoofoobar' =~ / (fo+)* [BC]ar /x

Код: Выделить всё

Этот шаблон нулевой ширины сокращает дерево отслеживания в обратном порядке в текущем пункте когда отслежено в обратном порядке в на отказе. Рассмотрите шаблон (*PRUNE) B, где A и B - сложные шаблоны. Пока (*PRUNE) глагол не достигнут, A может отследить в обратном порядке по мере необходимости, чтобы соответствовать. Как только это достигнуто, соответствие продолжается в B, который может также отследить в обратном порядке по мере необходимости; однако, должен B не соответствовать, тогда никакое дальнейшее отслеживание в обратном порядке не будет иметь место, и шаблон будет терпеть неудачу напрямую в текущей исходной позиции.