作用域链查找与访问规则解析

作用域链是JavaScript运行时变量查找的核心机制——它是一条从当前执行上下文逐级向上延伸至全局环境的只读词法环境链，决定了变量“从哪里、按什么顺序被访问”；理解其查找规则（先查当前环境记录，未命中则沿链向上、找到即停）、深刻辨析var与let/const在提升和暂时性死区上的本质差异，以及掌握函数创建时对定义时作用域链的固化行为，不仅能揭开闭包的底层原理，更是透彻理解this绑定、块级作用域、变量生命周期等关键特性的基石。

JavaScript中作用域链（Scope Chain）是引擎在查找变量时所依赖的一套有序、嵌套的词法环境链。它不决定变量如何被定义，而决定变量在运行时**从哪里、按什么顺序被访问**。理解其查找与访问规范，是掌握闭包、this绑定、let/const暂时性死区等行为的基础。

作用域链的构成：从当前执行上下文开始逐级向上

每个执行上下文（函数调用、全局、eval、模块等）都拥有一个内部属性 [[Scope]]（ES6后更准确称为“词法环境链”），它是一个只读的、由多个词法环境（Lexical Environment）组成的链表。该链表的起点是当前执行上下文的词法环境，终点是全局词法环境。

例如：

let x = 10;
function foo() {
  let y = 20;
  function bar() {
    let z = 30;
    console.log(x, y, z); // 查找顺序：bar → foo → 全局
  }
  bar();
}
foo();

当执行 bar 时，其作用域链为：
[bar的词法环境] → [foo的词法环境] → [全局词法环境]

变量查找规则：沿作用域链逐层搜索，找到即停

变量访问（如读取 a 或对 b 赋值）会触发引擎沿作用域链从左到右依次查找：

• 先在当前词法环境的环境记录（Environment Record）中查找（如函数内声明的 let、const、function、var）
• 若未找到，继续查找外层词法环境的环境记录
• 直到全局环境；若仍找不到，则抛出 ReferenceError（严格模式下）或隐式创建全局属性（非严格模式下对 var 外赋值，但不推荐）
• 一旦找到第一个匹配的绑定（binding），查找立即终止，不会继续向上检查同名变量

var、let/const 的查找差异：绑定存在性与时序影响结果

虽然查找路径相同，但不同声明方式导致绑定是否“可见”存在关键区别：

• var 声明会被提升（hoisted），且在所在函数作用域顶部初始化为 undefined，因此在声明前访问不会报错，仅得 undefined
• let 和 const 存在暂时性死区（TDZ）：从块级作用域开始到声明语句执行前，变量虽已存在于环境记录中，但处于“未初始化”状态；此时访问会直接抛出 ReferenceError
• 这意味着：即使作用域链能“到达”某个 let 变量的环境，只要尚未执行到其声明行，查找就失败（不是没找到，而是“找到了但不能用”）

闭包与作用域链的固化：函数对象携带其定义时的作用域链

函数是词法作用域的产物。当函数被创建时，其内部属性 [[Environment]] 会永久保存定义时所在位置的作用域链快照（即外层词法环境引用）。这个链不会随调用位置改变而更新。

例如：

function makeCounter() {
  let count = 0;
  return function() {
    count++;
    return count;
  };
}
const inc = makeCounter(); // 此时 inc.[[Environment]] 包含对 {count: 0} 环境的引用
inc(); // 1 → 修改的是 makeCounter 执行时创建的那个词法环境中的 count
inc(); // 2 → 同一环境，值持续累加

这种机制使闭包能“记住并访问”其诞生时的外部变量，也是作用域链最典型的应用场景。

本篇关于《作用域链查找与访问规则解析》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于文章的相关知识，请关注golang学习网公众号！