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

作用域链本质是词法环境的嵌套引用链
JavaScript 作用域链不是运行时动态构建的“搜索路径”,而是函数创建时就确定的 [[Environment]] 内部槽所指向的一系列 LexicalEnvironment 对象。每个函数对象在定义时,其 [[Environment]] 就被绑定到外层词法环境(通常是父函数的词法环境或全局环境),形成一条静态可追溯的引用链。
变量查找就是沿着这条链逐级向上访问 Record(即环境记录),直到找到第一个匹配的标识符绑定,或抵达全局环境仍未找到则报 ReferenceError。
变量查找过程:从当前词法环境开始,逐级向上遍历
查找发生在执行阶段(如读取 foo),引擎按以下顺序操作:
- 检查当前执行上下文的词法环境(
LexicalEnvironment)中的EnvironmentRecord - 若未命中,继续检查该环境的
outer引用(即[[Environment]]所指的上一级环境) - 重复此过程,直到到达全局词法环境(其
outer为null) - 若全程无匹配,抛出
ReferenceError: xxx is not defined
注意:查找只看「声明位置」,与调用位置无关——这就是词法作用域(Lexical Scoping)的核心。
立即学习“Java免费学习笔记(深入)”;
闭包让作用域链“活下来”,但不等于“捕获值”
当一个内部函数被返回或传出其定义作用域后,它仍持有对原始词法环境的引用,导致这些环境不会被垃圾回收。这是闭包的本质,也是作用域链持续存在的前提。
常见误解是“闭包保存了变量的值”,其实它保存的是对 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 语句也会临时插入环境,改变查找路径——现代代码应避免使用它们。










