JavaScript正则引擎为回溯型NFA，执行test/exec/match时逐字符匹配并回退，易因嵌套量词或.引发灾难性回溯；应优先用字面量预编译、否定字符类替代.、避免动态构造及嵌套量词。
正则表达式在 JavaScript 中的执行模型
JavaScript 的正则引擎是回溯型（NFA），不支持自动优化如“自动编译为 DFA”或“自动跳过无效分支”。每次调用 test()、exec()、match() 等方法时，引擎从左到右逐字符尝试匹配，并在遇到失败时回退（backtrack）——这是性能瓶颈的主要来源。
这意味着：一个写得松散的正则，比如 /a.*b/ 在长字符串中可能触发指数级回溯；而 /a[^b]*b/ 几乎无回溯，速度差异可达百倍以上。
- 所有正则字面量（如
/abc/g）在首次解析时编译，重复使用不会重新编译 - 用
new RegExp('...')构造时，每次调用都经历字符串解析 + 编译，开销更大，且无法被 JS 引擎内联优化 -
g标志会影响lastIndex状态，多次调用exec()时若没重置，结果可能意外中断
避免灾难性回溯的写法原则
所谓“灾难性回溯”，典型表现是页面卡死、CPU 持续 100%、RegExp.prototype.test() 耗时数秒甚至超时。根本原因是嵌套量词（如 (a+)+）或模糊边界（如 .* 后接必须匹配项）导致引擎反复试探。
- 用否定字符类代替
.*：把/start.*end/改成/start[^]*?end/（注意[^]匹配任意字符，包括换行；更安全可选[sS]） - 避免嵌套量词：不要写
/(a+)+b/，改用/a+b/或明确最大重复次数（如/a{1,100}b/） - 优先使用惰性量词（
*?,+?），但需确认语义不变；有时贪婪+否定类更稳，例如/href="([^"]*)"/比/href="(.*?)"/更快且不易失控 - 对用户输入动态构造正则时，务必先用
String.prototype.replace()转义特殊字符，否则new RegExp(input)可能注入恶意模式
exec() 和 matchAll() 的实际选择
两者都能获取全部匹配，但行为和兼容性差异明显。现代代码优先选 matchAll()，但要注意它返回的是迭代器，不是数组；而 exec() 需手动循环并管理 lastIndex。
立即学习“Java免费学习笔记（深入）”；
const text = 'a1 b2 c3';
const regex = /wd/g;
// ✅ matchAll —— 更直观，自动处理全局状态
for (const match of text.matchAll(regex)) {
console.log(match[0]); // 'a1', 'b2', 'c3'
}
// ⚠️ exec —— 容易漏掉重置，尤其多处复用同一正则对象时
let result;
while ((result = regex.exec(text)) !== null) {
console.log(result[0]);
// 若 regex 是无 g 标志的，会无限循环；有 g 但未手动清空 lastIndex 也可能出错
}
-
matchAll()要求正则带g标志，否则抛TypeError -
exec()在非全局正则上只返回第一个匹配，且不修改lastIndex；全局正则下它依赖并更新lastIndex，跨调用共享状态 - 如果只需判断是否存在匹配，用
test()比exec()快 2–3 倍，因为它不收集捕获组信息
预编译与复用正则对象的必要性
正则对象本身可安全复用，且复用能显著降低 GC 压力和启动开销。尤其在循环、事件回调、高频校验（如输入框实时验证）中，现场构造 new RegExp(...) 是常见性能雷区。
// ❌ 危险：每次调用都新建、解析、编译
function isValidEmail(str) {
return new RegExp('^[^@]+@[^@]+\.[^@]+$').test(str);
}
// ✅ 正确：字面量自动预编译，函数内直接引用
const EMAIL_REGEX = /^[^@]+@[^@]+.[^@]+$/;
function isValidEmail(str) {
return EMAIL_REGEX.test(str);
}
- 正则字面量（
/.../）在模块加载/函数定义时即编译，比new RegExp()快且可被 V8 等引擎内联缓存 - 若需动态部分（如变量插入选项），应仅拼接安全字符串，再用字面量封装；或使用
RegExp构造但缓存在闭包/模块级变量中 - 注意：正则对象不是纯不可变，
g和y标志会让它携带状态（lastIndex），多线程（Worker）或并发调用时需额外隔离
.* 放错位置，就可能让前端验证变成阻塞操作。 
