作用域链是函数创建时确定的词法环境嵌套引用链，由[[Environment]]槽静态绑定形成；变量查找沿此链逐级向上访问EnvironmentRecord，遵循词法作用域规则，与调用位置无关。

作用域链本质是词法环境的嵌套引用链

JavaScript 作用域链不是运行时动态构建的“搜索路径”，而是函数创建时就确定的 [[Environment]] 内部槽所指向的一系列 LexicalEnvironment 对象。每个函数对象在定义时，其 [[Environment]] 就被绑定到外层词法环境（通常是父函数的词法环境或全局环境），形成一条静态可追溯的引用链。

变量查找就是沿着这条链逐级向上访问 Record（即环境记录），直到找到第一个匹配的标识符绑定，或抵达全局环境仍未找到则报 ReferenceError。

变量查找过程：从当前词法环境开始，逐级向上遍历

查找发生在执行阶段（如读取 foo），引擎按以下顺序操作：

• 检查当前执行上下文的词法环境（LexicalEnvironment）中的 EnvironmentRecord
• 若未命中，继续检查该环境的 outer 引用（即 [[Environment]] 所指的上一级环境）
• 重复此过程，直到到达全局词法环境（其 outer 为 null）
• 若全程无匹配，抛出 ReferenceError: xxx is not defined

注意：查找只看「声明位置」，与调用位置无关——这就是词法作用域（Lexical Scoping）的核心。

闭包让作用域链“活下来”，但不等于“捕获值”

当一个内部函数被返回或传出其定义作用域后，它仍持有对原始词法环境的引用，导致这些环境不会被垃圾回收。这是闭包的本质，也是作用域链持续存在的前提。

常见误解是“闭包保存了变量的值”，其实它保存的是对 EnvironmentRecord 的引用；后续读写操作仍会实时访问该记录中的绑定（可能是 let、const 或 var 声明的变量）。

function createCounter() {
  let count = 0;
  return function() {
    count++; // 每次都读写同一个 EnvironmentRecord 中的 count 绑定
    return count;
  };
}
const inc = createCounter();
console.log(inc()); // 1
console.log(inc()); // 2

块级作用域（let/const）如何影响作用域链结构

let 和 const 声明会创建新的词法环境（Block Environment），但它仍作为子环境挂载在当前函数环境之下，而非独立成链节点。这意味着：

• 块内函数能访问外层函数变量，也能访问同块内 let 变量（只要在声明之后）
• 块级环境本身不构成作用域链的“一级”，它的 outer 仍指向所在函数的词法环境
• TDZ（Temporal Dead Zone） 是访问时机限制，不是作用域链断裂；引擎仍能找到绑定，只是拒绝在初始化前读取

对比 var：它不创建新词法环境，所有 var 声明都被提升并绑定到函数级环境记录中，因此不存在块级查找问题，但也失去块级隔离性。

作用域链的起点永远是函数定义时的词法嵌套关系，而不是调用时的栈帧位置；最容易被忽略的是：with 和 catch 语句也会临时插入环境，改变查找路径——现代代码应避免使用它们。