什么是暂时性死区_它与let和const有何关系【教程】

ReferenceError 是暂时性死区(TDZ)最直接的信号,即在 let/const 声明前访问变量会立即抛出该错误,表明变量已绑定但未初始化;TDZ 存在于块顶部到声明执行完成之间,影响 typeof、默认参数、解构等隐式求值场景。

ReferenceError 是暂时性死区最直接的信号

当你在 letconst 声明语句之前访问该变量,JavaScript 会立刻抛出 ReferenceError: xxx is not defined——注意,这不是语法错误(SyntaxError),也不是 undefined,而是运行时明确拒绝访问。这说明变量已被“绑定”进当前作用域,但尚未初始化。

  • 哪怕只是 typeof x,也会报错;而 var 下同操作返回 "undefined"
  • 死区从块(如 {}iffor、函数体)顶部开始,到 let xconst y = ... 这一行执行完成为止
  • 嵌套块中,每个 let/const 都有独立 TDZ,外层同名变量不影响内层判断

let 和 const 都受 TDZ 约束,但 const 多一层限制

letconst 都存在暂时性死区,因为它们都经历“声明提升 + 未初始化”的过程;区别在于:const 还强制要求声明时必须赋值,否则直接 SyntaxError

  • let a; 合法,但 a 在声明前不可读写
  • const b; 语法错误,根本过不了解析阶段
  • const obj = {}; 允许后续修改 obj.prop = 1,但不能 obj =

    {}
    —— TDZ 管的是“绑定”,不是“值不可变”

常见踩坑场景:看似安全的操作其实危险

很多开发者以为 typeof、函数默认参数、对象解构默认值是“兜底操作”,但在 TDZ 下全都不起作用。

  • console.log(typeof tmp); let tmp = 123; → 报错,不是 "undefined"
  • function foo(x = tmp) { let tmp = 'ok'; } → 调用 foo() 时立即报错,因为默认参数求值发生在函数体执行前,而此时 tmp 仍在 TDZ 中
  • let {x = 1} = {y: 2}; 合法,但若 x 是外部 let x 且尚未声明,则解构表达式本身会触发 TDZ 错误

怎么避免 TDZ 问题?靠习惯,不靠运气

ESLint 的 no-use-before-define(开启 variables: true)能捕获大部分情况,但最可靠的方式是建立编码习惯:

  • 把所有 let/const 声明统一放在块的开头(不是强制,但显著降低出错概率)
  • 避免在声明前做任何求值行为:包括调用函数、访问对象属性、计算表达式、甚至 void 0 这类看似无害的操作
  • 在条件块或循环中声明变量时,确认逻辑路径不会绕过声明语句(比如 if (false) { let x = 1; } 后面直接用 x 就掉进死区)
TDZ 不是 bug,是设计上的“主动设障”:它让“先用后声明”这种易错模式无法蒙混过关。真正容易被忽略的,是那些隐式求值的场景——比如默认参数、解构赋值、import 中的命名绑定,它们同样遵循 TDZ 规则,但不像 console.log(x) 那样一目了然。