#概念

JavaScript 代码执行一段可执行代码(executable code)时，会创建对应的执行上下文(execution context)。
对于每个执行上下文，都有三个重要属性：

变量对象(Variable object，VO)
作用域链(Scope chain)
this

#变量对象

变量对象是与执行上下文相关的数据作用域，存储了在上下文中定义的变量和函数声明。主要可分为两大类：

全局上下文下的变量对象
函数上下文下的变量对象

#作用域

作用域是指程序源代码中定义、存储变量的区域，不仅如此，作用域还规定了如何查找变量，相当是确定当前执行代码对变量的访问权限。

须知，JavaScript 采用词法作用域(lexical scoping)，俗称“静态作用域”。函数的作用域在函数定义的时候就决定了。与之相对，就是动态作用域——函数的作用域是在函数调用的时候才决定的。

var value = 1;

function foo() {
    console.log(value);
}

function bar() {
    var value = 2;
    foo();
}

bar();

// 结果是: 1
// 原因是：虽然foo()在bar()当中调用，由于JS采用静态作用域，foo()的作用域在函数定义的时候，已经确定在window作用域下。

#全局上下文下的变量对象

在客户端 JavaScript 中，全局上下文中的变量对象就是全局对象，全局对象就是 Window 对象。
全局对象是由 Object 构造函数实例化的一个对象。而且，全局对象里面还预定义了一大堆函数和属性。

#函数上下文下的变量对象

在函数上下文中，我们用活动对象(activation object, AO)来表示变量对象。

虽然，活动对象和变量对象是一个东西，但是，变量对象是规范上的或者说是引擎实现上的，不可在 JavaScript 环境中访问，只有到当进入一个执行上下文中，这个执行上下文的变量对象才会被激活，此时，活动对象上的各种属性才能被访问。所以说，活动对象(activation object, AO)是被激活的变量对象。

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

当进入执行上下文时，这时候还没有执行代码，
- 首先，创建活动对象AO
- 然后，函数的形参与实参进行匹配，若是没有实参，属性值设为 undefined。
- 紧接着，函数声明，如果变量对象已经存在相同名称的属性，则完全替换这个属性
- 最后，变量声明，如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性。分析完毕，准备执行代码。

function foo(a) {
  var b = 2;
  function c() {}
  var d = function() {};
  b = 3;
}
foo(1);


在进入执行上下文后，这时候的 AO 是：
AO = {
    arguments: {
        0: 1,  // 第一个参数的值
        length: 1,
        ……
    },
    a: 1,// 申明形式参数名称，并拿着arguments里面的参数赋值
    b: undefined,
    c: reference to function c(){},
    d: undefined
}

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

function foo(a) {
  var b = 2;
  function c() {}
  var d = function() {};
  b = 3;
}
foo(1);


代码执行后，这时候的 AO 是：
AO = {
    arguments: {
        0: 1,
        length: 1
    },
    a: 1,
    b: 3,
    c: reference to function c(){},
    d: reference to FunctionExpression "d"
}