Babel插件仅能安全剔除纯静态可判定的死逻辑，如if(false)或process.env常量条件，依赖AST分析与常量折叠，不执行代码；对含变量、函数调用或对象属性访问的动态逻辑则无法判定，必须放行。
识别哪些代码能被安全剔除
死逻辑不是指“没被调用的函数”，而是运行时永远不执行的分支，比如 if (false)、if (process.env.NODE_ENV === 'development') 在生产构建中恒为 false 的条件体，或 !process.env.IS_MOCK && doSomething() 中因环境变量固定而被跳过的表达式。Babel 插件只能处理**纯静态可判定**的逻辑——它不执行代码，只靠 AST 分析和常量折叠推断结果。
关键限制：只要涉及变量、函数调用、对象属性访问（如 config.enabled）、或任何非字面量值，Babel 就无法确定真假，必须放过。误删会导致运行时崩溃。
-
path.isPure()是第一道过滤器：只对返回true的节点尝试求值，否则跳过 - 严格使用
babel-helper-evaluate-path进行静态求值，它支持BinaryExpression（===、!==、&&、||）、UnaryExpression（!）、ConditionalExpression等常见结构 - 对
process.env.X的处理要硬编码规则：例如将process.env.NODE_ENV映射为"production"后再求值，不能依赖真实环境变量
编写插件核心逻辑：从 IfStatement 入手
绝大多数死逻辑藏在 IfStatement、ConditionalExpression（三元）和带短路的 LogicalExpression（&&/||）里。插件应优先覆盖这三类节点。
以 IfStatement 为例：获取 path.node.test，用 evaluate(path.get('test')) 求值。若结果明确为 false，直接移除整个 if 块（包括 consequent 和 alternate）；若为 true，则只保留 consequent 并替换原节点。
- 不要用
path.remove()粗暴删除整个IfStatement节点——这会破坏语句上下文（比如它可能在return后），应替换为path.replaceWithMultiple([])或空语句t.emptyStatement() - 对
ConditionalExpression，若测试条件求值为true，替换为consequent；为false则替换为alternate；不确定则不动 - 对
LogicalExpression，仅当左侧已知为false且是&&，或左侧已知为true且是||时，才可剔除右侧——因为右侧本就不会执行
绕不开的陷阱：副作用与环境模拟
最常踩的坑是把有副作用的表达式当成纯逻辑删掉。例如 if (false) { api.logout() } 看似该删，但如果 api.logout 是个带副作用的函数调用，Babel 默认认为它不纯（path.isPure() === false），不会进入求值流程——这是保护机制，不是 bug。
但如果你手动绕过 isPure 强行求值，就可能删掉 console.log('debug') 或 localStorage.setItem('x', 'y')，导致线上埋点或状态丢失。
- 永远信任
path.isPure()的判断，不覆盖它 - 环境变量模拟必须完整：除了
NODE_ENV，还要处理项目中实际用到的自定义变量（如IS_MOCK、FEATURE_FLAG），并在插件选项中显式传入，避免读取本地.env - Webpack/Rollup 用户注意：Babel 插件运行在模块级，无法跨文件分析
import关系。若某函数在 A 文件定义、B 文件调用，而 B 文件被 tree-shaken，A 文件的函数体仍会被保留——死逻辑剔除不解决导出未使用问题
验证是否真生效：别只信 console.log
插件跑通不代表死逻辑被剔除。必须检查最终打包产物（如 Webpack 的 dist/main.js）里对应代码是否真的消失，而不是只在 Babel 转换中间步骤里看到节点被删。
推荐方法：在目标代码块前后加唯一注释，如 /* DEAD_CODE_START */ 和 /* DEAD_CODE_END */，然后 grep -A5 -B5 "DEAD_CODE_START" dist/main.js 直接搜索产物。
- 开启 Babel 的
sourceMaps: true并用babel-plugin-transform-annotate-pure-calls标记纯函数，有助于调试哪些节点被判定为不纯 - 对
process.env相关逻辑，确保构建工具（如 Webpack 的DefinePlugin）没有提前替换成字面量——否则 Babel 插件看到的已是if ("production" === "development")，求值更简单；但若没做这步，插件就得自己模拟 - 真正难啃的是动态条件：比如
if (window.__DEV__)或if (typeof globalThis !== 'undefined')，这类无法静态求值，插件必须放行，不能强行“猜”
