AST静态分析仅为tree shaking前提，真正依赖模块粒度的依赖追踪、导出标记、引用判定与安全删除；需解析入口构建依赖图、递归处理导出与导入、精准标记使用项、剔除未用代码，并规避eval、动态import等无法静态分析场景。
静态分析 AST 本身不等于 tree shaking，它只是实现摇树的前提。真正起作用的是基于 AST 的依赖追踪、导出标记、引用判定与安全删除，整个过程必须在模块粒度上闭环验证，否则容易误删动态引入或带副作用的代码。
解析入口并构建模块依赖图
从入口文件开始，用 @babel/parser 解析为 AST，再用 @babel/traverse 提取所有 ImportDeclaration 节点：
- 每个
node.source.value（如"./utils"）就是依赖路径，需转为绝对路径并读取对应文件内容 - 递归处理子模块，避免循环引用：维护一个已访问模块集合，遇到重复路径直接跳过
- 对每个模块记录其
export列表（包括ExportNamedDeclaration、ExportDefaultDeclaration、ExportAllDeclaration）
标记被实际使用的导出项
从入口模块出发，向上追溯所有 import 绑定关系：
- 遍历每个
ImportSpecifier，提取imported.name（导入名）和local.name（本地绑定名） - 在源模块中查找同名
ExportNamedDeclaration，将其标记为“已使用” - 对
export default，若存在ImportDefaultSpecifier或命名空间导入（import * as ns from），也视为使用 - 注意重导出（
export * from "./x"）需展开递归标记，不能只停在 barrel 文件层
生成精简后的新模块代码
对每个模块，仅保留被标记为“已使用”的导出及其直接依赖的内部声明：
- 用 @babel/traverse 删除未被标记的
ExportNamedDeclaration节点 - 对函数/变量声明，检查是否被当前模块内其他语句引用（
path.scope.getBinding(name)?.referenced），否则可安全移除 - 保留
import语句仅当其所导入的符号被实际使用；整条无用 import 可整行删除 - 特别注意：含
sideEffects: false标记的模块，若无任何导出被使用，整个模块可跳过打包
规避常见陷阱的关键约束
tree shaking 不是字符串替换，必须守住语义边界：
- 跳过含
eval、with、Function(...)的模块，这些无法静态判定引用，应默认保留全部 - 不处理
import()动态导入，它们属于运行时行为，不在 AST 静态分析范围内 - 对
export { x as y }类型重命名，需同步更新导入端的import { y }，不能只改导出侧 - 生成代码时启用
sourceFileName和sourceMap: true，确保错误堆栈仍可映射回原始位置
