跳转到主内容
趣航编程网 - 趣学编程,启航技术之路!

JavaScript作用域链是什么_变量查找如何完成?

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

相关文章