JavaScript全局正则lastIndex导致的test()交替匹配失败问题

本文记录了一次在Node.js开发过程中遇到的正则表达式问题，旨在分析现象并揭示根本原因，供遇到类似情况的开发者参考。

背景

在构建Node服务时，需要对进入的请求进行标记。若请求路径命中预定义的路由，则标记为REQ；否则标记为IVL，以便在日志中区分处理。具体做法是在服务启动时，根据配置的路由生成一个RouterMap，并在请求到达时通过判断路径是否匹配该Map来确定标记类型。

核心逻辑代码如下：

export function getSourceMak(
  routerMap: AppRouterMap[],
  req: http.IncomingMessage,
): SourceMark.REQ | SourceMark.IVL | SourceMark.TST {
  const { url, method, headers } = req;
  const pathname = url.split('?')[0];
  const userAgent = headers['user-agent'];
  // 安全扫描
  if (userAgent?.includes('TST(Tencent') && userAgent.includes('Team)')) {
    return SourceMark.TST;
  }
  for (const item of routerMap) {
    const { reg } = item;
    if (reg.test(pathname) && item.method === method.toLocaleLowerCase()) {
      return SourceMark.REQ;
    }
  }
  return SourceMark.IVL;
} 

由于涉及动态路由，无法直接通过路径字符串进行相等判断，因此需要将路由规则转换为正则表达式。这些正则表达式在服务启动时生成并保存在内存中复用，以提高性能。

正则生成逻辑如下：

export function createRouterRegexp(url) {
  const urlBlock = url.split('/');
  const regBlock = urlBlock.map((block) => {
    if (block[0] === ':') {
      return '((?!/).)*';
    }
    return block;
  });
  return new RegExp(`^${regBlock.join('/')}$`, 'ig');
}

问题

在调试过程中发现一个异常现象。假设存在路由GET /cats/find，生成的正则表达式为/^\/cats\/find$/gi。在使用该正则对路径/cats/find进行匹配时，第一次调用test()返回true，第二次返回false，第三次又返回true，呈现奇偶交替的规律。

经过反复验证，Node代码逻辑与正则表达式本身均无语法错误。在浏览器环境中复现该测试，结果一致。由此确定问题源于对正则表达式全局匹配机制的理解偏差。查阅JavaScript官方文档后，找到了确切原因。

原因

查阅MDN关于正则表达式的文档，发现以下关键说明：

当设置全局标志的正则使用test()

如果正则表达式设置了全局标志，test() 的执行会改变正则表达式 lastIndex属性。连续的执行test()方法，后续的执行将会从 lastIndex 处开始匹配字符串，(exec() 同样改变正则本身的 lastIndex属性值).

示例代码展示了这一行为：

var regex = /foo/g; 
// regex.lastIndex is at 0 
regex.test('foo'); // true 
// regex.lastIndex is now at 3 
regex.test('foo'); // false

RegExp.prototype.test() - JavaScript | MDN

这正好解释了之前遇到的问题。

根据文档说明，当正则表达式带有g标识进行全局匹配时，匹配成功后，regex实例中会有一个lastIndex属性去记录本次命中正则的最后一位的下标+1，用于在下一次调用test的时候，从lastIndex开始进行匹配。 以前我没有遇到过大概率是因为以下原因：

每次进行正则校验时，都重新生成正则实例：/^\/cats\/find$/gi.test('/cats/find') 。

但是因为这次我将正则实例保存，并反复使用。从而导致问题。

并且通过验证得出，当匹配成功后，lastIndex会记录下一次开始的位置，但是当匹配失败，lastIndex会归零从头开始。

此次排查耗时约60分钟，虽然耽误了用餐时间，但深入理解了JavaScript正则表达式中lastIndex的工作机制，避免了未来的潜在陷阱。

总结

本文介绍了JavaScript正则表达式中全局标志g导致的test()交替匹配失败问题及其原理。更多相关技术内容可参考本站其他文章。