可直接用babel ast工具链安全转换var为let/const：先识别var声明，再通过作用域分析变量是否被重新赋值，未赋值用const、有赋值用let，构造新节点替换并规避全局挂载、多变量、ts类型等陷阱。

可以直接用 Babel AST 工具链完成，核心是判断变量是否被重新赋值——未赋值或仅初始化用 const，有后续赋值则用 let，全程不碰字符串替换，安全可控。

识别变量声明并分类处理

遍历所有 VariableDeclaration 节点，只处理 kind: 'var' 的声明。对每个 VariableDeclarator 提取 id.name，再结合作用域分析它在当前作用域内是否被重新赋值：

• 用 path.scope.bindings[name] 获取绑定信息，检查 binding.referenced 和 binding.constant
• 若 binding.constant === true，说明该标识符从未被重新赋值，可安全转为 const
• 若存在 AssignmentExpression 目标为该标识符（如 a = 1 或 a += 2），且不在声明语句中，则标记为需转 let
• 跳过函数参数、catch 绑定、for 循环头部等特殊上下文，避免误判

构造新声明节点并替换

不能直接修改 node.kind，必须用 @babel/types 创建全新节点再替换：

• 调用 t.variableDeclaration(newKind, declarations) 构造新声明，newKind 为 'const' 或 'let'
• 保持原 declarations 数组结构不变，仅更新每个 VariableDeclarator 的 id 和 init
• 使用 path.replaceWith(newNode) 替换整条声明语句，确保父节点引用正确更新
• 替换后立即调用 path.stop()，防止子节点被重复处理

规避常见陷阱

真实项目中容易出错的边界情况必须显式防御：

• 全局作用域下的 var 声明会挂载到 window 或 globalThis，转成 let/const 后不再自动挂载，需人工确认是否影响外部访问
• 同一作用域内多个 var 声明（如 var a, b = 1）要逐个判断，不能统一按首个变量决定类型
• 遇到 try/catch 中的 catch (e) 或 for (var i...)，跳过处理——这些不是普通变量声明
• TS 项目中若含类型注解（如 var x: string = 'a'），需先启用 @babel/plugin-transform-typescript，否则注解会被丢弃

验证与落地建议

跑完转换后不能直接合入，必须做三层验证：

• 语法验证：用 eslint --ext .js,.ts src/ 检查是否引入新的 no-unused-vars 或 no-undef 报错
• 运行验证：执行单元测试 + 手动触发关键路径，尤其关注闭包、循环内事件回调、模块导出逻辑
• 差异比对：用 git diff 抽样查看变更，重点确认 for (var i...) 是否被误改、this 绑定是否受影响