JavaScript作用域链是函数定义时确定的只读查找路径;var只有函数作用域且会提升至函数或全局顶部,let/const具块级作用域(限花括号内)。

JavaScript 作用域链不是“链表结构”,而是一条在函数定义时就确定的、只读的查找路径;var 声明只有函数作用域,let 和 const 才有真正的块级作用域——但这个“块”不包括 if 或 for 语句本身,而是它们内部的花括号所构成的词法块。
函数作用域只认 function,不认 {}
var 声明会被提升到最近的函数作用域顶部(或全局作用域),哪怕它写在 if 或 for 内部。这意味着:
-
if (false) { var x = 1; }执行后,x依然存在且为undefined(非报错) for (var i = 0; i 结束后,i仍可在循环外访问- 没有函数包裹的
{ let y = 2; }是合法块,但y在块外不可访问;而{ var z = 3; }中的z会泄漏到外层函数或全局
let/const 的“暂时性死区”(TDZ)不是语法错误,是运行时拒绝访问
TDZ 指从块开始到声明语句执行前的区域。此时访问变量会抛出 ReferenceError,而不是返回 undefined:
{
console.log(a); // ReferenceError: Cannot access 'a' before initialization
let a = 1;
}
注意:typeof a 在 TDZ 中同样报错——这和 var a 的 typeof a === "undefined" 行为完全不同。
立即学习“Java免费学习笔记(深入)”;
作用域链查找只发生在「标识符求值」时,且严格按「词法嵌套」向上找
作用域链在函数**定义时**就固化,与调用位置无关。闭包的本质就是内部函数记住了它被定义时的外部词法环境:
function outer() {
const x = 10;
return function inner() {
return x; // 查找:inner → outer → global,不看 outer 是在哪被调用的
};
}
const fn = outer();
console.log(fn()); // 10,即使 outer 已执行完毕
关键点:
- 查找过程不跳过中间作用域,也不合并同名变量(不存在“覆盖”概念,只有遮蔽)
-
eval()和with会动态修改作用域链,但已被严格模式禁用,实际代码中应避免 - 箭头函数没有自己的
this、arguments、super,但它有完整的作用域链,能正常访问外层let/const
容易忽略的边界情况:try/catch 和 switch 块也创建块级作用域
catch 绑定的参数是块级绑定,switch 中每个 case 后的花括号也构成独立块:
try {
throw 42;
} catch (err) {
let err = 'oops'; // OK:err 被重新声明,不会污染外层
console.log(err); // 'oops'
}
// 这里访问不到上面的 err
但注意:switch 本身不创建作用域,必须显式加 {}:
switch (1) {
case 1:
let a = 1; // SyntaxError:未用花括号包裹时,let 不允许出现在 case 子句中
}
真正难的不是记住“块级作用域存在”,而是判断某个 {} 是否被 JS 引擎识别为词法块——它取决于上下文语法:是否属于 if、for、try/catch、独立复合语句等;而函数体、模块顶层、箭头函数体这些,天然带作用域。漏掉一个花括号,或者误以为 case 自带作用域,都可能引发静默错误或意外泄漏。











