执行上下文

• 可执行代码

  avaScript中可执行代码(executable code)分为三种：全局代码，函数代码和eval代码。 可执行代码与执行上下文的概念是相对的，在某些语义下，可执行代码与执行上下文是等价的。

• 执行上下文

  执行上下文(Execution Context，EC)，也称执行环境，每当控制器执行到可执行代码的时，就会进入到一个执行上下文。 执行上下文可以理解为可执行代码的"运行环境"，分为三种：

    全局环境：当一段程序开始执行时，会首先进入全局执行文环境，浏览器中是window对象，只有没有关闭浏览器，一直存在。函数环境：每当函数被调用执行时，就会进入一个新的上下文环境。(函数递归调用也会进入)eval环境：eval函数调用的时候产生的执行上下文。
  复制代码

  执行上下文也可以抽象理解为一个对象，这个对象都有三个属性：

    变量对象(variable object)、作用域链(scope chain)、this指针(this value)。
  复制代码

  不同执行上下文变量对象略有不同：

    全局上下文中的变量对象就是全局对象，允许通过变量对象的属性名来间接访问。函数上下文中用活动对象来表示变量对象，通过函数的arguments属性初始化。
  复制代码

  执行上下文生命周期分为两个阶段：创建阶段和代码执行阶段

    创建阶段：创建变量对象，建立作用域链，确定this指向代码执行阶段：变量赋值，函数引用，执行其他代码
  复制代码

• 执行上下文栈

JavaScript引擎通过执行上下文栈(Execution Context Stack)来管理执行上下文。

当一个执行上下文(caller)激活了另一个上下文(callee)，这个caller就会暂停它自身的执行，将控制权交给callee，于是callee被压入栈顶，称为当前上下文。当这个callee的上下文结束之后被弹出，然后caller从暂停的地方继续执行。一个callee可以用返回(return)或抛出异常(exception)来结束自身的上下文。
复制代码

ECStack底部永远都是全局上下文(global EC)，而顶部就是当前(激活的)执行上下文(active EC)。

    // demo1var scope = "global scope";function checkscope(){var scope = "local scope";function foo(){return scope;}return foo();}checkscope();// 1.首先向执行上下文栈中压入全局执上下文ECStack = [globalContext];// 2.调用checkscope()，checkscope执行上下文被压入ECStackECStack.push[checkscopeContext] = [checkscopeContext,globalContext];// 3.调用foo()，foo执行上下文被压入ECStackECStack.push[fooContext] = [fooContext,checkscopeContext,globalContext];// 4.foo()执行结束，foo执行上下文被弹出ECStackECStack.pop[fooContext] = [checkscopeContext,globalContext];// 5.checkscope()执行结束，checkscope执行上下文被弹出ECStackECStack.pop[checkscopeContext] = [globalContext];// demo2var scope = "global scope";function checkscope(){var scope = "local scope";function foo(){return scope;}return foo;}checkscope()();// 1.首先向执行上下文栈中压入全局执上下文ECStack = [globalContext];// 2.调用checkscope()，checkscope执行上下文被压入ECStackECStack.push[checkscopeContext] = [checkscopeContext,globalContext];// 3.checkscope()执行结束后返回foo函数体，checkscope执行上下文被弹出ECStackECStack.pop[checkscopeContext] = [globalContext];// 4.foo函数体被返回后调用执行，foo执行上下文被压入ECStackECStack.push[fooContext] = [fooContext,globalContext];// 5.foo()执行结束，foo执行上下文被弹出ECStackECStack.pop[fooContext] = [globalContext];
复制代码

变量对象

变量对象(variable object，VO)是与执行上下文相关的数据作用域，用于存储定义在上下文中的变量和函数声明。 函数表达式不包含在变量对象中。

    var num = 10; // 变量声明function fun() {} // 函数声明, FD(function bar() {}); // 函数表达式, FEconsole.log(this.num === num, // truewindow.fun === fun // true);console.log(bar); //  "bar" is not defined// globalContext.VO = {fun: <fun reference>, // 函数fun的引用地址num: undefined   // 变量num，赋值为undefined}
复制代码

在全局上下文中，变量对象就是全局对象(在浏览器中是window对象)，允许通过全局对象的属性名来访问全局变量。 在函数执行上下文中，用活动对象(active object，AO)来表示变量对象，AO不能直接访问。 活动对象除了变量和函数声明，还存储了形参和arguments对象。 arguments对象是对形参的一个映射，但是值是通过索引来获取(类数组)。

    function foo(x, y) {var z = 30;function bar() {} // FD(function baz() {}); // FE}foo(10, 20);//fooContext.AO = {arguments: {0: 10,1: 20,length: 2},bar: <bar reference>,x: 10,y: 20,z: 30}
复制代码

在进入执行环境时，变量对象会进行如下初始化：

（1）arguments对象，对象中的值被赋予具体的实参值。
（2）函数的形参：创建一个属性，其属性名为形参名，其值为实参的值；对于没有传递的参数，其值为undefined。
（3）函数声明：创建一个属性，其属性名和值都是函数对象创建出来的，其值为指向某个函数对象的引用；如果该函数名的属性已存在，则该属性会被新的引用覆盖。
（4）变量声明：创建一个属性，其属性名即为变量名，其值为undefined。如果变量名与已声明的形参或函数名相同，则会直接跳过，原属性值不会被修改。变量只能使用var关键字声明，不使用var关键字的赋值语句仅仅是给全局对象创建了一个新属性，不是变量。
复制代码

总结：在进入执行上下文的时候（比如进入全局环境或者某个函数被调用），变量对象除了arguments、函数的声明以及参数被赋予了具体的属性值，其它的变量属性默认的都是undefined。在执行到函数内部的具体某个语句的时候，上面所述的值为undefined的变量，其值都会被赋予具体的值。

    function test() {var a = 1;function foo() {return 2;}var bar = function () {return 'hello';};}test();// test()调用时进入该函数执行上下文testContext = [VO: {}, // 创建变量对象Scope: {}, // 建立作用域链this:{} // 确定this指向]// 创建变量对象VO，里面的属性不能被访问AO = {arguments: {length: 0}, // 初始化Arguments对象foo: <foo reference>, // 函数foo的引用地址a: undefined   // 变量a，赋值为undefinedbar: undefined   // 变量bar，值为undefined}// 执行阶段AO = {arguments: {length: 0},foo: <foo reference>,a: 1   // 变量a，赋值该为1bar: <bar reference> // 匿名函数的引用地址赋值给bar}
复制代码

每进入到一个执行环境都会创建一个变量对象，这个对象中记录了在当前执行环境中可以访问到的变量和函数，它们以变量对象的属性形式存在。也就是说这个变量对象成为“作用域”这个抽象概念的实体。

参考资料：

《JavaScript 标准参考教程》

汤姆大叔-深入理解JavaScript系列