Ruby正则解析：验证唯一数字逗号分隔列表的负向预查原理

1. 该正则的负向预查结构与常见的X(?!Y)语法不同，如何运作？ #

常见的X(?!Y)是位置预查，表示匹配X之后的位置，且该位置后不能出现Y。而这个正则里的^(?!.*\b(\d+)\b.*\b\1\b)是起始位置的独立负向预查，运作逻辑如下：

• 它没有前置的X，直接绑定在字符串起始锚点^后，作用是检查整个字符串范围内是否存在重复数字
• 预查内部的.*\b(\d+)\b.*\b\1\b：先捕获一个完整数字（\b确保是独立数字，不会匹配数字的一部分），然后通过前后的.*忽略任意内容，查找是否有另一个完全相同的数字。如果存在这样的重复，预查失败，整个正则匹配失败。

2. 匹配1,2,3和不匹配2,1,1时的具体流程是怎样的？ #

匹配1,2,3的流程： #

• 第一步：执行起始位置的负向预查，遍历整个字符串检查重复数字
  • 依次捕获1、2、3，分别查找对应数字的重复项，均未找到，预查通过
• 第二步：匹配主体部分(\d)(,(\d))*
  • 先匹配第一个数字1，接着匹配,2，再匹配,3，完全覆盖字符串，匹配成功

不匹配2,1,1的流程： #

• 第一步：执行起始位置的负向预查
  • 当捕获到第一个1后，通过.*向后查找，找到第二个1，满足\b\1\b的匹配，预查检测到重复数字，直接判定预查失败
• 第二步：预查失败后，正则引擎不再执行后续的主体匹配，直接返回不匹配结果

3. 匹配时是先执行负向预查还是先匹配(\d)(,(\d))*部分？ #

在Ruby正则中，起始锚点^后的负向预查会优先执行。因为预查是绑定在开头的断言，正则引擎必须先确认这个断言成立，才会继续尝试匹配后面的主体部分。如果预查失败，整个匹配过程直接终止，不会再处理主体匹配逻辑。

4. 移除负向预查中的.*后正则会匹配重复数字，这些.*的作用是什么？ #

负向预查中的两个.*是用来覆盖字符串中任意位置的内容，具体作用：

• 第一个.*：允许被捕获的数字前面存在任意内容（比如其他数字、逗号），确保能检测到非开头位置的重复数字
• 第二个.*：允许被捕获的数字后面存在任意内容，确保能检测到非结尾位置的重复数字
• 如果移除.*，预查变成^(?!\b(\d+)\b\b\1\b)，只能检测相邻的重复数字（比如1,1），但无法检测像1,2,1这种非相邻的重复，导致正则失效。

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