JS运行三部曲

  • 第一步：语法分析

  • 第二步：预编译

  • 第三步：解释执行

预编译

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

预编译前奏

  • imply global 暗示全局变量: 即任何变量,如果变量未经声明就赋值,自变量就为全局对象所有

    • eg : a = 123；

    • eg : var a = b = 123；

  • 一切声明的全局变量,全是 window 的属性

    • eg: var a = 123; ===> window.a = 123;
  1. //例子:
  2.     function test (){
  3.         console.log("a");
  4.     }
  6.     test();// 成功打印出a,
  10.     box();// 写在方法之前也成功打印出a,为什么能执行就是有预编译的过程
  11.     function box (){
  12.         console.log("a");
  13.     }
  17.     var a =123;
  18.     console.log(a);//输出123
  21.     console.log(a);//输出undefined,不报错;
  22.     var a = 123;
  24.     // 但是如果直接打印会报错;
  25.     console.log(b)//报错
  26.     // 也是预编译的效果
  28.     // 如果想偷懒记住两句话
  29.     // 函数声明整体提升
  30.     // 变量 声明提升

解释一下函数声明整体提升：如果你写一个函数声明，不管你写到哪里，浏览器会把这个函数提到逻辑的最前面，所以你不管在哪里调用，在上面调用也好，下面调用也好，本质上他都是在函数的下面调用，他会把函数声明永远给你提升到逻辑的最前面。

变量 声明提升比如

var a = 123;
//实际上他是两步

var a;    // 第一步是先声明变量
a = 123;// 第二步在变量赋值

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

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

比如

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

    }
    a();
}

var a = 123;

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

在解释上面的之前,要先用弄什么是imply 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对象挂起来
}

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

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

然后我们在看上面的例子

//预编译结果
AO{
    a : function a () {}
    b : undefined,
}
//开始执行代码
function fn (a){
    //第一步开始打印a
    //根据上面预编译的结果,
    //所以打印结果是function a () {}
    console.log(a);

    //第二步执行 var a = 123;
    //因为在预编译的第二步里面,变量已经提升了
    //所以第二步只执行的赋值
    //a = 123;去AO对象里面去找a
    //也就变成
    //AO{
        //a : 123   这个才是a的存储值
        //b : undefined,
    //}
    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(){}
    //}
    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);
}

test(1,4);
//这下我们就很快的得出打印的东西
//a-->1
//b-->2
//b-->2

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

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

GO === window

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

答案是先执行GO

注: 本章节讲述了 ES5 的预编译过程，会在章节后面 ES5 结尾处说上 ES6 的过程，作为对比