JavaScript 详解预编译原理（和其他语言很不一样）

Dear 丶 2021-09-16 23:00 187阅读 0赞

JavaScript 预编译原理  
今天用了大量时间复习了作用域、预编译等等知识  
看了很多博文，翻开了以前看过的书（好像好多书都不会讲预编译）  
发现当初觉得自己学的很明白，其实还是存在一些思维误区 （很多博文具有误导性）  
今晚就整理了一下凌乱的思路  
先整理一下预编译的知识吧，日后有时间再把作用域详细讲解一下  
大家要明白，这个预编译和传统的编译是不一样的（可以理解js预编译为特殊的编译过程）  
JavaScript是解释型语言，  
既然是解释型语言，就是编译一行，执行一行  
传统的编译会经历很多步骤，分词、解析、代码生成什么的  
日后有时间再给大家科普  
下面就给大家分享一下我所理解的JS预编译  
JavaScript运行三部曲  
脚本执行js引擎都做了什么呢？  
语法分析  
预编译  
解释执行  
在执行代码前，还有两个步骤  
语法分析很简单，就是引擎检查你的代码有没有什么低级的语法错误  
解释执行顾名思义便是执行代码了  
预编译简单理解就是在内存中开辟一些空间，存放一些变量与函数  
理解了预编译对大家理解作用域同样有帮助  
JS预编译什么时候发生  
我当初思维误区也发生在这里  
预编译到底什么时候发生  
希望大家不要让上面的运行过程让你产生误会，  
误以为预编译仅仅发生在script内代码块执行前  
这倒并没有错  
预编译确确实实在script代码内执行前发生了  
但是它大部分会发生在函数执行前  
JS预编译实例  
举例前，先来思考一下这几个概念：  
变量声明 var…  
函数声明 function…  
?  
1  
2  
3  
4  
5  
6  
7  
8  
9  
10  
11  
12  
13  
14

让我们看看引擎对这段代码做了什么吧  
1.页面产生便创建了GO全局对象（Global Object）（也就是大家熟悉的window对象）  
2.第一个脚本文件加载  
3.脚本加载完毕后，分析语法是否合法  
4.开始预编译  
查找变量声明，作为GO属性，值赋予undefined  
查找函数声明，作为GO属性，值赋予函数体  
?  
1  
2  
3  
4  
5  
6  
7  
8  
9  
10  
//伪代码  
GO/window = \{  
//页面加载创建GO同时，创建了document、navigator、screen等等属性，此处省略  
a: undefined,  
c: undefined，  
b: function(y)\{  
var x = 1;  
console.log(‘so easy’);  
\}  
\}  
解释执行代码（直到执行函数b）  
?  
1  
2  
3  
4  
5  
6  
7  
8  
9  
10  
11  
12  
//伪代码  
GO/window = \{  
//变量随着执行流得到初始化  
a: 1,  
c: function()\{  
//…  
\},  
b: function(y)\{  
var x = 1;  
console.log(‘so easy’);  
\}  
\}  
执行函数b之前，发生预编译  
创建AO活动对象（Active Object）  
查找形参和变量声明，值赋予undefined  
实参值赋给形参  
查找函数声明，值赋予函数体  
?  
1  
2  
3  
4  
5  
6  
//伪代码  
AO = \{  
//创建AO同时，创建了arguments等等属性，此处省略  
y: 100,  
x: undefined  
\}  
解释执行函数中代码  
第一个脚本文件执行完毕，加载第二个脚本文件  
第二个脚本文件加载完毕后，进行语法分析  
语法分析完毕，开始预编译  
重复最开始的预编译步骤……  
大家要注意，  
预编译阶段发生变量声明和函数声明，没有初始化行为（赋值），匿名函数不参与预编译  
只有在解释执行阶段才会进行变量初始化  
嗯~最后收一下尾

总结（函数名和变量名同名的情况下这个方法很重要）
    **预编译四步曲(函数执行前)※ 
    1. 创建AO（局部）或GO（全局）对象（Active Object） 
    2. 查找函数形参及函数内变量声明，形参名及变量名作为AO对象的属性，值为undefined 
    3. 实参形参相统一，实参值赋给形参 
    4. 查找函数声明，函数名作为AO对象的属性，值为函数引用**（如果和参数同名会改变参数的值）

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzM0MzE0NA_size_16_color_FFFFFF_t_70]  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzM0MzE0NA_size_16_color_FFFFFF_t_70 1]  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzM0MzE0NA_size_16_color_FFFFFF_t_70 2]

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzM0MzE0NA_size_16_color_FFFFFF_t_70 3]  
预编译(脚本代码块script执行前)  
5. 查找全局变量声明（包括隐式全局变量声明，省略var声明），变量名作全局对象的属性，值为undefined  
6. 查找函数声明，函数名作为全局对象的属性，值为函数引用  
理解了预编译对理解提升行为，this指向，作用域及性能等问题都有很大帮助

参考链接：[https://www.jb51.net/article/103973.htm][https_www.jb51.net_article_103973.htm]

**`JS中变量名和函数名重名`**  
今天骚凯问了一道变量名冲突的题目,感觉很有意思,顺便也复习一下预解析的一些知识,有不对的地方忘前辈大神指正,题目是这样的:

var a=100;  
function a()\{  
　　console.log(a);  
\}  
a();

这个串代码执行完会报错 : a is not a function

问题来了,为什么会报这个错误呢? 这里涉及到函数和变量的预解析:

1)函数声明会置顶
    2)变量声明也会置顶
    3)函数声明比变量声明更置顶：(函数在变量上面)
    4)变量和赋值语句一起书写，在js引擎解析时，会将其拆成声明和赋值2部分，声明置顶，赋值保留在原来位置
    5)声明过的变量不会重复声明

知道以上的规则,上面的代码等同于 :

var a=function ()\{  
　　console.log(a);  
\}  
var a=100;  
a();

相当于给a重新赋值了,所以会报错.

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzM0MzE0NA_size_16_color_FFFFFF_t_70]: /images/20210813/ab0afbfddc924669b7422946e221a70b.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzM0MzE0NA_size_16_color_FFFFFF_t_70 1]: /images/20210813/2bf56bb49f9d439bb1cda0d4c52854bd.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzM0MzE0NA_size_16_color_FFFFFF_t_70 2]: /images/20210813/0f8bbf2464094ffcab3a5bccca687233.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzM0MzE0NA_size_16_color_FFFFFF_t_70 3]: /images/20210813/4804c4b35e424caaa8fb2381b9a65856.png
[https_www.jb51.net_article_103973.htm]: https://www.jb51.net/article/103973.htm