1. 什么是变量对象

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

  1. 变量对象(Variable object,VO)
  2. 作用域链(Scope chain)
  3. this

变量对象是与执行上下文相关的数据作用域，存储了在上下文中定义的变量和函数声明。不同执行上下文的变量对象稍有不同。

首先：全局上下文中的变量对象就是全局对象。

2. 函数上下文

在函数上下文中，用活动对象(activation object,AO)表示变量对象。
活动对象和变量对象其实是一个东西，只不过进入一个执行上下文中，需要激活他的变量对象，才能被访问，而被激活的变量对象就是活动对象。

3. 函数执行过程

执行上下文的代码会分成两个阶段处理：

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

3.1 进入执行上下文

进入执行上下文时，代码还未执行，
变量对象会包括：

  1. 函数的所有形参(如果是函数上下文)
  • 由名称和对应值组成的一个变量对象的属性被创建
  • 没有实参，属性值设为undefined
  1. 函数声明
  • 由名称和对应值(函数对象function-object)组成一个变量对象的属性被创建
  • 如果变量对象已经存在相同名称的属性，则完全替换这个属性
  1. 变量声明
  • 由名称和对应值(undefined)组成一个变量对象的属性被创建；
  • 如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
//函数
function foo(a) {
  var b = 2;
  function c() {}
  var d = function() {};

  b = 3;

}

foo(1);

//AO
AO = {
    arguments: {
        0: 1,
        length: 1
    },
    a: 1, //a为形参1
    b: undefined, //b被声明，还未被初始化
    c: reference to function c(){},  //函数被提前声明
    d: undefined //d被声明，还未被初始化
}

3.2 代码执行

代码执行阶段会顺序执行代码，根据代码，修改变量对象的值

1
2
3
4
5
6
7
8
9
10
11
12
//执行完代码后
//AO
AO = {
    arguments: {
        0: 1,
        length: 1
    },
    a: 1,
    b: 3, //b被初始化赋值
    c: reference to function c(){},
    d: reference to FunctionExpression "d" //d被初始化赋值
}

4. 小结

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

进入执行上下文时，首先会处理函数声明，其次会处理变量声明，如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性。