作用域链是JavaScript中变量查找的机制,基于函数定义时的词法位置形成,由当前词法环境及其外层引用逐级构成,用于从内到外查找变量直至全局,未找到则报ReferenceError。

作用域链是 JavaScript 中变量查找的机制,它决定了当前执行上下文能访问哪些变量。简单说,当代码中引用一个变量时,JavaScript 引擎会沿着当前函数的**作用域链**一层层向上查找,直到找到该变量,或查到全局作用域还没找到就报 ReferenceError。
作用域链是怎么形成的?
每次函数被调用时,引擎会为它创建一个执行上下文(Execution Context),其中包含一个**词法环境(Lexical Environment)**。这个环境内部保存了当前作用域定义的变量,同时持有一个对**外层词法环境的引用**——这个引用链就是作用域链。
关键点:
- 作用域链在函数**定义时**就确定了(基于代码书写位置),不是调用时才决定的 → 这就是“词法作用域”
- 最内层是当前函数的局部环境,然后是外层函数的环境,最后是全局环境(如浏览器中的
window或 Node.js 中的global) - 闭包正是依赖这个链:内部函数即使在外层函数执行完后,仍能通过作用域链访问外层变量
变量查找过程是怎样的?
查找从当前作用域开始,按以下顺序进行:
立即学习“Java免费学习笔记(深入)”;
- 先在当前词法环境的自身记录项(Record)中找(即当前函数内用
let/const/function声明的变量) - 没找到,就顺着
[[OuterEnv]]指针跳到上一级词法环境,再找 - 重复该过程,直到到达全局环境
- 全局环境也找不到 → 报错
ReferenceError: xxx is not defined
例子:
function outer() {
const x = 10;
function inner() {
const y = 20;
console.log(x); // ✅ 找到:inner → outer → 全局(x 在 outer 环境中)
console.log(y); // ✅ 找到:y 在 inner 自身环境中
}
inner();
}
outer();
var、let/const 查找有区别吗?
查找逻辑一样,但**初始化时机不同**会影响结果:
-
var声明会被提升(hoisted)并初始化为undefined,所以能在声明前访问(不报错,但值是undefined) -
let/const也会提升,但处于“暂时性死区(TDZ)”,在声明前访问直接报ReferenceError - 也就是说:作用域链没变,但查到了变量,却因未初始化而拒绝访问
全局变量和 this 指向有关吗?
无关。作用域链只管变量标识符(如 foo)的解析,不涉及 this。全局变量在全局词法环境中,是作用域链的终点;而 this 是执行上下文中的一个独立属性,由调用方式决定(如普通调用、方法调用、箭头函数等)。
基本上就这些。理解作用域链,核心就三点:定义时绑定、逐级向上查、闭包靠它维系。不复杂但容易忽略细节。










