JavaScript作用域链是函数创建时绑定的静态词法环境嵌套链,变量查找按定义时的作用域链从当前环境向上逐级搜索直至全局,未声明则报ReferenceError。

JavaScript 作用域链的本质,是函数定义时所处词法环境的嵌套关系形成的查找路径。变量查找遵循“就近原则 + 沿作用域链向上逐级搜索”的规则,直到全局作用域;找不到就报 ReferenceError。
作用域链在函数创建时就确定了
不是执行时决定,而是函数对象被创建(即函数声明或表达式求值)的那一刻,引擎会把当前词法环境(Lexical Environment)记录在函数的内部属性 [[Environment]] 中。这个属性指向一个环境记录(Environment Record),并带有对外层环境的引用——这就是链的起点。
- 比如在全局中定义的函数,它的
[[Environment]]指向全局环境 - 如果函数定义在另一个函数内部,它的
[[Environment]]就指向外层函数的词法环境 - 这种链接是静态的、只读的,和函数在哪里调用无关(这也是闭包的基础)
变量查找:从当前作用域开始,沿 [[Environment]] 链向上找
每次访问一个标识符(如 foo),JS 引擎会按以下顺序查找:
- 先查当前执行上下文的词法环境中的声明(
let/const/function) - 没找到,就顺着该环境的
outer引用(即[[Environment]]所指环境)继续查 - 一直查到全局环境;若全局也没有,抛出
ReferenceError -
注意:查找过程不看变量是否已赋值,只看是否被声明(
let/const有暂时性死区,但仍是“已声明”)
var、function、let/const 的查找表现略有不同
它们都走同一套作用域链机制,但声明提升(hoisting)影响初始状态:
立即学习“Java免费学习笔记(深入)”;
-
var和function声明会被提升到作用域顶部,初始化为undefined(function还会提升函数体) -
let/const虽然也进入词法环境,但在声明语句执行前不可访问(TDZ),此时访问会报ReferenceError,不是undefined - 但无论哪种,查找路径都一样:当前 → 外层 → 全局
容易混淆的点:作用域链 ≠ 调用栈
很多人误以为“谁调用了我,我就往谁的作用域里找”,这是错的。作用域链由函数**定义的位置**决定,跟调用位置无关。
- 例如:内层函数被返回后,在别处调用,它仍沿定义时的外层链查找
- 这就是为什么
setTimeout里的回调能访问外层变量,哪怕外层函数早已执行完毕 - 而“动态作用域”(如某些 shell 或 Lisp 变体)才按调用链找,JS 不是
基本上就这些。理解作用域链的关键,是抓住“定义时绑定”和“单向向上查找”两个核心。不复杂,但容易忽略细节。











