Поскольку Google возвращает этот SO-запрос поверх результатов для tempered greedy token, я чувствую себя обязанным предоставить более полный ответ.

Что такое закаленный жадный токен?

Ссылка rexegg.com tempered greedy token довольно кратка:

В (?:(?!{END}).)* квантор * применяется к точке, но теперь это закаленная точка. Отрицательный lookhhead (?!{END}) утверждает, что то, что следует за текущей позицией, не является строкой {END}. Поэтому точка никогда не сможет сопоставить открывающую фигуру {END}, гарантируя, что мы не будем перепрыгивать через разделитель {END}.

То есть: умеренный жадный token является своего рода отрицательным символьным классом для последовательности символа (см. отрицательный класс символов для single характер ).

ПРИМЕЧАНИЕ. Разница между умеренным жадным токеном и классом отрицательных символов заключается в том, что первый не соответствует тексту, отличному от самой последовательности, но single character , который не запускает эту последовательность. То есть (?:(?!abc|xyz).)+ не будет соответствовать def в defabc, но будет соответствовать def и bc, поскольку a запускает запрещенный abc и bc этого не делает.

Он состоит из:

• (?:...)* - количественная группа, не захватывающая захват (это может быть группа захвата, но она не имеет смысла захватывать каждый отдельный символ) (* может быть +, это зависит от того, будет ли ожидаться пустая строка)
• (?!...) - отрицательный результат, который фактически налагает ограничение на значение справа от текущего местоположения
• . - (или любой (обычно одиночный) символ) шаблон потребления.

Однако мы всегда можем дополнительно умерить токен, используя чередование в негативном представлении (например, (?!{(?:END|START|MID)})) или заменяя точку совпадения символом с отрицательным символьным классом (например, (?:(?!START|END|MID)[^<>]) при попытке сопоставить текст только внутри тегов).

Распределение расходной части

Обратите внимание, что не упоминается конструкция, в которой потребляющая часть (точка в ориге inal tempered greedy token) помещается до . Ответ Авинаша ясно объясняет эту часть: (.(?!</table>))* сначала сопоставляет любой символ (но новую строку без модификатора DOTALL), а затем проверяет, не следует ли ему </table>, что приводит к сбою e в <table>table</table> .

Когда использовать умеренный жадный токен?

Rexegg.com дает идею:

• Если мы хотим сопоставить блок текста между разделителем 1 и разделителем 2 без промежуточной подстроки 3 (например, {START}(?:(?!{(?:MID|RESTART)}).)*?{END}
• Если мы хотим сопоставить блок текста, содержащий специфический шаблон внутри без переполнения последующих блоков (например, вместо ленивого совпадения точек, как в <table>.*?chair.*?</table> , мы будем использовать что-то вроде <table>(?:(?!chair|</?table>).)*chair(?:(?!<table>).)*</table> ).
• Когда мы хотим совместить кратчайшее возможное окно между двумя строками. Лестное совпадение не поможет, когда вам нужно получить abc 2 xyz из abc 1 abc 2 xyz (см. abc.*?xyz и abc(?:(?!abc).)*?xyz ).

Проблема с производительностью

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

Скажем, мы хотим сопоставить abc 2 xyz в abc 1 abc 2 xyz 3 xyz . Вместо проверки каждого символа между abc и xyz с помощью abc(?:(?!abc|xyz).)*xyz мы можем пропустить все символы, которые не являются a или x, с [^ax]*, а затем соответствуют всем a, за которыми не следуют bc (с a(?!bc)) и все x, за которыми не следует yz (с x(?!yz)): abc[^ax]*(?:a(?!bc)[^ax]*|x(?!yz)[^ax]*)*xyz .