如何理解javascript作用域链_函数作用域和块级作用域如何区分【教程】

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

JavaScript 作用域链不是“链表结构”,而是一条在函数定义时就确定的、只读的查找路径;var 声明只有函数作用域,letconst 才有真正的块级作用域——但这个“块”不包括 iffor 语句本身,而是它们内部的花括号所构成的词法块。

函数作用域只认 function,不认 {}

var 声明会被提升到最近的函数作用域顶部(或全局作用域),哪怕它写在 iffor 内部。这意味着:

  • 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 atypeof a === "undefined" 行为完全不同。

作用域链查找只发生在「标识符求值」时,且严格按「词法嵌套」向上找

作用域链在函数**定义时**就固化,与调用位置无关。闭包的本质就是内部函数记住了它被定义时的外部词法环境:

function outer() {
  const x = 10;
  return function inner() {
    return x; // 查找:inner → outer → global,不看 outer 是在哪被调用的
  };
}
const fn = outer();
console.log(fn()); // 10,即使 outer 已执行完毕

关键点:

  • 查找过程不跳过中间作用域,也不合并同名变量(不存在“覆盖”概念,只有遮蔽)
  • eval()with 会动态修改作用域链,但已被严格模式禁用,实际

    代码中应避免
  • 箭头函数没有自己的 thisargumentssuper,但它有完整的作用域链,能正常访问外层 let/const

容易忽略的边界情况:try/catchswitch 块也创建块级作用域

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 引擎识别为词法块——它取决于上下文语法:是否属于 iffortry/catch、独立复合语句等;而函数体、模块顶层、箭头函数体这些,天然带作用域。漏掉一个花括号,或者误以为 case 自带作用域,都可能引发静默错误或意外泄漏。