Welcome

首页 / 脚本样式 / JavaScript / 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指向,作用域及性能等问题都有很大帮助
感谢阅读,希望能帮助到大家,谢谢大家对本站的支持!