直接遍历identifier重命名会出错，因未区分声明与引用；应基于作用域识别绑定，仅在声明位置生成新名，并通过scope.getbinding映射所有引用，同时保留全局api和导出变量。
为什么直接遍历 Identifier 节点重命名会出错
很多人一上来就写个 Identifier 访问器，对所有 node.name 统一替换成随机字符串，结果跑完代码直接报错：ReferenceError: xxx is not defined。根本原因是没区分「声明」和「引用」——比如 function foo() {} 里的 foo 是声明，而 foo() 里的 foo 是引用，二者必须映射到同一个新名字；但 let bar = 1; 和 function bar() {} 中的两个 bar 属于不同作用域，可以（也应该）重命名成不同值。
所以关键不是“找 Identifier”，而是“识别绑定（binding）+ 作用域链 + 引用关系”。Babel 的 @babel/traverse 内置了 scope 对象，能帮你自动追踪每个 Identifier 是声明还是引用、属于哪个作用域、是否被闭包捕获。
- 只对
VariableDeclarator.id、FunctionDeclaration.id、ClassDeclaration.id、ObjectProperty.key（当为标识符且非计算属性时）等**声明位置**的Identifier生成新名 - 所有对应引用处（
Identifier节点）通过scope.getBinding(node.name)查绑定，再取其identifier替换 - 跳过
JSXIdentifier、ImportSpecifier.local、ExportSpecifier.local等非普通 JS 变量场景，否则破坏 JSX 或模块导出
如何用 @babel/traverse 安全收集并映射变量名
别自己手写作用域树。Babel traverse 在进入每个节点前已构建好完整作用域上下文，你只需在声明节点触发时调用 scope.generateUid() 获取唯一短名，并存入自定义映射表；后续所有引用都查这张表。
示例逻辑片段：
traverse(ast, {
VariableDeclarator(path) {
const { id, init } = path.node;
if (id.type === 'Identifier') {
// 仅处理顶层声明或函数内声明，跳过 for 循环中 let i 的 i（它会在 Scope 中自动注册）
const binding = path.scope.getBinding(id.name);
if (binding && !binding.constantViolations.length) {
const newName = path.scope.generateUid(id.name);
binding.identifier.name = newName;
// 记录映射用于调试或白名单排除
renameMap.set(id.name, newName);
}
}
}
});
-
scope.generateUid()比手动拼接更安全：自动避让已存在变量、保留原始首字母（可选）、支持前缀（如scope.generateUid('a', { prefix: '_' })） - 务必检查
binding.constantViolations：比如const a = 1; a = 2;会导致 violation，说明该 binding 不是纯声明，不应参与混淆 - 不要在
Identifier入口统一替换——那样会把字符串字面量里的"foo"也误替（虽然 AST 中它不是 Identifier，但容易混淆思路）
哪些名字必须保留不混淆？怎么加白名单
混淆不是越狠越好。以下名字一旦改掉，运行时立刻崩：
使用固定的 Next.js/Tailwind/Prisma 技术栈构建并记录独立 SaaS 项目，仅将 FastAPI 用于 Python 工作负载，并遵循严格的架构规范。
- 全局对象属性：
console、document、localStorage、fetch、JSON、Promise等浏览器/Node 内置 API - 用户显式导出的变量：
export const utils = {...}中的utils，否则外部无法引用 - 被
eval()、with、Function构造函数动态访问的变量（极难静态分析，建议直接禁用这些语法） - 正则字面量中的捕获组名（
/(?<name>\w+)/</name>）——AST 中它是RegExpLiteral，不走 Identifier 流程，但名字语义敏感
实现白名单最轻量方式：维护一个 Set，在每次准备重命名前先查 if (reservedNames.has(oldName)) return;。Babel 插件里可这样初始化：
const reservedNames = new Set([ 'console', 'document', 'window', 'globalThis', 'localStorage', 'sessionStorage', 'navigator', 'setTimeout', 'setInterval', 'fetch', 'XMLHttpRequest' ]);
注意：ESLint 的 eslint-plugin-no-undef 规则所依赖的 global list（如 es2021 preset）可直接复用，避免漏判。
混淆后为什么代码体积没变小？甚至更大了
单纯用 a、b、c 替换长名看似省字节，但实际常导致体积增加——因为现代压缩器（Terser）本身就能做更优的重命名：它知道哪些变量可压缩成单字母、哪些因跨作用域必须保留长度、哪些可复用同一缩写。你手动混淆反而干扰了 Terser 的优化路径。
- 例如你把
componentDidMount改成_a，Terser 原本可能把它压缩成c并复用给其他变量；现在它只能保留_a，还多了一个下划线 - Babel 输出默认带空格和换行，未启用
minified: true选项时，AST 生成代码比原文件还冗余 - 真正有效的混淆是删除 AST 中的
Comment、DebuggerStatement、冗余ReturnStatement，再交由 Terser 处理，而非抢它饭碗
如果你真要减体积，优先做：关闭 Babel 的 sourceMaps、设置 compact: true、用 TerserPlugin 替代手动混淆——后者才是生产环境事实标准。
