JS的解析与执行过程—全局预处理阶段之全局词法环境对象

问题：有如下代码

 var a = 1;
 function pop() {
     alert(a);
     var a = 5;
 }
 pop();//执行结果，弹出undefined

这段代码的执行结果为undefined,为什么呢？

JS的解析与执行并不是读一行，处理一行，读一行，处理一行这样进行的，而是分为两个阶段：

1、预处理阶段；

2、执行阶段；

然后分别以全局和函数内部的局部代码而言：

1、全局预处理

在解析JS代码的时候，首先会创建一个全局LexicalEnviroment{ }(词法环境)对象

接下来扫描JS代码里面的两个部分：

a、用声明的方式创建的函数；

b、用var定义的变量；

扫面完毕后将这些变量及函数添加到全局的词法环境对象里面去；

 LexicalEnviroment: {
     a: undefined,
     b: undefined,
     test: 对函数的一个引用
 }

 //用声明的方式创建的函数
 function test(params) {

 }
 //用函数表达式创建的函数
 var test1 = function(params) {

 }
 //用var定义的变量
 var a = 5;
 var b;
 //其他变量
 c = 6;

定义一个声明函数和一个函数表达式来证明这一点，代码如下：

 f();
 g();

 function f() {
     console.log("ff");
 }
 var g = function() {
     console.log("gg");
 }

得到如下结果：

 ff
 e:\Code\JavaScript\day03\test2.js:2
 g();
 ^

 TypeError: g is not a function

函数f被正常执行，而函数g报错了

因为在预处理阶段，函数f的引用被放在LexicalEnviroment对象中了，而g没有，所以在调用时函数g()并不存在，所以报错。

改一下位置，这样就对了

 f();
 var g = function() {
     console.log("gg");
 }
 g();

 function f() {
     console.log("ff");
 }

这点在var定义变量上的体现：

 console.log(a);
 console.log(b);

 var a = 5;
 b = 6;

这段代码的执行结果如下：

 undefined
 e:\Code\JavaScript\day03\test3.js:2
 console.log(b);
             ^

 ReferenceError: b is not defined

可见，如上所说，以var方式定义的a被添加到全局LexicalEnviroment{ }(词法环境)对象中了，其值为undefined，而直接定义的b此时不存在，所以报错。

这就是全局预处理阶段的过程。

声明：

关于全局的词法环境对象LexicalEnviroment，在浏览器中就约等于window对象，该对象是属于JS解析器的东西，在不同的地方叫法不同，比如在Node中称为Execute Context(运行上下文对象)或许更合适一点，在ECMA -262标准中有其解释，但我们无需关心其具体含义，只是有这个概念便可。