前端代码重构核心在于改得准、跑得稳、边界全，需用@babel/traverse替代手写遍历器，严格校验作用域、语法层级与副作用，禁止跨文件全局替换，动态引入和危险语法须特殊处理。
静态分析 AST 实现前端代码重构，核心不在于“能不能”，而在于“改得准不准、跑得稳不稳、边界漏不漏”。直接上手写遍历器容易陷入节点匹配错位、作用域误判、副作用忽略这三类坑，先理清关键动作再编码。
用 @babel/traverse 替代手写遍历器，避免节点类型和父子关系误判
Babel 的 traverse 已处理好节点关联、作用域链、别名展开（如 const → var）、JSX/TS 扩展语法兼容。手动递归 node.body 或 node.arguments 极易漏掉嵌套深层的表达式或跳过 Program 外层包装节点。
- 必须用
path.replaceWith()而非直接赋值path.node = newNode，否则父节点body引用未更新，后续遍历会出错 - 修改后需调用
path.stop()阻止子节点重复触发，尤其在替换整个函数时，否则内部语句还会被二次处理 - 对
Identifier节点做修改前，先用path.scope.hasBinding('name')确认是否为局部变量，避免污染全局或闭包外变量
用 @babel/types 构造新节点时，严格匹配目标环境的语法层级
重构目标若要兼容 IE11，就不能生成 ArrowFunctionExpression；若目标是现代 TS 项目，TSInterfaceDeclaration 必须带 declare 标志。用 t.functionDeclaration() 生成的函数默认无 async，但若原函数是 async function，必须显式传入 { async: true } 参数，否则 AST 不等价，Babel 生成代码会丢掉 async 关键字。
-
t.callExpression(t.identifier('console.log'), [t.stringLiteral('ok')])是安全的，但t.memberExpression(t.identifier('console'), t.identifier('log'))缺少括号包裹，在某些上下文中会被解析为console.log()调用而非属性访问，应优先用t.callExpression封装整条语句 - 替换 JSX 元素时，
t.jsxElement()的closingElement不能为null，自闭合标签（如<img alt="如何通过静态分析 AST（抽象语法树）实现自动化的前端代码重构工具" >）必须用t.jsxSelfClosingElement() - TS 类型注解需配合
@babel/plugin-transform-typescript插件启用，否则t.tsTypeAnnotation()构造的节点在生成代码时会被直接忽略
重构逻辑必须隔离作用域与副作用，否则批量处理多文件时出错难定位
一个文件里有 import { foo } from './utils'，另一个文件里有同名 const foo = 42，如果重构脚本全局搜索替换 foo，就会把局部变量也干掉。正确做法是：每个文件单独 parse + traverse，且在进入 ImportDeclaration 时记录导入绑定，在后续 Identifier 中只对非导入、非声明的引用做替换。
立即学习“前端免费学习笔记（深入）”；
- 禁止跨文件维护“全局符号表”，Babel 本身不提供跨文件作用域分析，强行实现只会让工具在 monorepo 中崩溃
- 对
require('./x')这类动态引入，path.scope.hasBinding()返回undefined，此时应跳过该标识符，而不是 fallback 到字符串匹配 - 遇到
eval()、with、Function构造函数，立即中断当前路径处理并打日志，这类代码无法静态推导作用域，硬改等于埋雷
真正难的不是写出能跑的重构脚本，而是判断某处 path.node 是否处于可安全替换的上下文——比如 class A extends B 中的 B 是类型还是值，取决于是否有 import type { B } from 声明，这个信息藏在 path.parentPath 的 node.type 和 path.scope 的 bindings 里，差一层就全错。
