变量提升是JavaScript中var声明和函数声明在编译阶段被提升至作用域顶部,但仅声明被提升、赋值保留原位;let/const虽被声明提升却不初始化,访问会触发ReferenceError(暂时性死区)。

变量提升(Hoisting)到底是什么
JavaScript 中的变量提升不是把代码往上挪,而是指在编译阶段,var 声明(不含赋值)和函数声明会被“移动”到当前作用域顶部。注意:只有声明被提升,赋值仍留在原地。
这意味着你能在声明前访问 var 变量,但值是 undefined;而 let 和 const 虽然也存在提升,但不初始化,访问会直接抛出 ReferenceError —— 这叫“暂时性死区”(TDZ)。
为什么 var a = 1 在声明前输出是 undefined 而不是报错
因为 JS 引擎分两步处理:创建阶段(分配内存、设为 undefined)和 执行阶段(逐行运行赋值)。所以:
console.log(a); // undefined var a = 1;
等价于:
立即学习“Java免费学习笔记(深入)”;
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 的宽松行为。











