如何在JavaScript中程序化判断两个正则表达式是否匹配等价？

可以实现，但不能仅通过source属性或toString()方法判断，因为不同的正则语法写法可能在语义上完全等价，但字符串形式却不一样——比如/[0-9]+/和/\d+/都匹配一个或多个数字，但其source分别返回[0-9]+和\d+，直接比较字符串会得到错误结果。

为什么直接比较source/toString()无效？ #

你提到的两种实现之所以失效，本质是因为它们比较的是正则的字面量字符串，而非正则的匹配语义：

// 无效实现：仅比较字面量字符串
function isEquivalentRegExp(r1, r2) {
  return r1.toString() == r2.toString(); // /[0-9]+/ 和 /\d+/ 会返回false
}

// 同样无效：仅比较正则源字符串
function isEquivalentRegExp(r1, r2) {
  return r1.source == r2.source; // 同上，语义等价但源字符串不同
}

可行的实现思路 #

要判断两个正则是否等价，核心是将它们转换为标准化的语义等价形式，再进行比较。下面是一个基础的实现方案，覆盖常见的等价场景：

步骤1：标准化正则源字符串

将正则中的语法糖（比如\d、+）转换为等价的基础语法，对字符集排序、合并重复原子，消除写法差异：

function normalizeRegexSource(source) {
  // 1. 替换简写字符类为完整形式
  source = source.replace(/\\d/g, '[0-9]');
  source = source.replace(/\\D/g, '[^0-9]');
  source = source.replace(/\\w/g, '[A-Za-z0-9_]');
  source = source.replace(/\\W/g, '[^A-Za-z0-9_]');
  source = source.replace(/\\s/g, '[ \\t\\n\\r\\f\\v]');
  source = source.replace(/\\S/g, '[^ \\t\\n\\r\\f\\v]');
  
  // 2. 替换量词简写为完整量词形式
  source = source.replace(/\+/g, '{1,}');
  source = source.replace(/\*/g, '{0,}');
  source = source.replace(/\?/g, '{0,1}');
  
  // 3. 对字符集内的内容排序，消除顺序差异（比如[1-3a-c]和[a-c1-3]等价）
  source = source.replace(/\[([^\]]+)\]/g, (match, chars) => {
    const parts = [];
    let i = 0;
    while (i < chars.length) {
      if (i + 2 < chars.length && chars[i+1] === '-') {
        parts.push(chars.slice(i, i+3));
        i += 3;
      } else {
        parts.push(chars[i]);
        i += 1;
      }
    }
    parts.sort();
    return `[${parts.join('')}]`;
  });
  
  // 4. 合并连续的相同原子为量词形式（比如[A-Z][A-Z]替换为[A-Z]{2}）
  source = source.replace(/(\[[^\]]+\])\1+/g, (match, group) => {
    const count = match.length / group.length;
    return `${group}{${count}}`;
  });
  
  return source;
}

步骤2：实现等价判断函数

先检查正则的标志位（flags）是否完全一致（标志位不同的正则肯定不等价），再比较标准化后的源字符串：

function isEquivalentRegExp(r1, r2) {
  // 标志位不同直接返回false
  if (r1.flags !== r2.flags) return false;
  
  const normalizedR1 = normalizeRegexSource(r1.source);
  const normalizedR2 = normalizeRegexSource(r2.source);
  
  return normalizedR1 === normalizedR2;
}

测试示例

const regex1 = /[0-9]+/;
const regex2 = /\d+/;
const regex3 = /[A-Z]{2}/;
const regex4 = /[A-Z][A-Z]/;

console.log(isEquivalentRegExp(regex1, regex2)); // true
console.log(isEquivalentRegExp(regex2, regex3)); // false
console.log(isEquivalentRegExp(regex3, regex4)); // true

局限性说明 #

这个基础实现仅覆盖了常见的等价场景，对于更复杂的正则（比如分组顺序等价的(a|b)和(b|a)、反向引用、环视断言等），需要更完善的正则AST（抽象语法树）解析来判断语义等价性。

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