JavaScript 正则全局匹配 /g 模式下反复调用 .test() 结果交替变化的怪异 Bug

一、问题概述：全局 /g 正则的有状态陷阱与交替断言 Bug

在 JavaScript 中，RegExp 实例如果带有全局标志 /g（或粘性标志 /y），它在每次匹配时并不是完全无状态的。该正则实例会内部记录并修改 lastIndex 属性，指示下一次搜索的起始偏移位置。如果在模块作用域中复用该 /g 正则实例进行多轮布尔校验，就会导致 .test() 的结果在 true 和 false 之间周期性交替，产生难以排查的概率性隐蔽 Bug。

二、最小复现：同一个字符串连续 .test() 的交替奇葩现象

下面的代码展示了在单例 /g 正则下连续调用 .test() 产生的诡异交替结果与 lastIndex 变化轨迹：

// 错误示范：在模块顶层定义带有 /g 标志的单例正则

const globalRegex = /abc/g;
const testStr = "abc";

console.log(globalRegex.test(testStr)); // 第一次: true  (lastIndex 变更为 3)
console.log(globalRegex.lastIndex);    // 输出: 3

console.log(globalRegex.test(testStr)); // 第二次: false (从 index 3 开始搜索，失败后 lastIndex 重置为 0)
console.log(globalRegex.lastIndex);    // 输出: 0

console.log(globalRegex.test(testStr)); // 第三次: true  (重新从 index 0 搜索成功)
console.log(globalRegex.lastIndex);    // 输出: 3

三、根因分析：ECMA-262 规范中 lastIndex 的步进更新机制

1. ECMA 规范要求：根据 ECMA-262 标准，带有 /g 或 /y 的 RegExp 实例在调用 .test() 或 .exec() 时，匹配起点受 lastIndex 控制。2. 成功匹配的步进：如果成功找到匹配项，引擎会将 lastIndex 更新为匹配子串之后的物理索引位置（例如 'abc' 长度为 3，匹配后 lastIndex 变为 3）。3. 匹配失败的重置：下一次调用时，引擎从 index 3 开始查找 'abc'，发现后续没有字符匹配，宣告失败并将 lastIndex 归零，返回 false。4. 有状态单例危害：如果在 Vue/React 组件或全局 Composable 中复用 /g 正则实例，不同请求或并发事件相互干扰，引发难以预测的随机断言失效。

四、推荐方案：去除全局标志 /g、重置 lastIndex 与函数内局部创建

1. 仅判断存在性：只进行布尔值校验时，切记不要添加 `/g` 标志（使用 /abc/ 而非 /abc/g）。2. 必须保留 /g 时显式重置：在每次调用前手动执行 regex.lastIndex = 0。3. 避免全局单例正则：在校验函数内部局部实例化 RegExp，或者使用 String.prototype.match() 替代。

五、完整代码：无状态安全正则校验纯函数

下面的 TypeScript 代码示范如何构建安全、无副作用且无状态的正则表达式校验 pure function。

function safeTestStateless(pattern: RegExp | string, input: string): boolean {

  // 1. 如果传入的是 RegExp 实例且带有 /g 或 /y 标志
  if (pattern instanceof RegExp) {
    if (pattern.global || pattern.sticky) {
      // 方案 A: 显式重置 lastIndex 为 0，清除历史匹配状态
      pattern.lastIndex = 0;
      const result = pattern.test(input);
      // 匹配完成后再次重置，防止影响后续外部调用
      pattern.lastIndex = 0;
      return result;
    }
    return pattern.test(input);
  }

  // 2. 如果传入的是字符串，直接创建不带 /g 标志的纯函数正则
  return new RegExp(pattern).test(input);
}

const myGlobalRegExp = /hello/g;
console.log("第 1 次检验:", safeTestStateless(myGlobalRegExp, "hello")); // true
console.log("第 2 次检验:", safeTestStateless(myGlobalRegExp, "hello")); // true
console.log("第 3 次检验:", safeTestStateless(myGlobalRegExp, "hello")); // true

六、常见错误方案

在 Form 表单校验逻辑中使用顶层定义的全局 /g 正则；试图通过 delete regex.lastIndex 来消除状态（lastIndex 是不可删除的不可配置属性）；误以为 String.prototype.replace() 也会永久破坏正则状态。

七、边界条件：RegExp.prototype.exec() 迭代提取与粘性标志 /y

虽然布尔断言场景应避免 /g，但在使用 while ((match = regex.exec(str)) !== null) 循环提取所有匹配项时，/g 和 lastIndex 步进更新是必需的核心机制。理解两者的应用场景界限至关重要。

八、如何检测项目中潜在的 lastIndex 有状态 Bug

使用 ESLint 规则检测模块顶层作用域中导出的带 /g 的 RegExp 变量；对所有校验纯函数编写连续两次以上相同输入的单元测试。

九、FAQ

问：为什么设计者要让 RegExp 具备 lastIndex 这个有状态属性？答：这是为了支持逐段迭代搜索大文本（配合 .exec() 循环使用），但在简单的布尔校验场景下却成了易踩坑的侧效应。

问：String.prototype.match() 会受 /g 和 lastIndex 影响吗？答：如果传入带 /g 的正则，match() 会一次性返回所有匹配子串数组，并将 lastIndex 自动重置为 0，不会留下交替崩溃隐患。

问：粘性标志 /y (sticky) 也有 lastIndex 属性吗？答：是的，/y 标志要求必须精确从 lastIndex 指定的位置开始匹配，如果 lastIndex 不匹配也会导致测试失败。

十、总结

JavaScript 正则表达式的 /g 标志使其具备了隐式状态。布尔断言场景务必去掉 /g 标志或手动重置 lastIndex = 0，保持校验纯函数的确定性与无侧效应。