JavaScript的作用域链在函数定义时确定,由词法环境决定,变量查找沿定义时嵌套关系向上进行,未找到则抛ReferenceError;闭包依赖此静态链。

JavaScript 的作用域链是在函数定义时就确定的,它由函数创建时所处的词法环境(lexical environment)决定,不是在调用时动态生成的。变量查找严格遵循“词法作用域”规则:从当前执行上下文的作用域开始,沿着作用域链逐级向外查找,直到全局作用域;找不到则报 ReferenceError。
作用域链的形成过程
每当一个函数被定义,JS 引擎会记录下它所在的词法环境(即外层作用域),这个引用被保存在函数的内部属性 [[Environment]] 中。函数执行时,会基于该属性构建作用域链:
- 当前函数自己的词法环境(含形参、
let/const声明、function声明)作为链首 - 接着是外层函数的词法环境(如果存在)
- 逐层向上,直到全局词法环境(浏览器中是
window,Node.js 中是global)
变量查找的具体规则
查找变量时,JS 引擎按以下顺序进行:
- 先在当前作用域内搜索标识符(区分
var、let/const和function的声明提升与暂时性死区) - 若未找到,沿
[[Environment]]指向的外层作用域继续查找 - 全局作用域也找不到,则抛出
ReferenceError(注意:不是undefined) - 不跨函数体横向查找,只沿定义时嵌套关系向上查找(这就是“词法”而非“动态”的关键)
一个典型例子说明链的静态性
看这段代码:
立即学习“Java免费学习笔记(深入)”;
function outer() {const x = 10;
return function inner() {
console.log(x); // 能访问到 outer 的 x
};
}
const fn = outer();
fn(); // 输出 10
即使 outer 执行结束、其执行上下文被销毁,inner 仍能通过作用域链访问 x —— 因为 inner 的 [[Environment]] 在定义时就绑定了 outer 的词法环境。这正是闭包的本质基础。
注意几个常见误区
-
with和catch语句会临时插入作用域链节点,但已不推荐使用 -
eval在非严格模式下可能修改作用域链,行为复杂且危险,应避免 - 箭头函数没有自己的
this、arguments,也没有自己的作用域链顶层,它直接继承外层函数的词法环境 - 模块作用域(
import/export)也是词法作用域的一部分,位于全局作用域之上一层











