JavaScript 详解预编译原理

JavaScript 预编译原理

今天用了大量时间复习了作用域、预编译等等知识

看了很多博文，翻开了以前看过的书（好像好多书都不会讲预编译）

发现当初觉得自己学的很明白，其实还是存在一些思维误区 （很多博文具有误导性）

今晚就整理了一下凌乱的思路

先整理一下预编译的知识吧，日后有时间再把作用域详细讲解一下

大家要明白，这个预编译和传统的编译是不一样的（可以理解js预编译为特殊的编译过程）

JavaScript是解释型语言，

既然是解释型语言，就是编译一行，执行一行

传统的编译会经历很多步骤，分词、解析、代码生成什么的

日后有时间再给大家科普

下面就给大家分享一下我所理解的JS预编译

JavaScript运行三部曲

脚本执行js引擎都做了什么呢？

• 语法分析
• 预编译
• 解释执行

在执行代码前，还有两个步骤

语法分析很简单，就是引擎检查你的代码有没有什么低级的语法错误

解释执行顾名思义便是执行代码了

预编译简单理解就是在内存中开辟一些空间，存放一些变量与函数

理解了预编译对大家理解作用域同样有帮助

JS预编译什么时候发生

我当初思维误区也发生在这里

预编译到底什么时候发生

希望大家不要让上面的运行过程让你产生误会，

误以为预编译仅仅发生在script内代码块执行前

这倒并没有错

预编译确确实实在script代码内执行前发生了

但是它大部分会发生在函数执行前

JS预编译实例

举例前，先来思考一下这几个概念：

• 变量声明 var…
• 函数声明 function…

<script>
  var a = 1;// 变量声明
  function b(y){//函数声明
    var x = 1;
    console.log('so easy');
  };
  var c = function(){//是变量声明而不是函数声明！！
    //...
  }
  b(100);
</script>
<script>
  var d = 0;
</script>

让我们看看引擎对这段代码做了什么吧

1.页面产生便创建了GO全局对象（Global Object）（也就是大家熟悉的window对象）

2.第一个脚本文件加载

3.脚本加载完毕后，分析语法是否合法

4.开始预编译

查找变量声明，作为GO属性，值赋予undefined
查找函数声明，作为GO属性，值赋予函数体

//伪代码
GO/window = {
  //页面加载创建GO同时，创建了document、navigator、screen等等属性，此处省略
  a: undefined,
  c: undefined，
  b: function(y){
    var x = 1;
    console.log('so easy');
  }
}

解释执行代码（直到执行函数b）

//伪代码
GO/window = {
  //变量随着执行流得到初始化
  a: 1,
  c: function(){
    //...
  },
  b: function(y){
    var x = 1;
    console.log('so easy');
  }
}

执行函数b之前，发生预编译

• 创建AO活动对象（Active Object）
• 查找形参和变量声明，值赋予undefined
• 实参值赋给形参
• 查找函数声明，值赋予函数体

//伪代码
AO = {
  //创建AO同时，创建了arguments等等属性，此处省略
  y: 100,
  x: undefined
}

解释执行函数中代码

第一个脚本文件执行完毕，加载第二个脚本文件

第二个脚本文件加载完毕后，进行语法分析

语法分析完毕，开始预编译

重复最开始的预编译步骤……

大家要注意，

预编译阶段发生变量声明和函数声明，没有初始化行为（赋值），匿名函数不参与预编译

只有在解释执行阶段才会进行变量初始化

嗯~最后收一下尾

总结

预编译(函数执行前)※

1. 创建AO对象（Active Object）
2. 查找函数形参及函数内变量声明，形参名及变量名作为AO对象的属性，值为undefined
3. 实参形参相统一，实参值赋给形参
4. 查找函数声明，函数名作为AO对象的属性，值为函数引用

预编译(脚本代码块script执行前)

1. 查找全局变量声明（包括隐式全局变量声明，省略var声明），变量名作全局对象的属性，值为undefined
3. 查找函数声明，函数名作为全局对象的属性，值为函数引用

理解了预编译对理解提升行为，this指向，作用域及性能等问题都有很大帮助

感谢阅读，希望能帮助到大家，谢谢大家对本站的支持！