Neden “asdf” .replace (/.*/ g, “x”) == “xx”?

Şaşırtıcı (bana göre) bir gerçekle karşılaştım.

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

Neden iki yedek? Yeni satırlar olmadan boş olmayan herhangi bir dize, bu desen için tam olarak iki yedek üretecek gibi görünüyor. Bir değiştirme işlevi kullanarak, ilk değiştirme tüm dize ve ikincisi boş bir dize olduğunu görebilirsiniz.

Gereğince ECMA-262 standardı, String.prototype.replace çağırır RegExp.prototype [yerine @@] söyler:

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).

nerede rxolduğunu /.*/gve Sbir 'asdf'.

Bkz. 11.c.iii.2.b:

b. NextIndex, AdvanceStringIndex (S, thisIndex, fullUnicode) olsun.

Bu nedenle 'asdf'.replace(/.*/g, 'x')aslında:

1. sonuç (tanımsız), sonuç = [], lastIndex =0
2. sonuç = 'asdf', sonuçlar = [ 'asdf' ], lastIndex =4
3. sonuç = '', sonuçlar = [ 'asdf', '' ], lastIndex = 4,, AdvanceStringIndexlastIndex öğesini5
4. sonuç = null, sonuçlar = [ 'asdf', '' ], döndür

Bu nedenle 2 maç var.

Birlikte yawkat ile çevrimdışı bir sohbette , neden tam olarak iki maç ürettiğini görmenin sezgisel bir yolunu bulduk "abcd".replace(/.*/g, "x"). ECMAScript standardının getirdiği semantiğe tamamen eşit olup olmadığını kontrol etmediğimizi, bu nedenle bunu sadece bir kural olarak kabul ettiğimizi unutmayın.

Temel Kurallar

• Eşleşmeleri (matchStr, matchIndex), giriş dizesinin hangi dize parçalarının ve indekslerinin zaten yendiğini gösteren kronolojik sırayla tuples listesi olarak düşünün .
• Bu liste normal ifade için giriş dizesinin solundan başlayarak sürekli olarak oluşturulur.
• Zaten yenilmiş parçalar artık eşleştirilemez
• Değiştirme, bu konumda matchIndexalt dize üzerine yazılarak verilen endekslerde yapılır matchStr. Eğer matchStr = "", o zaman "değiştirme" etkili bir şekilde yerleştirilir.

Resmi olarak, eşleştirme ve değiştirme eylemi , diğer cevapta görüldüğü gibi bir döngü olarak tanımlanır .

Kolay Örnekler

1. "abcd".replace(/.*/g, "x")çıktılar "xx":

   • Maç listesi [("abcd", 0), ("", 4)]

     Özellikle, bu yok değil bir aşağıdaki nedenlerden ötürü düşünce olabilirdi aşağıdaki eşleşmeleri içerir:

     • ("a", 0), ("ab", 0): niceleyici *açgözlü
     • ("b", 1), ("bc", 1): önceki maç nedeniyle ("abcd", 0), dizeler "b"ve "bc"zaten yemiş
     • ("", 4), ("", 4) (yani iki kez): 4 numaralı indeks pozisyonu ilk görünen maç tarafından yenildi

   • Bu nedenle, yedek dize "x"bulunan eşleşme dizelerini tam olarak bu konumlarda değiştirir: 0 konumunda dizenin yerini alır "abcd"ve 4 konumunda yer değiştirir "".

     Burada, değiştirmenin önceki bir dizenin gerçek yerine veya sadece yeni bir dizenin eklenmesi olarak işlev görebildiğini görebilirsiniz.

2. "abcd".replace(/.*?/g, "x")bir ile yavaş nicelik*? çıkışları"xaxbxcxdx"

   • Maç listesi [("", 0), ("", 1), ("", 2), ("", 3), ("", 4)]

     Önceki örnekte aksine, burada ("a", 0), ("ab", 0), ("abc", 0), hatta ("abcd", 0)nedeniyle sıkı şekilde en kısa eşleşme bulmak için sınırlar niceleyici en tembellik dahil edilmemiştir.

   • Tüm eşleşme dizeleri boş olduğundan, gerçek bir değiştirme gerçekleşmez, bunun yerine x0, 1, 2, 3 ve 4 konumlarına eklenir .

3. "abcd".replace(/.+?/g, "x")bir ile yavaş nicelik+? çıkışları"xxxx"

   • Maç listesi [("a", 0), ("b", 1), ("c", 2), ("d", 3)]

4. "abcd".replace(/.{2,}?/g, "x")bir ile yavaş nicelik[2,}? çıkışları"xx"

   • Maç listesi [("ab", 0), ("cd", 2)]

5. "abcd".replace(/.{0}/g, "x")"xaxbxcxdx"örnek 2'deki ile aynı mantıkla çıktılar .

Daha Zor Örnekler

Her zaman boş bir dizeyle eşleşirsek ve bu tür eşleşmelerin avantajımızın gerçekleştiği konumu kontrol edersek , yerine değiştirme fikrinden sürekli olarak yararlanabiliriz . Örneğin, buraya bir karakter eklemek için her çift konumda boş dizeyle eşleşen normal ifadeler oluşturabiliriz:

1. "abcdefgh".replace(/(?<=^(..)*)/g, "_"))Bir ile pozitif olan ileriye dönük(?<=...) çıkışları "_ab_cd_ef_gh_"(sadece şimdiye kadar Chrome'da desteklenir)

   • Maç listesi [("", 0), ("", 2), ("", 4), ("", 6), ("", 8)]

2. "abcdefgh".replace(/(?=(..)*$)/g, "_"))bir ile pozitif ileri yönlü(?=...) çıkışlar"_ab_cd_ef_gh_"

   • Maç listesi [("", 0), ("", 2), ("", 4), ("", 6), ("", 8)]

İlk maç açıktır "asdf"(Pozisyon [0,4]). Genel bayrak ( g) ayarlandığından aramaya devam eder. Bu noktada (Pozisyon 4) ikinci bir eşleşme, boş bir dize bulur (Pozisyon [4,4]).

*Sıfır veya daha fazla öğeyle eşleştiğini unutmayın .

basitçe, birincisi xeşleşmenin değiştirilmesi içindir asdf.

xsonra boş dize için ikinci asdf. Arama boşken sona erer.