Как понять логику поведения квантификатора-звездочки?

Question

[Алексей Николаев]

Здравствуйте!
Есть простецкое выражение /[0-9]*/g, а также строка abcde123abc. Почему regexr выдает ошибку infinite? Ведь по сути, выражение означает "совпадение, если литерал в интервале от 0 до 9 присутствует или отсутствует (пустая строка)". Поиск должен остановиться в конце строки, среагировав на все возможные элементы.

То же самое с выражением /.*/g. Почему ошибка? Это проблемы сервиса (regexr), или особенность алгоритма работы самого метасимвола?

Answer 1

[Алексей]

Вот смотрите что у меня получилось:

console.log("asd123fgh".replace(/\d*/, "z")); // "asdzfgh" - ожидаемо
console.log("asd123fgh".replace(/\d*/, "z")); // "zasd123fgh" - неожиданно
console.log("asd123fgh".replace(/\w+/g, "z")); // "z" - ожидаемо
console.log("asd123fgh".replace(/\w*/g, "z")); // "zz" - неожиданно

Comments

[Алексей Николаев]

Ну там, где неожиданно, как раз есть объяснение - если *, поиск останавливается сразу же, когда это одновременно конец регулярки. То есть, 0 или больше символов сработает и в самом начале строки, где либо действительно ничего нет (пустая строка) либо находится специальный символ типа возврата каретки (но скорее всего нет). Поэтому в принципе логично, что он вставит в начало строки z. И поскольку нет флага g (для второй строки), то он остановится сразу же, т.к. сработало условие 0 или...

[Алексей]

Алексей Николаев: Я привык считать что "*" берет "по максимуму", а для того чтобы умерить аппетит используется "*?". Возможно это стереотип из других языков.

[Алексей]

Алексей Николаев: Чего-то я перегрелся сегодня похоже.

[Алексей Николаев]

Алексей: я раньше тоже так думал) но на деле все сложнее, * - это 0 или более совпадений предшествущего символа, а ? - 0 или 1 совпадение предшествующего символа. Можно заменить {0,} и {0,1} соответственно

[abs0lut]

Алексей Николаев: знак вопроса используется, как модификатор "ленивого" поиска, то есть срабатывания на минимальном совпадении, по крайней мере в PCRE.
https://en.wikipedia.org/wiki/Regular_expression#L...

[Алексей Николаев]

abs0lut: я так и сказал, 0 или 1

[abs0lut]

Алексей Николаев: нет, Вы говорите:

0 или 1 совпадение предшествующего символа

, а при использовании знака вопроса в качестве модификатора жадности ему предшествует не символ, а метасимвол.