作用域链是JavaScript中用于管理变量和函数访问范围的机制。当代码执行时，JavaScript引擎会根据作用域链来查找变量或函数，从当前作用域开始，逐级向上查找，直到全局作用域。变量查找的实现依赖于作用域链的结构。当访问一个变量时，引擎会沿着作用域链从当前作用域开始查找，如果在当前作用域中找不到该变量，就会进入父作用域继续查找，直到找到该变量或到达全局作用域。如果最终没有找到，就会抛出引用错

大家好，我们又见面了啊~本文《作用域链是什么？变量查找怎么实现？》的内容中将会涉及到等等。如果你正在学习文章相关知识，欢迎关注我，以后会给大家带来更多文章相关文章，希望我们能一起进步！下面就开始本文的正式内容~

作用域链是函数创建时确定的词法环境嵌套引用链，由[[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 声明都被提升并绑定到函数级环境记录中，因此不存在块级查找问题，但也失去块级隔离性。

到这里，我们也就讲完了《作用域链是JavaScript中用于管理变量和函数访问范围的机制。当代码执行时，JavaScript引擎会根据作用域链来查找变量或函数，从当前作用域开始，逐级向上查找，直到全局作用域。变量查找的实现依赖于作用域链的结构。当访问一个变量时，引擎会沿着作用域链从当前作用域开始查找，如果在当前作用域中找不到该变量，就会进入父作用域继续查找，直到找到该变量或到达全局作用域。如果最终没有找到，就会抛出引用错误（ReferenceError）。》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！