UglifyJS 或 Terser 基于 AST 执行语义安全的死代码删除，依赖打包器（如 Webpack、Rollup）预先标记未使用导出，再移除未引用的命名导出、顶层声明及空 export，并结合副作用元数据（如 __PURE__、sideEffects）确保安全，同时协同变量混淆与常量折叠提升压缩效果。
UglifyJS 或 Terser 并不是靠“猜”或“正则替换”来删代码，而是在压缩阶段基于 AST（抽象语法树）做语义安全的剔除。它们本身不负责识别哪些是死代码，而是接收打包工具（如 Webpack、Rollup）已标记好的“未使用导出”，再执行精准删除。
它依赖打包器提前标记的“可删除范围”
Tree Shaking 的标记（Mark）阶段由打包器完成：从入口开始遍历 import 关系，记录所有被实际引用的 export 成员。未被 import 的函数、变量、类等会被打上“unused”或类似标记，但此时代码还在 AST 中，只是被标注为“可移除”。
- Webpack 通过
usedExports: true开启导出标记，生成带副作用信息和使用状态的模块图 - Rollup 在分析阶段直接构建精简后的 AST，把未引用的顶层声明（如
export function foo() {}）从 AST 中剥离 - Terser 接收到的，已经是经过初步筛选、但还保留着原始结构的 JS AST —— 它的任务是把那些被标记为“未使用”的节点真正删掉，并清理残留引用
在 AST 层面执行三类关键删除操作
Terser 不会动源码字符串，而是操作语法树节点。它识别并移除以下内容：
-
未引用的命名导出声明：比如
export const helper = () => {};，若该模块中没有其他地方import { helper }，Terser 就会删掉整条export const语句 -
未使用的顶层函数/常量声明：即使没加
export，只要该变量/函数没被任何作用域访问（且模块被判定为无副作用），Terser 会将其声明节点从 AST 中移除 -
空的 export 语句和冗余的 export default 表达式：例如
export {};或export default (function(){})()这种立即执行又无返回的表达式，会被整块删掉
配合副作用判断，避免误删
Terser 自身不做副作用推断，但它会读取打包器传入的副作用元数据（比如 Webpack 注入的 __PURE__ 标注或 sideEffects 配置），决定是否能安全删除某段代码：
- 如果一个函数调用被标记为
/*#__PURE__*/，Terser 会认为它没有副作用，即使没被赋值给变量，也可能被整个删掉 - 若某个模块被
package.json声明为"sideEffects": false，Terser 就敢删除其中所有未被引用的顶层语句，包括 console、fetch、DOM 操作等——前提是这些语句确实没被 import 触发 - 反之，若某文件在
sideEffects列表里，Terser 就跳过对该文件的删除逻辑，哪怕里面全是未引用的函数
压缩时同步完成变量混淆与常量折叠，强化剔除效果
删除死代码不是孤立步骤，它和其它压缩动作协同发生：
- 删掉一个未使用的函数后，原来调用它的那行代码也不存在了，相关参数、临时变量自然消失
- 变量重命名（mangle）会让作用域更清晰，帮助 Terser 更准确判断某个变量是否真被使用
- 常量折叠（如
1 + 2→3）和条件简化（如if (false) {...}→ 删除整块）进一步缩小剩余代码体积，间接提升 Tree Shaking 的可见收益
