为何带固定宽度量词与+量词的多环视正则表现不同？

先明确两个正则的核心逻辑：

• Regex 1：([0-9])\1{2}(?<=\1)(?=\1) → 捕获单个数字后，必须紧跟恰好2个相同数字（凑够3个连续相同数字），再通过后顾和预查确认当前位置前后都是该数字。
• Regex 2：([0-9])\1+(?<=\1)(?=\1) → 捕获单个数字后，紧跟至少1个相同数字（凑够至少2个连续相同数字），再做同样的前后校验。

针对字符串"43335"的匹配过程差异：

Regex 1 匹配失败的原因 #

从位置1（第一个3）开始匹配：

1. 捕获分组\1为3，\1{2}精准匹配接下来的2个3（位置2和3的3），此时匹配进度走到位置3。
2. 执行(?<=\1)：当前位置前是3，校验通过；但执行(?=\1)时，位置3后面是5，不是3，校验失败。
3. 关键问题：\1{2}是固定次数的重复匹配，没有回溯调整的空间——它只能匹配恰好2个重复项，一旦预查失败，整个从位置1开始的匹配分支直接作废，正则引擎只能回到字符串开头重新找匹配起点，而后续没有符合条件的序列，最终匹配失败。

Regex 2 匹配成功的原因 #

同样从位置1开始匹配：

1. 捕获分组\1为3，\1+会先尽可能多匹配，吃掉位置2、3的3，匹配进度走到位置3。
2. 预查(?=\1)碰到5失败，但\1+是可变长度的重复匹配，支持回溯——引擎会减少\1+的匹配数量，只匹配位置2的3（此时匹配进度走到位置2）。
3. 重新执行预查：(?<=\1)确认位置2前是3，(?=\1)确认位置2后是3，全部校验通过，最终匹配成功。

内容的提问来源于stack exchange，提问作者Jason9789