变量提升是什么？详解代码执行影响

变量提升是JavaScript引擎在编译阶段将var声明和函数声明“挪到”作用域顶部的内在机制——但仅提升声明，不提升赋值；而let/const虽也存在声明提升，却因未初始化而形成“暂时性死区”，提前访问即报ReferenceError。理解这一机制能帮你避开undefined陷阱、TDZ误用、IIFE执行异常、模块加载混淆等真实项目中的高频翻车点，尤其在混合使用var/let/const、闭包、箭头函数和模块系统时，掌握提升的本质（非代码重排，而是声明与初始化的分离）比死记规则更重要——现代开发中，优先使用let/const并敬畏TDZ，才是写出健壮、可维护代码的关键。

变量提升（Hoisting）到底是什么

JavaScript 中的变量提升不是把代码往上挪，而是指在编译阶段，var 声明（不含赋值）和函数声明会被“移动”到当前作用域顶部。注意：只有声明被提升，赋值仍留在原地。

这意味着你能在声明前访问 var 变量，但值是 undefined；而 let 和 const 虽然也存在提升，但不初始化，访问会直接抛出 ReferenceError —— 这叫“暂时性死区”（TDZ）。

为什么 var a = 1 在声明前输出是 undefined 而不是报错

因为 JS 引擎分两步处理：创建阶段（分配内存、设为 undefined）和 执行阶段（逐行运行赋值）。所以：

console.log(a); // undefined  
var a = 1;

等价于：

var a; // 提升了，初始值 undefined  
console.log(a); // 此时 a 还没被赋值  
a = 1;

• var 声明会被提升且初始化为 undefined
• function 声明会被完整提升（函数体一起）
• function expression（如 var foo = function() {}）只提升 var foo，不提升函数本身

let 和 const 真的不提升吗

它们确实被提升了（进入词法环境），但不会被初始化。从块级作用域开头到声明语句之间，变量处于“暂时性死区”。任何访问都会触发 ReferenceError：

console.log(b); // ReferenceError: Cannot access 'b' before initialization  
let b = 2;

常见陷阱：

• 用 typeof 检测 let 变量是否声明？不行 —— typeof b 同样报错
• const 必须在声明时赋值，否则语法错误，不存在“先声明后赋值”的空间
• 循环中用 let 声明计数器（如 for (let i = 0; ...)）能避免闭包经典问题，正是因为每次迭代都新建绑定

真实项目里最容易翻车的三个场景

变量提升本身不难理解，但和作用域、闭包、模块加载混在一起就容易误判。

• 在 IIFE 或模块顶层写 var x = foo();，而 foo 是后面才定义的函数 —— 如果 foo 是函数声明，能跑通；如果是函数表达式，就 TypeError: foo is not a function
• ES6 模块中，import 是静态的、前置的，但 require() 是动态的、可出现在任意位置 —— 别拿 CommonJS 的执行顺序去套 ES 模块的提升逻辑
• 箭头函数没有自己的 this，也没有 arguments，更不会被提升 —— const fn = () => { console.log(a); }; var a = 1; 运行时才查 a，此时 a 已存在，不会报错；但如果把 var a 换成 let a，调用 fn() 仍会报 ReferenceError，因为 TDZ 是运行时检查

最该记住的：提升是引擎行为，不是代码重排；真正影响行为的是“声明是否初始化”和“访问时机是否落在 TDZ 内”。写现代代码尽量用 let/const，别依赖 var 的宽松行为。

以上就是《变量提升是什么？详解代码执行影响》的详细内容，更多关于的资料请关注golang学习网公众号！