JavaScript 的作用域链

当JavaScript代码执行一段可执行代码( executable code )时,会创建对应的执行上下文(execution context )。

在运行代码过程中,JavaScript 引擎查找变量的时候,会先从当前的函数的变量对象中查找,如果没有找到,就会从父级(词法层面上的父级)执行上下文的变量对象中查找,一直找到全局上下文的变量对象,也就是全局对象。这样由多个执行上下文的变量对象构成的链表就叫做作用域链。

函数创建阶段

在《JavaScript深入之词法作用域》中讲到,函数的作用域在函数定义的时候就决定了。

这是因为函数有一个内部属性 [[scope]],当函数创建的时候,就会保存所有父变量对象到其中,我们可以理解 [[scope]]就是所有父变量对象的层级链,但是注意:此时的[[scope]]并不代表完整的作用域链!

🌰 来分析一个例子,代码如下:

function foo() {function bar() {
    ...
  }
}

函数在创建时,各自的[[scope]]

foo.[[scope]] = [
  globalContext.VO
];

// 执行到 foo 时 bar 才会被创建
bar.[[scope]] = [
    fooContext.AO,
    globalContext.VO
];

函数调用阶段

当函数调用时,进入函数上下文,创建 VO/AO 后,就会将活动对象添加到作用链的前端。 这时候执行上下文的作用域链,我们命名为 Scope:

Scope = [AO].concat([[Scope]]);

至此,作用域链才创建完毕。