变量提升是JS编译阶段将var声明“记忆”到作用域顶部但保留赋值位置,let/const仅提升声明而不初始化并设TDZ;typeof访问TDZ中变量仍报错,函数声明完全提升而表达式受TDZ约束。

变量提升(Hoisting)到底是什么
JavaScript 的“变量提升”不是把代码往上挪,而是指在编译阶段,var 声明会被“记忆”进当前作用域的顶部,但赋值仍保留在原位置。所以你可以 console.log(a) 在 var a = 1 之前执行,结果是 undefined,而不是报错。
let 和 const 真的没有提升吗?
它们有“声明提升”,但没有“初始化提升”。也就是说,JS 引擎确实知道这个变量名存在,但它被刻意设为“暂时性死区(Temporal Dead Zone, TDZ)”——从块顶部到真正声明语句之间,任何读写都会抛出 ReferenceError。
console.log(x); // ReferenceError: Cannot access 'x' before initialization let x = 1;
这和 var 的行为本质不同:var 是“声明 + 初始化为 undefined”一起提升;let/const 只提升声明,不初始化,且 TDZ 会拦截所有访问。
为什么 typeof 查 let 变量也报错?
这是最容易被忽略的细节:TDZ 不区分读操作类型。typeof 本该安全地返回 "undefined",但在 TDZ 中它照样触发 ReferenceError。
立即学习“Java免费学习笔记(深入)”;
-
var a;→typeof a返回"undefined" -
let b;→typeof b报错,哪怕只是检查类型
这是因为 typeof 对未声明变量才返回 "undefined";而对已声明但处于 TDZ 的变量,它不走“未声明分支”,直接尝试取值,于是撞上死区。
函数声明和函数表达式提升表现不同
函数声明(function foo() {})会被完全提升(声明+定义),可在前面调用;函数表达式(const foo = function() {})则按 const 规则处理,受 TDZ 约束。
foo(); // OK,函数声明完全提升
function foo() { return 1; }
bar(); // ReferenceError
const bar = function() { return 2; };
注意:箭头函数、class 声明也遵循 let 规则,都有 TDZ,不是“不提升”,而是提升后不可触达。











