前言

对于每个执行上下文，都有三个重要属性：

  • 变量对象(Variable object，VO)：变量对象是与执行上下文相关的数据作用域，存储了在上下文中定义的变量和函数声明。
  • 作用域链(Scope chain)
  • this

全局上下文

全局上下文中的变量对象就是全局对象。
全局对象是个啥？
在 w3cschool 关于全局对象的描述如下

全局对象是预定义的对象，作为 JavaScript 的全局函数和全局属性的占位符。通过使用全局对象，可以访问所有其他所有预定义的对象、函数和属性。全局对象不是任何对象的属性，所以它没有名称。

在顶层 JavaScript 代码中，可以用关键字 this 引用全局对象。但通常不必用这种方式引用全局对象，因为全局对象是作用域链的头，这意味着所有非限定性的变量和函数名都会作为该对象的属性来查询。例如，当 JavaScript 代码引用 parseInt() 函数时，它引用的是全局对象的 parseInt 属性。全局对象是作用域链的头，还意味着在顶层 JavaScript 代码中声明的所有变量都将成为全局对象的属性。

全局对象只是一个对象，而不是类。既没有构造函数，也无法实例化一个新的全局对象。
简单的说，全局对象就是

  1. 可以通过 this 引用，在客户端 JavaScript 中，全局对象就是 Window 对象。
  2. 由 Object 构造函数实例化的一个对象。
  3. 作为全局变量的宿主。
  4. 预定义了一大堆函数和属性。

函数上下文

活动对象是在进入函数上下文时刻被创建的，它通过函数的 arguments 属性初始化。arguments 属性值是 Arguments 对象。

执行过程

执行上下文的代码会分成两个阶段进行处理：分析和执行，我们也可以叫做：

  1. 进入执行上下文
  2. 代码执行

进入执行上下文

当进入执行上下文时，这时候还没有执行代码，
变量对象会包括：

  • 函数的所有形参 (如果是函数上下文)：
    由名称和对应值组成的一个变量对象的属性被创建；
    没有实参，属性值设为 undefined；
  • 函数声明：
    由名称和对应值（函数对象(function-object)）组成一个变量对象的属性被创建；
    如果变量对象已经存在相同名称的属性，则完全替换这个属性；
  • 变量声明：
    由名称和对应值（undefined）组成一个变量对象的属性被创建；
    如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性；
    （在进入执行上下文时，首先会处理函数声明，其次会处理变量声明，如果如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性）
1
2
3
4
5
6
7
8
9
10
function foo(a) {
  var b = 2;
  function c() {}
  var d = function() {};

  b = 3;

}

foo(1);

进出执行上下文，这时候的 AO 为：

1
2
3
4
5
6
7
8
9
10
AO = {
    arguments: {
        0: 1,
        length: 1
    },
    a: 1,    //形参
    b: undefined,    //变量声明
    c: reference to function c(){},  //函数声明
    d: undefined     //函数变量声明
}

代码执行

在代码执行阶段，会顺序执行代码，根据代码，修改变量对象的值
还是上面的例子，当代码执行完后，这时候的 AO 是：

1
2
3
4
5
6
7
8
9
10
AO = {
    arguments: {
        0: 1,
        length: 1
    },
    a: 1,
    b: 3,
    c: reference to function c(){},
    d: reference to FunctionExpression "d"
}

结语

到这里变量对象的创建过程就介绍完了，总结我们上述所说：

  • 全局上下文的变量对象初始化是全局对象
  • 函数上下文的变量对象初始化只包括 Arguments 对象
  • 在进入执行上下文时会给变量对象添加形参、函数声明、变量声明等初始的属性值
  • 在代码执行阶段，会再次修改变量对象的属性值