作用域链是函数定义时静态确定的词法环境引用链。每个函数的[[environment]]指向其定义时的外层词法环境,逐级向上直至全局环境;变量查找时从当前词法环境开始,沿该链逐层向上搜索,命中即止,未找到则抛出referenceerror。

JavaScript 中变量查找时的作用域链,本质上是一条静态确定、只读、由内向外的搜索路径。它不是运行时拼出来的,而是在函数定义那一刻就固化下来的词法环境链接关系。
作用域链怎么形成的
每个函数对象内部都保存着一个隐藏属性 [[Environment]],它指向该函数**定义时所处的词法环境**。这个环境又通过自己的 outer 引用连向上一层,最终连到全局环境(outer 为 null)。所以整条链是:
- 当前函数的词法环境 →
- 外层函数的词法环境(如果存在)→
- 再外层函数的词法环境(如果嵌套更深)→
- 全局词法环境
注意:和函数在哪里被调用完全无关,只看它在源码里写在哪一层嵌套中。
变量查找的具体步骤
当执行到 console.log(x) 这类语句时,引擎按以下顺序找 x:
Java开发手册规约集合,基于阿里巴巴Java开发手册(嵩山版)。 涵盖7大维度:编程规约、异常日志、单元测试、安全规约、MySQL数据库、工程结构、设计规约。 当用户需要:(1) 编写或审查Java代码 (2) 检查命名/代码规范 (3) 处理异常和日志 (4) 编写单元测试 (5) 安全编码 (6) 数据库设...
- 先查当前执行上下文的词法环境(比如函数内的
let x、参数、const声明) - 没找到,就顺着
[[Environment]]指针跳到上一级词法环境再查 - 重复这个过程,逐层向上,直到某一层找到了
x的绑定(binding) - 如果全局环境也没找到,就抛出
ReferenceError: x is not defined
一旦命中就停止,不会继续往上找——哪怕外层还有同名变量也不会覆盖当前结果。
为什么闭包能记住外层变量
因为内层函数的 [[Environment]] 始终持有着对外层词法环境的引用。即使外层函数执行结束、本该销毁的局部变量,只要内层函数还活着,那块内存就被“锁住”了。
- 这不是特殊机制,而是作用域链自然延续的结果
- 例如:
function outer() { let a = 1; return () => a; },返回的函数能访问a,正是因为它的作用域链包含outer当时的环境
调试时怎么看到作用域链
虽然不能直接读取 [[Environment]],但在 Chrome 或 Edge 的开发者工具中,对函数调用 console.dir(fn),展开后能看到 [[Scopes]] 字段,里面会列出:
-
Closure:当前闭包捕获的外层变量 -
Script:模块或脚本级声明 -
Global:全局作用域
这能帮你快速确认某个变量到底从哪一层作用域来的,特别适合排查“为什么这里能访问那个变量”或者“为什么改了没生效”这类问题。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










