结尾为[^.]的正则表达式为何出现意外匹配？

问题场景 #

目标文本行：

6.1.34.2    Some text

（2后为制表符）

第一个正则的问题 #

正则表达式 ^\d\+[.]\d\+[.]\d\+[^.] 出现意外匹配的核心原因是正则引擎的回溯机制：

• 该正则的预期逻辑是匹配「开头的三个数字段（格式为数字.数字.数字）+ 一个非.字符」，但目标文本中6.1.34之后的字符是.，本应不满足[^.]的匹配要求。
• 但正则引擎会尝试回溯调整：让第三个\d\+（原本匹配34）放弃最后一个数字4，仅匹配3，此时[^.]就可以匹配4（4属于非.字符），最终整个正则匹配了6.1.34，导致出现不符合预期的选中结果。

第二个正则符合预期的原因 #

正则 ^\d\+[.]\d\+[.]\d\+\s 要求三个数字段后必须紧跟空白字符（制表符属于空白字符），而目标文本中三个数字段6.1.34之后是.，并非空白字符，因此完全不匹配，符合预期。

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