JavaScript——词法分析

词法分析

JavaScript中每一个函数在执行时都有自己的环境，执行时会创建一个 变量对象 的 作用域链 ，有了作用域链，我们就能对函数中的变量进行有序的访问，在函数中，活动对象 就是其变量对象，活动对象在执行时被创建，活动对象在一开始就包含有一个变量，即 arguments 对象。
在每一段函数执行的时候也会存在一个过程，就像 声明提前 一样，这样的过程被称为 词法分析，了解词法分析，对分析函数中的变量有很大的帮助。

当一个函数在执行时都会经历两个过程： 词法分析 和 执行过程 。

分析步骤

词法分析分为三步:
1. 分析函数参数
2. 分析变量声明
3. 分析函数声明

具体步骤：
1.函数运行前的一瞬间，生成 AO (Active Object 活动对象)；
2.分析函数参数
    2.1 函数声明的参数，形成AO的属性，参数的值即属性的值；
    2.2 接收实参，形成AO相应的属性值
3.分析变量声明，如 var xxx
    3.1.如果AO上还没有 xxx 属性，则添加AO属性, 值是undefined
    3.2.如果AO上己经有 xxx 属性，则不做任何影响
4.分析函数声明：如 function foo(){},
    4.1.把函数赋值给 AO.foo 属性
    4.2.如果此前 foo 属性已存在，则覆盖之前的

样例

样例1

function t5(greet){
    var greet ='hello';
    alert(greet);
    function greet(){
    }
   alert(greet);
}
t5(null);

词法分析过程：
1.形成活动对象：AO={};
2.分析函数参数
    2.1分析参数：AO ={greet:undefined};
    2.2接收参数：AO={greet:null};
3.分析greet变量声明，AO已经有greet属性，因此不做任何影响 AO={greet:null}；
4.分析greet函数声明，被覆盖成函数,AO.greet = function() {}

执行过程：

   greet = 'hello';
   alert(greet); 
   //hello
   alert(greet);
   //hello

//虽然在词法分析阶段， greet 被覆盖成函数，但是在执行过程中，给 greet 赋了新值
//greet = 'hello';
//函数是对象，函数名仅仅是一个指向函数对象的指针。
//所以函数名与包含对象指针的其他变量一样，不会与某个函数绑定。

样例2

function a(b){
    alert(b);
    function b(){
        alert(b);
    }
    b();
}
a(1);

词法分析过程：
1.形成活动对象：AO={};
2.分析函数参数
     2.1分析参数 AO = {b:undefined};
     2.2接收参数 AO = {b:1};
3.分析var声明，此函数没有var
4.分析函数声明, AO = {b:function(){}}

执行过程：

   1.alert(b); 
   //function b(){
   //    alert(b);
   //}

   2.b();        //在作用域寻找b，即a函数中的 b:function()  
   //function b(){
   //    alert(b);
   //}

样例3

function a(b){
   alert(b);
   b = function(){
        alert(b);
   }
   b();
}
a(1);

词法分析过程：
1.形成活动对象：AO={};
2.分析函数参数
    2.1分析参数 AO = {b:undefined}
    2.2接收参数 AO = {b:1};
3.分析var声明，此函数没有var
4.分析函数声明，没有函数声明；（函数表达式不是函数声明）

执行过程：

   1.alert(b); 
     //1
   2.b = function(){     //赋值语句
     alert(b);
   }
   3.b(); 
     // function(){
     //    alert(b);
     // }

函数表达式不是函数声明，只是一个赋值语句，赋值语句在执行的时候才会赋值。
 b = function(){
        alert(b);
    }
给 b 赋了新值，b 变成了一个指向函数的指针。