17370845950

作用域链是函数定义时确定的词法作用域查找路径，从当前函数作用域逐级向上指向全局对象；变量读取时按此链由近及远查找，未找到则报ReferenceError；闭包即函数持有该链对父级变量的引用。

JavaScript 中的作用域链，本质是函数在定义时就确定的一条“词法作用域的查找路径”。它决定了变量和函数在执行时能访问到哪些数据——不是看函数在哪调用，而是看它在哪定义。

作用域链是怎么形成的？

每个函数在创建时，JS 引擎会为其绑定一个内部属性 [[Scopes]]（可通过 DevTools 的 console.dir 查看），里面保存着它定义时所处的所有外层作用域的引用，从内到外依次排列。这条链的起点是当前函数自己的作用域（AO/VO），然后逐级向上连接外层函数的作用域，最终指向全局对象（如 window 或 globalThis）。

例如：

function outer() {
  const x = 10;
  function inner() {
    console.log(x); // 能访问到 outer 的 x
  }
  return inner;
}
const fn = outer();
fn(); // 输出 10 —— 尽管 outer 已执行完毕，inner 仍通过作用域链持有对 x 的引用

变量查找过程：从近到远，逐层向上

当代码中引用一个变量（比如 a），JS 引擎按以下顺序查找：

• 先查当前执行上下文的变量对象（当前函数的 AO，含形参、let/const 声明、函数声明）
• 没找到，就沿着 [[Scopes]] 链向上，查外层函数的 AO
• 继续向上，直到全局作用域
• 全程都找不到，就抛出 ReferenceError

注意：查找只发生在“读取变量值”时（即 RHS 查询）；而赋值操作（LHS 查询）如果没找到，会在全局创建（非严格模式）或报错（严格模式）。

闭包是作用域链的直接体现

所谓闭包，就是函数记住了并能访问自己定义时所在词法作用域的能力。这背后没有魔法，只是函数对象持有了对父级作用域链的引用。

• 即使外层函数已执行结束、执行上下文被销毁，只要内层函数还存在（比如被返回、被赋值给变量），它的作用域链里依然保留着对外层变量的访问权
• 这就是为什么 let/const 变量不会被回收——它们被闭包“活引用”着
• 过度使用闭包可能造成内存占用，但这是作用域链的自然结果，不是 bug

容易混淆的点：作用域链 ≠ 调用栈

调用栈反映的是“谁调用了谁”，是运行时的执行顺序；作用域链反映的是“谁定义在谁里面”，是写代码时就固定的词法嵌套关系。

• setTimeout 里的回调函数，作用域链取决于它定义的位置，不是 setTimeout 所在位置
• 箭头函数没有自己的 this，也没有自己的 arguments，但它有完整的作用域链——它沿用外层函数的作用域
• eval 和 with 会动态修改作用域链，所以性能差且不推荐使用

基本上就这些。理解作用域链的关键，是始终记住：JavaScript 是静态词法作用域语言，变量在哪里“出生”（定义），就决定了它能“认谁做爹”（能访问哪些外层变量）。