JS(八)预编译执行过程

写在最前面

JS运行三部曲

• 第一步：语法分析
• 第二部：预编译
• 第三部：解释执行

预编译

语法分析也叫语义分析，语法分析他是通篇执行的一个过程，比如我写了好多行代码，这些代码在执行的时候他是解释一行执行一行，但是在执行之前系统执行的第一步它会扫描一遍，看看有没有低级的语法错误，比如少些个括号，带个中文之类的，它会通篇扫描一遍，但是不执行，这个通篇扫描的过程叫语法分析，通篇扫描之后它会预编译，然后在解释一行执行一行，也就是解释执行

预编译前奏

• imply global 暗示全局变量: 即任何变量,如果变量未经声明就赋值,自变量就位全局对象所有
  • eg : a = 123;
  • eg : var a = b = 123;
• 一切声明的全局变量,全是window的属性
  • eg:var a = 123;===> window.a = 123;

//例子:
    function test (){
        console.log("a");
    }
    
    test();//成功打印出a,
    
    
    
    box();//写在方法之前也成功打印出a,为什么能执行就是有预编译的过程
    function box (){
        console.log("a");
    }
    
    var a =123;
    console.log(a);//输出123
    
    
    console.log(a);//输出undefined,不报错;
    var a = 123;
    
    //但是如果直接打印会报错;
    console.log(b)//报错
    //也是预编译的效果
    
    //如果想偷懒记住两句话
    //函数声明整体提升
    //变量 声明提升
    
    


    

解释一下函数声明正题提升: 如果你写一个函数声明,不管你写到哪里,系统总会把这个函数提到逻辑的最前面,所以你不管在哪里调用,在上面调用也好,下面调用也罢,本质上他都是在函数的下面调用,他会把函数声明永远给你提升到逻辑的最前面

变量 声明提升比如

var a = 123;
//实际上他是两部
var a;//先声明变量
    a = 123;//在变量赋值

所以系统提升的变量 而不是变量带着值一起提升,所以在例子中a是打印出undefined;

注意,这两句话不是万能的

比如

function a(a){
    var a = 123;
    var a = function(){
        
    }
    a();
}

var a = 123;

这个就不是那两句话可以解决的

在解释上面的之前,要先用弄什么是impiy global

• imply globa:暗示全局变量: 即任何变量,如果变量未经声明就赋值,自变量就位全局对象所有
  • eg : a = 123;
  • eg : var a = b = 123;

a = 10;
console.log(a);//打印10
然后在window属性上有了a
window.a//10

var b = 20;
//你声明了window也有b

window就是全局的域

预编译正式

• 创建AO对象
• 找形参和变量声明,将变量和形参名作为AO属性名,值为undefined
• 将实参值和形参统一
• 在函数体里面找函数声明,值赋予函数体

function fn (a){
    console.log(a);
    
    var a = 123;
    console.log(a);
    
    function a (){};
    console.log(a);
    
    var b = function (){
        
    }
    console.log(b);
        
}

fn(1);

这个例子,参数,变量,函数名字都叫a,首先可以确定的是肯定会发生一个覆盖的现象,这样子就很矛盾前面说了函数的预编译执行在函数执行的前一刻,可以这样子说,预编译就把这些矛盾给调和了.

首先预编译的

第一步 : 创建了一个AO对象,全称是Activation object 也就是作用域,也叫执行期上下文

AO{
    
}

第二步 : 找形参和变量声明,将变量和形参名作为AO属性名,值为undefined

AO{
    a : undefined
    b : undefined
}

第三步 : 将实参值和形参统一

AO{
    a : 1;
    b : undefined
}

第四步 : 在函数体里面找函数声明,值赋予函数体

AO{
    a : 1,
    b : undefined,
    //b是是函数表达式,不是函数声明,所以不变
    //然后有a了 有b了,然后将这个函数声明的名作为AO对象挂起来
    d : 
}

//然后值赋予函数体,也就是把a和b的属性值,变成函数体
//覆盖掉a 和b的的属性值
//也就变成下面的
//因为第四步的优先级最高
AO{
    a : function a () {}
    b : undefined,
    //b是是函数表达式,不是函数声明,所以不变
    d : function d () {}
}

至此预编译过程结束,开始执行代码,执行函数

然后我们在看上面的例子

//预编译结果
AO{
    a : function a () {}
    b : undefined,
    d : function d () {}
}
//开始执行代码
function fn (a){
    //第一步开始打印a
    //根据上面预编译的结果,
    //所以打印结果是function a () {}
    console.log(a);
    
    //第二步执行 var a = 123;
    //因为在预编译的第二步里面,变量已经提升了
    //所以第二步只执行的赋值
    //a = 123;去AO对象里面去找a
    //也就变成
    //AO{
        //a : 123   这个才是a的存储值
        //b : undefined,
        //d : function d () {}
    //}
    var a = 123;
    //所以打印出123
    console.log(a);
    //因为这句在话在预编译的时候系统已经看了
    //所以不在看这句话
    function a (){};
    //所以下面的console.log(a)
    //还是打印123;
    console.log(a);
    //一样下面的var b这句话在预编译的时候已经看了,所以不在看
    //AO{
        //a : 123   
        //所以b的值变成function(){}
        //b : function(){}
        //d : function d () {}
    //}
    var b = function (){
        
    }
    //所以打印出function(){}
    console.log(b);
        
}

fn(1);

我们在看个例子

function test(a , b){
    console.log(a);
    c = 0;
    var c;
    a = 3;
    b = 2;
    console.log(b);
    function b () {}
    console.log(b);
}

//这下我们就很快的得出打印的东西
//a-->1
//b-->2
//b-->2

预编译不只会在函数体里面,也会发生在全局里面

全局里面的第一步是先生成GO Global Object,其他一样

GO === window

那么问题来了是GO先还是AO先

答案是先执行GO