你了解JS执行过程吗？

    正如我们了解的一样，当我们书写了JS程序之后，打开浏览器，我们的代码就可以开始运行了（当然保证你的代码没有问题，才能按照你的预期进行执行）。刚才说的是JS执行的一个大的环境，今天我们学习一下，JS在解析器里的一个执行过程。

 

    这个过程分为两个阶段：

• 进入执行上下文
• 执行代码

    变量对象的变化，和这两个阶段息息相关。

 

    在介绍这两个阶段之前，了解相关的概念。

    如果变量和执行上下文相关，那么它应该知道在哪里存储数据和怎么访问数据，这种机制叫做变量对象(variable object，简称VO)。用于存储下列数据：

• 变量声明
• 函数声明（这个地方需要和函数表达式作区分）
• 函数参数

 

    第一个阶段：进入执行上下文。此时VO将会被下面的属性初始化（按照下面的顺序进行初始化）：

• 函数参数：VO的一个属性，这个属性是有形参名称和值组成，如果没有传递实参，那就是形参的名称和undefined。
• 函数声明：是由函数的名称和值组成，如果VO中存在该属性值，则替换这个属性。
• 变量声明：由变量名称和undefined组成，如果变量名和VO有的函数参数或函数声明相同，则变量声明不会干扰已存在属性。

    VO的使用环境有：GlobalContext和FunctionContext。    

 

    来一个例子：

function test(a, b) {
      var c = 20;
      function d(){}
      var e = function _e(){};
     (function x(){});
}
test(30);

    

    当进入执行环境，VO如下：

 VO (test FunctionContext) = {
        a: 30,
        b: undefined,
        d: <reference to FunctionDeclaration "d">,
        c: undeifined,
        e: undefined
    }

 

    注：其中x 、_e都是函数表达式，_e通过变量声明e进行访问。

 

    接下来就会进入下一个阶段，执行代码阶段：

    以上面的例子来说，会经历下面的过程：

VO['c'] = 20;
VO['e'] = <reference to FunctionDeclaration "_e">;

 

    这样代码就执行完了。

 

    再来一个经典的例子：

alert(x); //function
var x = 10;
x = 20;
function x() {}
alert(x);    //20

 

    为什么第一个是function，而不是undeofined或者是not defined或者10、20？因为，根据规范 — 当进入上下文时，往VO里填入函数声明；在相同的阶段，还有一个变量声明“x”，那么正如我们在上一个阶段所说，变量声明在顺序上跟在函数声明和形式参数声明之后，而且，在这个阶段，变量声明不会干扰VO中已经存在的同名函数声明或形式参数声明，因此，在进入上下文时，VO的结构如下：

VO = {}
VO['x'] = <reference to FunctionDeclaration "x">;
VO['x'] = <the value is not disturbed, still function>

 

在代码执行阶段：

V['x'] = 10;
V['x'] = 20;

　　

    了解了这个过程，我相信对JS执行过程会有一个全新的理解。

 

　　留一个小小的问题（猜想一下输出结果）：

 　

function test(a, b) {
      var c = 20;
      console.log(a);//结果是什么？为什么？
      function a(){}
      var e = function _e(){};
     (function x(){});
}
test(30);

 

参考文献：

http://dmitrysoshnikov.com/ecmascript/chapter-2-variable-object/