babel 工具链可精准将 var 升级为 const 或 let：先解析为 ast，分析变量是否被重赋值、作用域及闭包行为，再依语义规则替换并生成代码，全程不依赖字符串操作，安全可逆。
可以直接用 Babel 工具链完成，核心是解析代码为 AST，判断每个 var 声明是否被重新赋值、是否在块级作用域中、是否参与闭包捕获，再按规则替换为 const 或 let，最后生成新代码。整个过程不依赖字符串替换，精准、可逆、可验证。
识别 var 声明并分析作用域与赋值行为
遍历所有 VariableDeclaration 节点，筛选出 kind: 'var' 的声明。对每个 VariableDeclarator，需检查：
- 该变量在当前作用域内是否被后续语句重新赋值（通过
path.scope.bindings[name].referencePaths和binding.kind判断） - 是否在
for、if、函数等块级结构中声明（path.findParent(p => p.isBlockStatement() || p.isFunction())） - 是否被内部函数引用（即是否形成闭包），若被引用且外部未修改，仍可安全转
const
按语义规则决定替换目标
不能简单“全部变 let”，必须依据变量实际使用方式选择：
- 从未被重新赋值 → 替换为
const（最安全，语义最清晰） - 被重新赋值，但只在当前作用域内 → 替换为
let - 声明在函数体顶层，但被嵌套函数读取且外部无写入 → 仍可用
const（只要不改绑定） - 出现在循环中（如
for (var i = 0; ...)）→ 必须转let，否则闭包行为会改变
构造新节点并安全替换
使用 @babel/types 创建新声明节点，避免手动拼字符串或直接赋值 path.node：
- 用
t.variableDeclaration('const', [t.variableDeclarator(id, init)])构造新声明 - 调用
path.replaceWith(newNode)，而非path.node = newNode（否则父节点引用不更新） - 替换后立即调用
path.stop()，防止子节点被重复处理（尤其当替换整个var声明时） - 若原
var声明带注释，需用path.node.leadingComments手动迁移，否则丢失
批量处理与边界防护
单文件处理是基础，工程化落地还需考虑多文件协作和风险隔离：
- 每个文件独立解析、转换、生成，禁止跨文件变量名全局搜索替换
- 跳过
node_modules、测试文件、构建产物目录 - 对含
eval、with、动态import()的模块打标跳过——静态分析无法覆盖其副作用 - 转换前自动生成备份（如
file.js.bak），支持一键回滚
