Babel 通过 AST 遍历在编译时识别并安全移除死代码与冗余表达式：1. 剔除不可达代码、常量假分支；2. 简化字符串拼接、数组展开等；3. 结合作用域分析精准删除未使用声明；4. 标记已处理节点防重复遍历。
核心思路是借助 Babel 的 AST 遍历能力，在编译时识别出确定不会执行的代码分支或无副作用的冗余表达式，并安全移除它们。这比运行时判断更彻底，也比手动删减更可靠。
识别并剔除死代码（Dead Code）
死代码指永远无法到达、或计算结果不影响程序行为的语句。Babel 插件可通过以下方式识别：
- 检查 不可达的控制流：如
return后紧跟的语句、throw或process.exit()后的代码块 - 分析 常量条件分支：当
if (false)、while (0)等布尔值可静态判定为假时，直接移除整个分支体 - 利用
path.isPure()判断表达式是否无副作用，再结合babel-helper-evaluate-path尝试求值；若结果确定且后续未被使用，即可安全删除
安全移除冗余表达式与合并字面量
部分表达式虽非“死代码”，但属于可静态简化、不增加语义价值的冗余结构：
- 字符串拼接优化：
"Hello" + " " + "World"→"Hello World"，通过递归遍历BinaryExpression节点提取连续字符串字面量并合并 - 数组/对象字面量展开简化：
[1,2].concat([3,4])→[1,2,3,4]（需确保原数组不可变、无自定义concat方法） - 无用的括号、冗余的布尔转换（如
!!x在已知x为布尔值时可保留原变量）
结合作用域与引用分析做精准剔除
单纯语法匹配容易误删，必须叠加语义信息：
- 对变量声明（
const x = ...）检查其绑定是否被读取（path.scope.getBinding('x')?.referencePaths.length === 0），若未被引用且无副作用，可连声明一并删除 - 区分顶层声明与函数内声明：全局常量可能被外部依赖，需谨慎；而函数内未使用的
let声明可安全剔除 - 排除有潜在副作用的场景，例如调用含
console.log、fetch、DOM 操作的函数，即使返回值未被使用也不应剔除
规避插件自身引发的重复处理
自动剔除后插入新节点（如替换表达式）可能触发新一轮遍历，导致无限循环或误判：
- 在修改节点前设置标记：
path.node._processedByMyPlugin = true - 在 visitor 入口处跳过已标记节点：
if (path.node._processedByMyPlugin) return - 优先使用
path.replaceWith()替代多次path.remove()+path.insertBefore()，减少中间态干扰
