Чому "asdf" .replace (/.*/ g, "x") == "xx"?

Я натрапив на дивовижний (для мене) факт.

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

Чому дві заміни? Здається, будь-яка не порожня рядок без нових рядків створить рівно дві заміни для цього шаблону. Використовуючи функцію заміни, я бачу, що перша заміна призначена для всього рядка, а друга - для порожнього рядка.

Відповідно до стандарту ECMA-262 , String.prototype.replace викликає RegExp.prototype [@@ substitu] , який говорить:

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. result = 'asdf', results = [ '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]).

Пам'ятайте, що *відповідає нулю або більше елементів.