分享

JavaScript中的预编译如何进行

 学掌门 2022-03-21

预编译又称预处理,是整个编译过程最先做的工作,即程序执行前的一些预处理工作。主要处理#开头的指令。如拷贝#include包含的文件代码、替换#define定义的宏、条件编译#if等。

何时需要预编译:

总是使用不经常改动的大型代码体。

程序由多个模块组成,所有模块都使用一组标准的包含文件和相同的编译选项。在这种情况下,可以将所有包含文件预编译为一个预编译头。

我们比较常见的问题:为什么人们会认为JS存在预编译,是JS的哪种行为让人们觉得它产生了预编译呢?让我们来简单聊一聊。

引入

在代码执行前,编译器会进行如下操作:

parse阶段

分词。就是将代码分成原子符号(token)

token解析翻译成AST(语法生成树)。

analyze阶段

遇到声明语句,将会把声明传到作用域(scope)中创建绑定,分配内存并将变量默认设为undefined或函数体。

然后就可以执行代码啦,执行中途每次遇到赋值或者取值,都会从作用域中查找绑定。这样看,是不是有点“预编译”内味了?但是实际上还是称它为预处理更加贴切一点。接下来,让我们来了解一波看起来最像预编译的操作--第三步的干货。

“预编译”

我的老师在和我讲相关知识点前和我说过这么一个笑话:

面试时我因为这么一个问题挂了

var a = 100

function foo(){

console.log(a)

}

foo()

问:为什么输出a的值是100?

答:因为100赋值给了a。

老师说完我头昏脑涨,完全不明白笑点在哪,后来才知道这是在考察“预编译”这方面的知识。

总的来说,“预编译”可以分为

创建GO对象(global object) 发生在页面加载完成时

创建AO对象(activation object) 发生在函数执行前一刻

具体步骤如下:

全局预编译

1. 创建GO对象

2. 找变量声明,将变量声明作为GO对象的属性名,并赋值undefined

3. 找全局里的函数声明,将函数名作为GO对象的属性名,值赋予函数体

局部预编译

1. 创建一个AO对象

2. 找形参和变量声明,将形参和变量声明作为AO对象的属性名,值为undefined

3. 将实参和形参统一

4. 在函数体里找函数声明,将函数名作为AO对象的属性名,值赋予函数体

所以那个笑话里的面试问题我们应该这么回答:

首先,编译器创建一个GO对象

找到变量声明 var a

和函数声明 function foo(){}

将上面两个变量声明作为GO的属性名赋初值

GO{

a:undefined

foo:function(){}

}

然后运行第一行代码 a=100

GO中将100赋值给a

再执行第五行代码运行foo函数

创建一个AO对象

在函数体内找变量声明和形参,(无)

再在函数体内找函数声明(无)

所以

AO{

}

完成后运行第三行代码,输出a

先在AO对象中寻找a的值,发现不存在,向外部作用域扩展,在GO对象中寻找a,发现a的值为100

输出100

当然,笑话里的题过于简单,但是能让我们清晰的了解到这个“预编译”的进行

下面,我们来看一道面试题简化版,练练手:

global = 100

function fn() {

console.log(global);  

global = 200

onsole.log(global);  

var global = 300

}

fn()

它的逻辑和输出结果是多少呢?通过一步步的分析我们可以知道具体的分析应该是这样的:

GO: {

global: undefined => 100,

fn: function() {}

}

global = 100 // 没有声明的变量默认为全局变量,也会放到GO中

function fn() {

console.log(global); // 输出undefined

global = 200

console.log(global); // 输出200

var global = 300

}

AO: {

global: undefined => 200 => 300

}

fn() 

文章来源:网络  版权归原作者所

上文内容不用于商业目的,如涉及知识产权问题,请权利人联系小编,我们将立即处理

    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多