JavaScript引擎通过作用域分析标记未使用变量为unreferenced binding，进而在代码生成阶段省略初始化、剔除声明或避免闭包捕获；但eval、with、debugger、typeof及function声明会阻止该优化。
JavaScript 引擎在编译阶段无法直接“删除”未使用的局部变量，但可以通过作用域分析识别其不可达性，为后续优化（如死代码消除、内存分配省略）提供依据。这种优化不改变语义，只提升执行效率。
作用域分析如何标记未使用变量
在语法分析生成 AST 后，编译器会构建词法环境（Lexical Environment），并逐作用域扫描声明：
- 遍历所有 let/const/var 声明，记录变量名、声明位置、绑定类型及初始化状态
- 对每个变量，进行引用追踪（Reference Tracking）：检查该变量是否在当前作用域或嵌套作用域中被读取（
Reference）或写入（Assignment） - 若某变量仅被声明、从未被读取或写入（包括未被闭包捕获），则被标记为 unreferenced binding
编译器如何利用该信息做实际优化
标记本身不生效，真正优化发生在代码生成阶段：
-
跳过变量环境初始化：对未使用的
let/const，V8 可能省略在词法环境中为其分配 slot；对var，虽仍需在变量环境注册（因提升机制），但可跳过默认赋值undefined的指令 -
移除无副作用的声明语句：若声明后无任何访问，且初始化表达式无副作用（如
let x = 1 + 2;），整个声明可能被完全剔除 - 避免闭包捕获：若函数内部声明了一个变量，但外部函数未形成闭包引用它，引擎不会将该变量纳入闭包上下文对象（Context Object），节省内存和查找开销
哪些情况会让“未使用”失效，阻止优化
即使变量看起来没被用，以下情形仍会导致它必须保留：
立即学习“Java免费学习笔记（深入）”；
- 变量名出现在
eval()或with语句中（因动态作用域无法静态判定） - 变量被
debugger断点、开发者工具作用域面板需要显示（开发模式下常禁用此类优化） - 变量参与了
typeof检查（如typeof unusedVar === 'undefined'），此时声明本身具有语义 - 变量是
function声明（函数提升具有一等对象语义），即使未调用，也不能被移除
开发者可配合的实践
虽然引擎自动处理，但写出利于分析的代码能提升优化概率：
- 优先用
const声明不重赋值的变量——引擎更容易确认其生命周期终点 - 避免在大函数中声明大量中间变量，改用小函数拆分，缩小作用域粒度
- 移除调试残留代码（如注释掉的
console.log(x)），因为某些引擎会保守保留被注释引用的变量 - 不用
var声明块级临时量——其函数作用域特性会延长变量存活期，阻碍优化
