Python正则匹配问题：为何Pattern3未匹配到Pattern2覆盖的数字序列

未匹配到目标序列的原因 #

• 正则默认非重叠匹配
  你给出的示例data2中，Pattern2匹配到的222243433243433和Pattern3返回的2222243433243433属于重叠匹配结果：前者的起始位置是5个连续2的第2位，后者的起始位置是5个连续2的第1位。re.findall默认完成一次匹配后，会从匹配结束的位置继续向后查找，不会回溯匹配重叠内容，因此只会返回贪婪匹配到的更长的2222243433243433，不会返回短的重叠结果。
• 量词默认贪婪匹配
  2{4,6}属于贪婪量词，遇到连续的5个2时，会优先匹配最多的5个2作为开头段，不会退回到匹配4个2的情况，因此也不会触发从第2个2开始的匹配逻辑。而Pattern2的开头是严格的2{4}，只能匹配4个2，因此会从5个2的前4位开始匹配，把第5个2当成中间段的单个2，就能得到你看到的结果。

修正方案 #

分两种场景选择对应方案：

场景1：需要同时保留所有重叠匹配结果（包括开头4/5/6个2的所有符合条件的序列） #

使用零宽正向先行断言包裹正则，匹配时不会移动查找指针，即可返回所有重叠结果，同时可以加尾部断言严格限制3/4段匹配到下一个2或字符串结尾，更符合需求：

re.findall(r'(?=(2{4,6}[34]+2{1,3}[34]+(?=2|$)))', data2)

运行后返回结果就会包含你想要的222243433243433，同时也会保留2222243433243433的结果。

场景2：不需要重叠结果，优先匹配开头最少数量的2 #

把开头的量词改成非贪婪模式，优先匹配4个2即可：

re.findall(r'2{4,6}?[34]+2{1,3}[34]+(?=2|$)', data2)

运行后会返回和Pattern2一致的222243433243433，但不会返回开头5/6个2的匹配结果。

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