作用域链是函数创建时确定的词法环境嵌套引用链,由[[Environment]]槽静态绑定形成;变量查找沿此链逐级向上访问EnvironmentRecord,遵循词法作用域规则,与调用位置无关。
作用域
链本质是词法环境的嵌套引用链
JavaScript 作用域链不是运行时动态构建的“搜索路径”,而是函数创建时就确定的
内部槽所指向的一系列
对象。每个函数对象在定义时,其
就被绑定到外层词法环境(通常是父函数的词法环境或全局环境),形成一条静态可追溯的引用链。
变量查找就是沿着这条链逐级向上访问
(即环境记录),直到找到第一个匹配的标识符绑定,或抵达全局环境仍未找到则报
。
变量查找过程:从当前词法环境开始,逐级向上遍历
查找发生在执行阶段(如读取
),引擎按以下顺序操作:
检查当前执行上下文的词法环境(
)中的
若未命中,继续检查该环境的
引用(即
所指的上一级环境)
重复此过程,直到到达全局词法环境(其
为
)
若全程无匹配,抛出
注意:查找只看「声明位置」,与调用位置无关——这就是词法作用域(Lexical Scoping)的核心。
立即学习
“
Java免费学习笔记(深入)
”;
Eclipse导入Android或其他的JAVA项目的正确方法 WORD版
本文档主要讲述的是Eclipse导入Android或其他的JAVA项目的正确方法;希望本文档会给有需要的朋友带来帮助;感兴趣的朋友可以过来看看
下载
闭包让作用域链“活下来”,但不等于“捕获值”
当一个内部函数被返回或传出其定义作用域后,它仍持有对原始词法环境的引用,导致这些环境不会被垃圾回收。这是闭包的本质,也是作用域链持续存在的前提。
常见误解是“闭包保存了变量的值”,其实它保存的是对
的引用;后续读写操作仍会实时访问该记录中的绑定(可能是
、
或
声明的变量)。
块级作用域(
/
)如何影响作用域链结构
和
声明会创建新的词法环境(Block Environment),但它仍作为子环境挂载在当前函数环境之下,而非独立成链节点。这意味着:
块内函数能访问外层函数变量,也能访问同块内
变量(只要在声明之后)
块级环境本身不构成作用域链的“一级”,它的
仍指向所在函数的词法环境
是访问时机限制,不是作用域链断裂;引擎仍能找到绑定,只是拒绝在初始化前读取
对比
:它不创建新词法环境,所有
声明都被提升并绑定到函数级环境记录中,因此不存在块级查找问题,但也失去块级隔离性。
作用域链的起点永远是函数定义时的词法嵌套关系,而不是调用时的栈帧位置;最容易被忽略的是:
和
语句也会临时插入环境,改变查找路径——现代代码应避免使用它们。
[[Environment]]LexicalEnvironment[[Environment]]RecordReferenceErrorfooLexicalEnvironmentEnvironmentRecordouter[[Environment]]outernullReferenceError: xxx is not definedEnvironmentRecordletconstvarfunction createCounter() {
let count = 0;
return function() {
count++; // 每次都读写同一个 EnvironmentRecord 中的 count 绑定
return count;
};
}
const inc = createCounter();
console.log(inc()); // 1
console.log(inc()); // 2letconstletconstletouterTDZ(Temporal Dead Zone)varvarwithcatch