Javascript中的变量提升与暂时性死区是什么?

16次阅读

变量提升使var声明被移到作用域顶部但不初始化,访问得undefined;TDZ使let/const在声明前访问抛出ReferenceError。两者共存且机制相反:var提升仅限声明,let/const则全程禁止提前访问。

Javascript中的变量提升与暂时性死区是什么?

变量提升(Hoisting)和暂时性死区(Temporal Dead Zone, TDZ)是 javaScript 中关于变量声明与访问时机的两个关键概念,它们共存但作用机制相反:前者让 var 声明“看起来”被移到作用域顶部,后者则让 letconst 在声明前不可访问——不是报错,而是抛出 ReferenceError

var 声明会提升,但初始化不会

var 声明会被提升到当前函数或全局作用域顶部,但赋值操作保留在原地。这意味着你可以在声明前读取变量,得到 undefined,而不是报错。

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

这容易掩盖逻辑错误,比如误以为变量已初始化。注意:只有声明被提升,重复声明不报错,但后续赋值会覆盖。

  • var 在函数内声明时,提升到函数作用域顶部;在全局中,提升到全局对象(如 window)属性上
  • var a = b = 1 中,a局部变量b 会意外成为全局变量(因 b = 1 是赋值表达式,未声明)
  • 函数声明也会被完全提升(包括函数体),但函数表达式只提升变量名(var fn),不提升赋值

let/const 声明有暂时性死区

从块级作用域开始到声明语句执行前,letconst 变量处于暂时性死区。此时访问会直接抛出 ReferenceError,而不是返回 undefined

立即学习Java免费学习笔记(深入)”;

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

TZD 的边界是块({}),不是函数。哪怕用 if (false) 包裹声明,只要该块是作用域的一部分,TDZ 就存在。

  • typeof 对未声明变量返回 "undefined",但在 TDZ 中对 let/const 使用会报错,不能用来“安全检测”
  • const 还要求必须在声明时赋值,且不能重复赋值;let 允许后续赋值,但不允许重复声明
  • 参数默认值的作用域也受 TDZ 影响:function foo(x = y) { let y = 1; } 会报错,因为 y 在初始化 x 时仍处于 TDZ

class 声明也受 TDZ 约束

class 声明不是“语法糖”,它本身是 let-级绑定:声明前访问会触发 TDZ 错误,且不会被提升为构造函数可用。

console.log(MyClass); // ReferenceError class MyClass {}

这点和函数声明完全不同——函数声明可被提前调用,而 class 必须先声明再使用。

  • extends 表达式中的父类也受 TDZ 限制:class B extends A {} 要求 A 在此之前已声明并退出 TDZ
  • 箭头函数内部的 this 绑定不受 TDZ 影响,但若箭头函数定义在 TDZ 内部(如 let fn = () => this;let 声明前),整个表达式无法执行
  • 模块顶层的 import 绑定也具有 TDZ 行为,但 import 本身是静态解析,不涉及运行时访问顺序

真正容易被忽略的是:TDZ 不是“语法检查阶段”的限制,而是运行时访问时的动态报错。也就是说,代码可以成功解析和编译,但在执行到那一行时才崩——这会让调试变得隐蔽,尤其在条件分支或异步回调中。

text=ZqhQzanResources