Сверхжадные квантификаторы

На здоровье :)
Если будет спрос, следующую заметку напишу про «бесконечный» бэктрекинг (откат), т. е. ситуацию, когда откат приводит к проверке миллионов вариантов и регекс кажется «зациклившимся», и то, как откат предотвратить (атомарную группировку). Собственно, сверхжадные квантификаторы — это частный случай атомарной группировки.

Присоеденяюсь!
Давно регспы юзаю и очень уважаю за их лакончиность, но вот про сверх-жадность не знал.

Огромное спасибо за интересный материал!

Данный вариант не будет работать в 100% случаев. Например:
"abc\\" — строка из 4х символов (последний: слэш) — не будет отпарсена правильно

А вот вариант, приведённый автором в конце статьи, будет работать корректно.

Там 3 разных «решения», вы про какое?

Впрочем, про какое бы решение ни шла речь, вы заметили тонкость: решение с *+ и решение в конце статьи работают просто-напросто по-разному. Цепочка
aaa="bbb\\"
не соответствует регексу
/ " ( \\" | [^"] )*+ " /x
однако соответствует регексу
/ " ( [^"\\] | \\. )* " /x

В первом случае бэкслэш экранирует исключительно кавычку, и это "корректно", т. к. согласуется с условиями нашей задачи. Мы ничего не говорили о том, что бэкслэш может экранировать что бы то ни было кроме кавычки. Поэтому 1-й бэкслэш воспринимается как обычный одиночный символ, 2-й бэкслэш экранирует следующую за ним кавычку, а… а закрывающей-то кавычки нет! Поэтому соответствия (матча) регексу нет.

Во втором случае бэкслэш экранирует любой символ (а не только кавычку), и это "корректно", потому что это то, к чему мы все привыкли. 1-й бэкслэш в цепочке экранирует 2-й бэкслэш, а за ними идёт закрывающая кавычка… всё в порядке, есть матч.

Т. е. в обоих случаях всё «корректно», только переменная «корректно» меняет значение между случаями ;-)
С другой стороны, наполовину полный стакан всегда наполовину пуст, поэтому, если у вас плохое настроение, то у вас есть полное право сказать, что тут всё в дюпель не правильно: либо 2-е решение не решает задачу, либо сама задача поставлена криво ;-)

В общем, на самом деле всё не так, как в действительности ;-)

И спасибо за комментарий. На одном из моих любимых телеканалов есть лозунг: «Question everything». So thank you for questioning my regexes, mate :-)

Мне кажется, что «сверхжадность» — это, скорее, необходимое зло, чем что-то красивое. Это как каска на голове или страховка: с ними неудобно, но они предотвращают «бааальшие» проблемы.
В качестве «иллюстративного» примера: попробуйте написать регекс, который матчит текст в скобках, причем внутри скобок могут быть вложенные скобки, например:
log((4 + k/3) * tan(2*phi) + sin((psi - theta)/2))
тут регекс должен найти аргумент функции log.
Если вы напишете этот регекс без сверхжадных квантификаторов (и без атомарной группировки, которая их обобщение), то, скорее всего, ваш регекс умрёт (будет матчить невыносимо долго) уже на «невалидной» цепочке в 30-40-80 символов.
Но давайте я об этом напишу в следующей заметке через ~ неделю, ок?

В порядке альтернативы есть свои плюсы.

«Ревнивая» — это забавно :)
Такие термины обычно получаются, когда люди пользуются двуязычными словарями.
В русском языке просто нет аналога английского слова possessive, которое означает

possessive (adjective)
1 wanting someone to have feelings of love or friendship for you and no one else
possessive of/about
She was terribly possessive of our eldest son.
2 unwilling to let other people use something you own
possessive of/about
He's so possessive about his new car.
3 technical used in grammar to show that something belongs to someone or something
possessive pronoun/form/case etc
the possessive pronouns 'ours' and 'mine'

Значение 1, действительно, близко по смыслу к русскому «ревнивый». Но в possessive quantifier используется, естественно, 2-е значение («владея» куском строки, оно не хочет отдавать его другим частям регекса), для которого в русском аналога нет, разве что «жадина», но слово «жадный» уже занято другим термином. При написании заметки я думал над синонимами «жадины», от которых можно образовать прилагательные. Но увы, получалась полная жесть: скряжные и сквалыжные квантификаторы 8-)
Можно извратиться также, использовав 3-е значение: притяжательные квантификаторы. А если кто-то возразит, то «неопровержимо» «доказать» свое мнение ссылкой на двуязычный словарь
8-)