Почему «asdf» .replace (/.*/ g, «x») == «xx»?

Я наткнулся на удивительный (для меня) факт.

console.log("asdf".replace(/.*/g, "x"));

Почему две замены? Кажется, что любая непустая строка без перевода строки будет производить ровно две замены для этого шаблона. Используя функцию замены, я вижу, что первая замена предназначена для всей строки, а вторая - для пустой строки.

В соответствии со стандартом ECMA-262 String.prototype.replace вызывает RegExp.prototype [@@ replace] , что говорит:

11. Repeat, while done is false
  a. Let result be ? RegExpExec(rx, S).
  b. If result is null, set done to true.
  c. Else result is not null,
    i. Append result to the end of results.
    ii. If global is false, set done to true.
    iii. Else,
      1. Let matchStr be ? ToString(? Get(result, "0")).
      2. If matchStr is the empty String, then
        a. Let thisIndex be ? ToLength(? Get(rx, "lastIndex")).
        b. Let nextIndex be AdvanceStringIndex(S, thisIndex, fullUnicode).
        c. Perform ? Set(rx, "lastIndex", nextIndex, true).

где rxесть /.*/gи Sесть 'asdf'.

Смотрите 11.c.iii.2.b:

б. Пусть nextIndex будет AdvanceStringIndex (S, thisIndex, fullUnicode).

Поэтому в 'asdf'.replace(/.*/g, 'x')нем на самом деле:

1. результат (не определено), результаты = [], lastIndex =0
2. результат = 'asdf', результаты = [ 'asdf' ], lastIndex =4
3. Результат = '', = результаты [ 'asdf', '' ], LastIndex = 4, AdvanceStringIndexустановите LastIndex к5
4. результат = null, результаты = [ 'asdf', '' ], возврат

Поэтому есть 2 матча.

Вместе в автономном чате с yawkat мы нашли интуитивно понятный способ понять "abcd".replace(/.*/g, "x"), почему именно получается два совпадения. Обратите внимание, что мы не проверили, полностью ли он соответствует семантике, наложенной стандартом ECMAScript, поэтому просто примите это как практическое правило.

Эмпирические правила

• Рассматривайте совпадения как список кортежей (matchStr, matchIndex)в хронологическом порядке, которые указывают, какие части строки и индексы входной строки уже были съедены.
• Этот список непрерывно строится, начиная слева от входной строки для регулярного выражения.
• Части, уже съеденные, больше не могут быть сопоставлены
• Замена выполняется по индексам, заданным путем matchIndexперезаписи подстроки matchStrв этой позиции. Если matchStr = "", то «замена» - это фактически вставка.

Формально акт сопоставления и замены описывается как цикл, как видно из другого ответа .

Простые примеры

1. "abcd".replace(/.*/g, "x")выходы "xx":

   • Список матчей [("abcd", 0), ("", 4)]

     Примечательно, что он не включает следующие совпадения, о которых можно было подумать по следующим причинам:

     • ("a", 0), ("ab", 0): Квантор *жаден
     • ("b", 1), ("bc", 1): из-за предыдущего матча ("abcd", 0)строки "b"и "bc"уже съедены
     • ("", 4), ("", 4) (т.е. дважды): позиция индекса 4 уже съедена первым очевидным соответствием

   • Следовательно, замещающая строка "x"заменяет найденные совпадающие строки именно в этих позициях: в позиции 0 она заменяет строку, "abcd"а в позиции 4 она заменяет "".

     Здесь вы можете видеть, что замена может действовать как истинная замена предыдущей строки или просто как вставка новой строки.

2. "abcd".replace(/.*?/g, "x")с ленивым*? выходом квантификатора"xaxbxcxdx"

   • Список матчей [("", 0), ("", 1), ("", 2), ("", 3), ("", 4)]

     В отличие от предыдущего примера, здесь ("a", 0), ("ab", 0), ("abc", 0)или даже ("abcd", 0)не включены из - за лени квантора, что строго ограничивает его , чтобы найти самый короткий матч.

   • Поскольку все совпадающие строки пусты, фактической замены не происходит, но вместо этого вставляются xв позиции 0, 1, 2, 3 и 4.

3. "abcd".replace(/.+?/g, "x")с ленивым+? выходом квантификатора"xxxx"

   • Список матчей [("a", 0), ("b", 1), ("c", 2), ("d", 3)]

4. "abcd".replace(/.{2,}?/g, "x")с ленивым[2,}? выходом квантификатора"xx"

   • Список матчей [("ab", 0), ("cd", 2)]

5. "abcd".replace(/.{0}/g, "x")выходы "xaxbxcxdx"по той же логике, что и в примере 2.

Сложные примеры

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

1. "abcdefgh".replace(/(?<=^(..)*)/g, "_"))с положительным просмотром назад(?<=...) выходами "_ab_cd_ef_gh_"(поддерживается только в Chrome до сих пор)

   • Список матчей [("", 0), ("", 2), ("", 4), ("", 6), ("", 8)]

2. "abcdefgh".replace(/(?=(..)*$)/g, "_"))с положительным прогнозным(?=...) выходом"_ab_cd_ef_gh_"

   • Список матчей [("", 0), ("", 2), ("", 4), ("", 6), ("", 8)]

Первый матч явно "asdf" (позиция [0,4]). Поскольку глобальный флаг ( g) установлен, поиск продолжается. В этой точке (позиция 4) он находит второе совпадение, пустую строку (позиция [4,4]).

Помните, что *соответствует нулю или более элементов.

просто, во-первых x, для замены соответствияasdf .

второй xдля пустой строки после asdf. Поиск прекращается, когда пусто.