正如我们了解的一样，当我们书写了JS程序之后，打开浏览器，我们的代码就可以开始运行了（当然保证你的代码没有问题，才能按照你的预期进行执行）。刚才说的是JS执行的一个大的环境，今天我们学习一下，JS在解析器里的一个执行过程。
这个过程分为两个阶段：
- 进入执行上下文
- 执行代码
变量对象的变化，和这两个阶段息息相关。
在介绍这两个阶段之前，了解相关的概念。
如果变量和执行上下文相关，那么它应该知道在哪里存储数据和怎么访问数据，这种机制叫做变量对象(variable
object，简称VO)。用于存储下列数据：
- 变量声明
- 函数声明（这个地方需要和函数表达式作区分）
- 函数参数
第一个阶段：进入执行上下文。此时VO将会被下面的属性初始化（按照下面的顺序进行初始化）：
- 函数参数：VO的一个属性，这个属性是有形参名称和值组成，如果没有传递实参，那就是形参的名称和undefined。
- 函数声明：是由函数的名称和值组成，如果VO中存在该属性值，则替换这个属性。
- 变量声明：由变量名称和undefined组成，如果变量名和VO有的函数参数或函数声明相同，则变量声明不会干扰已存在属性。
VO的使用环境有：GlobalContext和FunctionContext。
来一个例子：
|
1
2
3
4
5
6
7
|
function
test(a, b) {
var
c = 20;
function
d(){}
var
e = function
_e(){};
(function
x(){});
}test(30); |
当进入执行环境，VO如下：
|
1
2
3
4
5
6
7
|
VO (test FunctionContext) = { a: 30,
b: undefined,
d: <reference to FunctionDeclaration "d">,
c: undeifined,
e: undefined
}
|
注：其中x
、_e都是函数表达式，_e通过变量声明e进行访问。
接下来就会进入下一个阶段，执行代码阶段：
以上面的例子来说，会经历下面的过程：
|
1
2
|
VO[‘c‘] = 20;
VO[‘e‘] = <reference to FunctionDeclaration "_e">;
|
这样代码就执行完了。
再来一个经典的例子：
|
1
2
3
4
5
|
alert(x); //function
var
x = 10;
x = 20;function
x() {}
alert(x); //20
|
为什么第一个是function，而不是undeofined或者是not defined或者10、20？因为，根据规范 —
当进入上下文时，往VO里填入函数声明；在相同的阶段，还有一个变量声明“x”，那么正如我们在上一个阶段所说，变量声明在顺序上跟在函数声明和形式参数声明之后，而且，在这个阶段，变量声明不会干扰VO中已经存在的同名函数声明或形式参数声明，因此，在进入上下文时，VO的结构如下：
|
1
2
3
|
VO = {}VO[‘x‘] = <reference to FunctionDeclaration "x">;
VO[‘x‘] = <the value is not disturbed, still function>
|
在代码执行阶段：
|
1
2
|
V[‘x‘] = 10;
V[‘x‘] = 20;
|
了解了这个过程，我相信对JS执行过程会有一个全新的理解。
留一个小小的问题（猜想一下输出结果）：
|
1
2
3
4
5
6
7
8
|
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/