JS的预解析机制
想要理解js的解析机制，不妨先了解两个概念：变量声明提升与函数声明提升。
声明提升：函数声明和变量声明总是会被解释器悄悄地被"提升"到方法体的最顶部。
变量声明提升
JavaScript 中，变量可以在使用后声明，也就是变量可以先使用再声明。
以下两个实例将得到同样的结果：
//先使用后声明
x = 5; // 变量 x 设置为 5
elem = document.getElementById("demo"); // 查找元素
elem.innerHTML = x; // 在元素中显示 x
var x; // 声明 x
//先声明后使用
var x; // 声明 x
x = 5; // 变量 x 设置为 5
elem = document.getElementById("demo"); // 查找元素
elem.innerHTML = x; // 在元素中显示 x
但是要注意JavaScript 只有声明的变量会提升，初始化的不会。
实例1：
var x = 8; // 初始化 x
var y = 9; // 初始化 y
elem = document.getElementById("demo"); // 查找元素
elem.innerHTML = x + " " + y; // 显示 x 和
实例2：
var x = 5; // 初始化 x
elem = document.getElementById("demo"); // 查找元素
elem.innerHTML = x + " " + y; // 显示 x 和 y
var y = 7; // 初始化 y
我们可以看到实例 2 的 y 输出了 undefined，这是因为变量声明 (var y) 提升了，但是初始化(y = 7) 并不会提升，所以 y 变量是一个未定义的变量。
函数声明提升
需要注意都是函数声明提升直接把整个函数提到执行环境的最顶端。
a=5;
show();
var a;
function show(){};
预解析
function show(){};
var a;
a=5;
show();
除了以上的函数声明方式外，还可以使用匿名函数的方式。
声明：
var 变量名称=function(形参列表){
//函数体
}
调用：
变量名称(实参列表)
注意：使用匿名函数的方式不存在函数提升，因为函数名称使用变量表示的，只存在变量提升。例：
var getName=function(){
console.log(2);
}
function getName(){
console.log(1);
}
getName();
//结果为2
getName 是一个变量，因此这个变量的声明也将提升到顶部，而变量的赋值依然保留在原来的位置。需要注意的是，函数优先，虽然函数声明和变量声明都会被提升，但是函数会首先被提升，然后才是变量。
//函数、变量声明提升后
function getName(){ //函数声明提升到顶部
console.log(1);
}
var getName; //变量声明提升
getName = function(){ //变量赋值依然保留在原来的位置
console.log(2);
}
getName(); // 最终输出：2
预解析过程
预解析过程也就是创建 AO（Activation Object） 的过程。
创建AO过程：
- 创建 AO 对象。
- 将形参和函数内变量声明作为对象的属性名，属性值统一为 undefined。
- 将实参赋值给形参。
- 找函数内的函数声明作为对象的属性名，属性值为函数体。
接下来以一个例子来解释一下这样一个过程:
1 function jsFun6(){ //函数声明和函数表达式的区别
2
3 test1();//函数声明提升，在执行代码之前会先读取函数声明，不会报错
4 function test1(){//函数声明方式创建函数
5 alert("测试1");
6 }
7
8 //test2();报错，函数还不存在
9 console.log(test2)//不会报错，变量提升只是提升变量的声明，并不会把赋值也提升上来，输出undefined
10 var test2=function(){
11 alert("测试2");
12 };//使用函数表达式创建一个匿名函数(实际是以变量test3命名的函数)
13 test2();//不会报错，以创建函数
14
15 var test3=function(){
16 alert("测试3");
17 }();//加了括号立即执行
18
19 var test4 = 12;// ！注意看，一旦变量被赋值后，将会输出变量
20 //函数提升优先级高于变量提升，所以函数先提升，然后变量提升覆盖之前的函数声明，表
21 //现为变量
22 function test4() {
23 alert("测试4");
24 }
25 console.log(test4); //12
26
27 var test5="test5_1";
28 (function(){
29 //js中的变量搜索顺序：找变量时，先找局部变量，如果没有局部变量；再找全局变量。
30 alert(test5);//此时的test5为局部变量的提升，undefined
31 var test5="test5_2";
32 })();
33
34 }
35 jsFun6();
首先 JS 在执行之前会有一个预编译过程，变量提升和函数提升就是发生在这里，我们按照步骤来分析一下以上代码：
step1
在执行 jsFun6 函数时首先会创建一个 AO 对象（Activetion Object 执行期上下文）。
AO{
}
step2
然后会将形参和变量声明作为 AO 对象的属性名，属性的值为 undefined。
我们可以看到 jsFun6 函数里没有形参，但是有以下变量声明：
第10行的 var test2
第15行的 var test3
第19行的 var test4
第27行的 var test5
所以 AO 对象现在是这样：
AO{
test2：undefined
test3：undefined
test4：undefined
test5：undefined
}
step3
然后会将实参的值传递给形参（当前没有形参所以略过）。
step4
再找到函数声明作为AO的属性名，属性的值为函数声明的函数体（这里就是函数声明提升）。
我们可以看到 jsFun6 函数里有以下的函数声明：
第4行 function test1(){}
第22行 function test4(){}
注意：这里的第 10 行和第 15 行是函数表达式不是函数声明。
所以 AO 对象现在是这样：
AO{
test2：undefined,
test3：undefined,
test4：function test4(){alert("测试4");},
test5：undefined,
test1：function test1(){alert("测试1");}
}
这里需要注意因为之前 AO 对象里已经有 test4 属性了所以 AO 对象里原来由变量声明时得到的 test4 属性会被现在函数声明的 test4 覆盖。
到这里预编译就完成了开始执行。
step5:执行
执行时会先去查找 AO 对象，如果没找到就会去 GO(Global Object)对象里查找(AO 对象相当于局部变量，GO 对象相当于全局变量)。
当执行第 3 行时在 AO 里找到 test1 执行，弹出提示框显示提示信息“测试1”。
第 4 行已经提升了所以可以略过，下面其他的类似行与此相同。
执行第 8 行时, 在 AO 里找到 test2，并作为函数运行，由于 AO 里的 test2 的值是 undefined 所以执行会报错。
第 9 行输出 test2 所以输出的是 undefined。
第 10 行将函数体赋值给 test2，当前 AO 变成：
AO{
test2：function(){alert("测试2");},
test3：undefined,
test4：function test4(){alert("测试4");},
test5：undefined,
test1：function test1(){alert("测试1");}
}
所以第 13 行执行时在 AO 里能找到 test2 并作为函数运行，弹出提示框显示提示信息“测试2”。
第 15 行由于用于赋值的函数体后面加了 () 变成立即执行函数所以函数会立即运行（这里会弹出提示框显示提示信息“测试3”）然后将返回值赋值给 test3，由于函数没有返回值所以是 undefined，也就导致了 AO 里的 test3 的属性值还是 undefined（大家可以在第18行输出一下 test3，会发现还是输出 undefined）。
第 19 行将 12 赋值给 test4，将原来 test4 的属性值覆盖了，AO 对象变为：
AO{
test2：function(){alert("测试2");},
test3：undefined,
test4：12,
test5：undefined,
test1：function test1(){alert("测试1");}
}
所以在第 25 行会输出 12（如果在这里再把 test4 作为函数去运行就会报错）。
第 27 行将 test5_1 赋值给 test5。
第 28 行是立即执行函数，会立即执行。
在执行之前会进行预编译所以这个函数又会创建一个 属于他自己的 AO 对象，为了区分我们将他标识为 AO2。
AO2{
}
然后将形参和变量声明作为 AO 对象的属性名，属性的值为 undefined。
AO2{
test5：undefined
}
然后进行实参形参统一，以及函数声明提升（由于没有所以略过）。
执行第 30 行时在 AO2 里找到了 test5，属性值为 undefined。
所以会弹出提示框显示提示信息 “undefined”。
执行第 31 行是将 test5_2 赋值给 test5。
所以 AO2 变成了：
AO2{
test5：test5_2
}