JavaScript 作用域链

作用域链

JavaScript 执行一段可执行代码时,会创建对应的执行上下文。对于每个执行上下文,都有三个重要的属性:

  • 变量对象
  • 作用域链
  • this

当查找变量的时候,会从当前上下文的变量对象中查找,如果没有找到就会从腹肌执行上下文的变量对象中查找,直到找到全局上下文的变量对象,也就是全局对象。这样由多个执行上下文的变量对象构成的链表就叫做作用域链。

函数的作用域在函数定义的时候就决定了。

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

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

// 函数创建时,各自的 [[scope]] 为:
foo.[[scope]] = [
  globalContext.VO
]

bar.[[scope]] = [
  fooContext.AO,
  globalContext.VO
]

但函数激活时,进入函数上下文,创建 VO/AO 层,就会将活动对象添加到作用域链前端。

这时候执行上下文的作用域链,我们命名为 Scope:

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

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

总结,函数执行上下文中作用域链和变量对象的创建过程。

  1. A 函数被创建,保存作用域链到 内部属性 [[scope]]
  2. 执行 A 函数,创建 A 函数执行上下文,A 函数执行上下文被压入执行上下文栈。
  3. A 函数并非立刻执行,开始做准备工作
  • 第一步,复制函数 [[scope]] 属性创建作用域链
  • 第二步,用 arguments 创建活动对象,随后初始化活动对象,加入形参、函数声明、变量声明
  • 第三步,将活动对象压入 A 作用域链顶端
  1. 准备完毕,开始执行函数,随着函数的执行,修改 AO 的属性值
  2. A 函数执行完毕,函数上下文从执行上下文栈中弹出。