在上文《词法作用域和执行上下文》中提及，当 JavaScript 代码执行一段可执行代码时，会创建对应的执行上下文。
对于每个执行上下文，都有三个重要属性：

  • 变量对象（Variable object, VO）
  • 作用域链
  • this

本文重点讲讲创建变量对象的过程。

变量对象

变量对象是与执行上下文相关的数据作用域，存储了在上下文中定义的变量和函数声明。
因为不同执行上下文的变量对象稍有不同，所以我们分别来聊聊全局上下文和函数上下文的变量对象。

全局上下文

在w3school中介绍了一个概念：全局对象

全局对象是预定义的对象，作为 JavaScript 的全局函数和全局属性的占位符。通过使用全局对象，可以访问所有其他所有预定义的对象、函数和属性。 在顶层 JavaScript 代码中，可以用关键字 this 引用全局对象。因为全局对象是作用域链的头，这意味着所有非限定性的变量和函数名都会作为该对象的属性来查询。 例如，当JavaScript 代码引用 parseInt() 函数时，它引用的是全局对象的 parseInt 属性。全局对象是作用域链的头，还意味着在顶层 JavaScript 代码中声明的所有变量都将成为全局对象的属性。

下面容我举个例子来进一步理解：

  1. console.log(this instanceof Object); // true
  3. var a = 1;
  4. console.log(window.a);  // 1
  6. this.window.b = 2;
  7. console.log(this.b);  // 2

相信看了上面的例子，大家都有所了解了。说了这么多，其实就想表达一件事：
全局上下文中的变量对象就是全局对象。

函数上下文

在函数上下文中，我们用活动对象(activation object, AO)来表示变量对象。
活动对象和变量对象其实是一个东西，只是变量对象是规范上的或者说是引擎实现上的，不可在 JavaScript 环境中访问，只有到当进入一个执行上下文中，这个执行上下文的变量对象才会被激活，所以才叫 activation object ，而只有被激活的变量对象，也就是活动对象上的各种属性才能被访问。
也就是说，未进入执行阶段之前，变量对象(VO)中的属性都不能访问！但是进入执行阶段之后，变量对象(VO)转变为了活动对象(AO)，里面的属性都能被访问了，然后开始进行执行阶段的操作。
它们其实都是同一个对象，只是处于执行上下文的不同生命周期。
活动对象是在进入函数上下文时刻被创建的，它通过函数的 arguments 属性初始化。arguments 属性值是 Arguments 对象。

执行过程

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

  1. 进入执行上下文

  2. 代码执行

    进入执行上下文

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

  3. 函数的所有形参 (如果是函数上下文)

    • 由名称和对应值组成的一个变量对象的属性被创建
    • 没有实参，属性值设为 undefined
  4. 函数声明
    • 由名称和对应值（函数对象(function-object)）组成一个变量对象的属性被创建
    • 如果变量对象已经存在相同名称的属性，则完全替换这个属性
  5. 变量声明
    • 由名称和对应值（undefined）组成一个变量对象的属性被创建；
    • 如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性

举个例子：

  1. function foo(a) {
  2.   var b = 2;
  3.   function c() {}
  4.   var d = function() {};
  6.   b = 3;
  8. }
  10. foo(1);

在进入执行上下文，这时候的 AO 是：

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

代码执行

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

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

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

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

其实在函数上下文中，对于函数、变量声明来说，主要去分辨创建、初始化两个过程。
这也是变量提升、函数提升的一个关键点。若有兴趣可查看《变量提升》一文。