javascript 运行时本身不执行 dce，该过程依赖构建阶段的静态分析，而词法作用域的确定性是工具准确识别无用代码的前提——它确保变量绑定、函数引用和模块导入导出关系在源码中明确可追踪，从而支持安全的 ast 遍历与死代码标记。
JavaScript 本身在标准运行时（如浏览器或 Node.js）**不执行 Dead Code Elimination（DCE）**，这个过程发生在构建阶段，由打包工具（如 Webpack、Rollup、esbuild）完成。而词法作用域的稳定性——即“作用域在函数定义时就确定，与调用位置无关”——正是这些工具能**静态、可靠地识别无用代码**的核心前提。
词法作用域为何是 DCE 的基础
因为 JS 采用词法作用域，变量/函数的绑定关系在源码中是明确、可追踪的：
- 一个 let/const 声明只在其块级作用域内可见，不会意外被外层或深层嵌套影响；
- 一个 函数内部引用的变量，必定来自其定义时的外层作用域链，而非调用时的上下文；
- import/export 关系也是静态可分析的：模块导入什么、导出什么、是否被其他模块使用，全部写在源码里，无需运行就能判定。
这种确定性让打包器能安全地构建“依赖图谱”，进而判断哪些导出未被任何 import 引用，哪些函数从未被调用，哪些分支永远不可达。
典型 DCE 场景依赖词法分析
以下操作都建立在编译期对 AST 和作用域链的静态遍历之上：
Java JDK 25
下载
Java JDK 25 来自 OpenJDK 官方归档，版本为 JDK 25，本条下载地址已指向官方 Windows x64 zip 安装包直链，适合调试旧项目或兼容旧版 Java 运行环境。
-
未使用的具名导出：
export const unusedHelper = () => {};若整个项目中没有import { unusedHelper }，该声明及其闭包引用的变量可被整块移除； -
条件永远为假的代码块：
if (false) { console.log('dead'); }—— 这里不依赖运行时，而是通过常量折叠 + 作用域隔离确认该分支内定义的变量、函数不会逃逸到外部； -
仅用于导出但未被消费的模块局部变量：
const temp = compute(); export { temp };若temp在本模块内无其他引用，且外部模块未导入它，compute()调用和temp绑定均可删除。
为什么不能靠运行时做 DCE？
因为运行时无法覆盖所有路径：
-
eval()、with、Function()构造函数会动态创建作用域，打破词法可预测性； - 依赖用户输入、网络响应、时间戳等的分支，静态分析无法断言真假；
- 某些库（如 moment.js）通过字符串拼接构造函数名，导致 import 路径无法静态解析。
所以真正有效的 DCE 必须在构建阶段，基于原始 ES 模块语法 + 词法作用域规则进行 AST 遍历与标记，而不是等待代码执行。
开发者能做的关键配合
要让工具顺利执行 DCE，你需要保持词法结构清晰：
- 优先用
export default或具名export，避免export * from（它会模糊实际导出项）； - 避免在模块顶层使用
eval或new Function； - 函数尽量不捕获大量外部变量，减少闭包体积（间接提升 tree-shaking 效果）；
- 配置打包器启用
module: "ESNext"和sideEffects: false（或精确声明），告诉工具哪些文件可安全剔除。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
