ทำไม“ 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. ผลลัพธ์ (ไม่ได้กำหนด), results = [], lastIndex =0
2. ผลลัพธ์ = 'asdf', ผลลัพธ์ = [ 'asdf' ], lastIndex =4
3. ผล = ''ผล = [ 'asdf', '' ], lastIndex = 4, AdvanceStringIndexตั้ง lastIndex ไป5
4. result = null, results = [ 'asdf', '' ], return

ดังนั้นจึงมี 2 แมทช์

ร่วมกันในการแชทแบบออฟไลน์กับyawkatเราพบวิธีที่เข้าใจง่ายว่าทำไม"abcd".replace(/.*/g, "x")สร้างการแข่งขันสองรายการ โปรดทราบว่าเรายังไม่ได้ตรวจสอบว่ามันเท่ากับความหมายที่กำหนดโดยมาตรฐาน ECMAScript อย่างสมบูรณ์หรือไม่ดังนั้นจึงถือว่าเป็นกฎง่ายๆ

กฎของ Thumb

• พิจารณาการจับคู่เป็นรายการของ tuples (matchStr, matchIndex)ตามลำดับเวลาที่ระบุว่าส่วนสตริงและดัชนีของสายป้อนได้ถูกกินแล้ว
• รายการนี้สร้างขึ้นอย่างต่อเนื่องโดยเริ่มจากด้านซ้ายของสตริงป้อนสำหรับ regex
• ส่วนที่กินแล้วจะไม่สามารถจับคู่ได้อีกต่อไป
• การแทนที่จะทำที่ดัชนีที่กำหนดโดยการ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, "_"))กับlookbehind บวก(?<=...)เอาท์พุท"_ab_cd_ef_gh_"(การสนับสนุนเฉพาะใน Chrome เพื่อให้ห่างไกล)

   • รายการแข่งขันคือ [("", 0), ("", 2), ("", 4), ("", 6), ("", 8)]

2. "abcdefgh".replace(/(?=(..)*$)/g, "_"))ด้วยเอาต์พุตlookahead เชิงบวก(?=...)"_ab_cd_ef_gh_"

   • รายการแข่งขันคือ [("", 0), ("", 2), ("", 4), ("", 6), ("", 8)]

เห็นได้ชัดว่านัดแรก"asdf"(ตำแหน่ง [0,4]) เนื่องจากมีการตั้งค่าสถานะส่วนกลาง ( g) จึงทำการค้นหาต่อไป ณ จุดนี้ (ตำแหน่ง 4) พบการจับคู่ที่สองสตริงว่าง (ตำแหน่ง [4,4])

จำไว้ว่า*ตรงกับองค์ประกอบที่เป็นศูนย์หรือมากกว่า

เพียงครั้งแรกสำหรับการเปลี่ยนของการจับคู่xasdf

สองสำหรับสตริงว่างหลังx asdfการค้นหาสิ้นสุดลงเมื่อไม่มีข้อมูล