---

35.3.5 Проблемы с регулярными выражениями

Реализация регулярных выражений Emacs, как и многие подобные ей, в целом надежна, но иногда может вызывать проблемы двумя способами: сопоставление может исчерпать внутреннее пространство стека и вызвать ошибку, а также может занять много времени для завершения. Советы ниже сделают эти симптомы менее вероятными и помогут облегчить проблемы, которые все же возникают.

• Закрепляйте регулярные выражения в начале строки, строки или буфера, используя утверждения нулевой ширины (‘^’ и \`). Это использует быстрые пути в реализации и может избежать напрасных попыток сопоставления. Другие утверждения нулевой ширины также могут принести пользу, заставляя сопоставление завершиться раньше.
• Избегайте операторов "или" (or-patterns) в пользу выражения скобок: пишите ‘[ab]’ вместо ‘a\|b’. Напомним, что ‘\s-’ и ‘\sw’ эквивалентны ‘[[:space:]]’ и ‘[[:word:]]’, соответственно, в большинстве случаев.
• Поскольку последняя ветвь оператора "или" не добавляет точку возврата в стек, рассмотрите возможность размещения наиболее вероятного совпадающего шаблона последним. Например, ‘^\(?:a\|.b\)*c’ исчерпает стек при попытке сопоставить очень длинную строку из ‘a’, но эквивалентное ‘^\(?:.b\|a\)*c’ нет.

  (Это компромисс: успешно совпавшие операторы "или" работают быстрее, если наиболее часто совпадающий шаблон стоит первым.)

• Постарайтесь обеспечить, чтобы любая часть текста могла совпасть только одним способом. Например, ‘a*a*’ совпадет с тем же набором строк, что и ‘a*’, но первое может сделать это множеством способов и поэтому вызовет медленный откат, если совпадение завершится неудачей позже. Если возможно, сделайте ветви оператора "или" взаимоисключающими, чтобы сопоставление не заходило далеко в более чем одну ветвь до неудачи.

  Будьте особенно осторожны с вложенными повторениями: они могут легко привести к очень медленному сопоставлению в присутствии неоднозначностей. Например, ‘\(?:a*b*\)+c’ займет много времени, пытаясь сопоставить даже умеренно длинную строку из ‘a’ перед неудачей. Эквивалентное ‘\(?:a\|b\)*c’ намного быстрее, а ‘[ab]*c’ еще лучше.

• Не используйте группы захвата, если они действительно необходимы; то есть, используйте ‘\(?:…\)’ вместо ‘\(…\)’ для целей группировки.
• Рассмотрите возможность использования rx (см. Структурированная нотация регулярных выражений rx); он может автоматически оптимизировать некоторые операторы "или" и никогда не будет вводить группы захвата, если это явно не запрошено.

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

Функция: re--describe-compiled regexp &optional raw ¶

Чтобы помочь в диагностике проблем в ваших регулярных выражениях или в самом движке регулярных выражений, эта функция возвращает строку, описывающую скомпилированную форму regexp. Чтобы понять ее, может потребоваться прочитать как минимум описание типа re_opcode_t в файле src/regex-emacs.c в исходном коде Emacs.

В настоящее время она может дать осмысленное описание только если Emacs был скомпилирован с --enable-checking.