AST是源代码语法结构的树状表示，通过解析器将代码转为AST后，可利用@babel/traverse遍历分析未使用变量等静态问题，或用@babel/types修改节点实现const转var等代码转换，最终由generator生成新代码，支撑ESLint、Babel等工具的核心功能。
利用 AST（Abstract Syntax Tree，抽象语法树）进行代码静态分析和转换，是现代前端工程化、代码质量检测、构建工具和代码重构的核心技术之一。当你需要理解、检查或修改代码结构时，直接操作字符串形式的源码容易出错，而通过将代码解析为结构化的 AST，可以精准地遍历、分析和修改代码逻辑。
什么是 AST？
AST 是源代码语法结构的一种抽象表示，以树状形式表现编程语言中的语法结构。例如，一段 JavaScript 代码：
const a = 1 + 2;会被解析成一个包含 VariableDeclaration、Identifier、AssignmentExpression、BinaryExpression 等节点的树形结构。每个节点代表代码中的一个语法单元，并携带类型、位置、值等信息。
如何生成和操作 AST？
要操作 AST，通常使用解析器（Parser）将源码转为 AST，再通过遍历和修改节点实现分析或转换。
常用工具链：
- Babel Parser（@babel/parser）：将 JavaScript/JSX/TypeScript 代码解析为 Babel AST。
- @babel/traverse：提供遍历 AST 节点的能力，支持进入（enter）和退出（exit）钩子。
- @babel/types：用于创建、校验 AST 节点的工具库。
- @babel/generator：将修改后的 AST 重新生成源码。
基本流程：
- 使用 parser 将源码转为 AST。
- 通过 traverse 遍历节点，进行分析或替换。
- 使用 generator 将 AST 输出为新代码。
进行静态分析：检测代码问题
静态分析不运行代码，而是通过 AST 检查潜在错误、风格问题或安全漏洞。
示例：检测未使用的变量
在遍历 AST 时，记录所有声明的变量和被引用的标识符。若某个变量声明后从未被读取，则可标记为“未使用”。
实现思路：
- 遇到 VariableDeclarator 节点时，记录变量名。
- 遇到 Identifier 且作为左值时，视为赋值；右值时视为引用。
- 遍历结束后，对比声明与引用列表，找出未被引用的变量。
这类逻辑是 ESLint 等工具的核心机制。
进行代码转换：自动重构或编译
代码转换是指基于 AST 修改结构，然后生成新代码，常用于：
- Babel 编译：将 ES6+ 转为 ES5。
- API 迁移：批量替换旧函数调用为新接口。
- 注入日志或埋点：自动在函数入口插入调试语句。
示例：将 const 替换为 var
遍历所有 VariableDeclaration 节点，当 node.kind === 'const' 时，将其改为 'var'：
path.node.kind = 'var';这样就能实现全局升级或降级变量声明方式。
更复杂的转换如 JSX 编译、Tree Shaking 分析，也都依赖对 AST 的深度理解和模式匹配。
基本上就这些。掌握 AST 操作，就等于掌握了“让代码理解代码”的能力，是提升开发效率和工具开发的关键技能。
