なぜ「asdf」.replace（/.*/ g、「x」）==「xx」なのですか？

私は（私にとって）驚くべき事実に出会いました。

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

なぜ2つの代替品があるのですか？改行のない空でない文字列は、このパターンのちょうど2つの置換を生成するようです。置換関数を使用すると、最初の置換は文字列全体に対するものであり、2番目の置換は空の文字列に対するものであることがわかります。

あたりとしてECMA-262標準、String.prototype.replaceは呼び出すRegExp.prototype [置き換える@@]と言い、：

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を参照してください。

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とのオフラインチャットで、2つの一致が正確に生成される理由を直感的に理解できる方法を見つけました"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) （つまり2回）：インデックス位置4は、最初の見かけ上の一致によってすでに使い尽くされています

   • したがって、置換文字列"x"は、見つかった一致文字列をこれらの位置で正確"abcd"に置き換え""ます。位置0で文字列を置き換え、位置4で置き換えます。

     ここで、置換が前の文字列の真の置換として、または新しい文字列の挿入として機能することがわかります。

2. "abcd".replace(/.*?/g, "x")怠惰な数量詞の*?出力"xaxbxcxdx"

   • マッチリストは [("", 0), ("", 1), ("", 2), ("", 3), ("", 4)]

     前の例とは対照的に、ここでは("a", 0)、("ab", 0)、("abc", 0)、あるいは("abcd", 0)厳密に可能な限り短いマッチを見つけるために、それを制限する数量詞の怠慢によるものは含まれません。

   • すべての一致文字列が空であるため、実際の置換は行われず、代わりにx0、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）では、2番目の一致である空の文字列（位置[4,4]）が見つかります。

*ゼロ個以上の要素に一致することを覚えておいてください。

簡単に言うと、1つ目xはマッチングの置換ですasdf。

x後の空の文字列の2番目asdf。空になると検索は終了します。