17370845950

ReferenceError 是暂时性死区（TDZ）最直接的信号，即在 let/const 声明前访问变量会立即抛出该错误，表明变量已绑定但未初始化；TDZ 存在于块顶部到声明

执行完成之间，影响 typeof、默认参数、解构等隐式求值场景。

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

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

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

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

let 和 const 都存在暂时性死区，因为它们都经历“声明提升 + 未初始化”的过程；区别在于：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) 那样一目了然。