作用域链是JavaScript中按词法嵌套顺序查找变量的只读链表，从当前执行上下文逐级向上至全局环境；变量查找先在当前词法环境记录中匹配，未找到则沿链向上搜索，直至全局；var声明会提升并初始化为undefined，而let/const存在暂时性死区，未声明前访问抛出ReferenceError；函数创建时固化其定义时的作用域链，形成闭包。
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 赋值）会触发引擎沿作用域链从左到右依次查找：
立即学习“Java免费学习笔记（深入）”；
- 先在当前词法环境的环境记录（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 → 同一环境，值持续累加
这种机制使闭包能“记住并访问”其诞生时的外部变量，也是作用域链最典型的应用场景。
