前言
预编译,顾名思义就是是做些代码文本的替换工作。是整个编译过程的最先做的工作。JavaScript 的圣经 —— MDN 明确地说过, JavaScript 是一个解释型语言,而并非编译型语言,所以预编译对于JS来说是子虚乌有的。但是人们喜欢称之为预编译其实也无伤大雅,关键在于为什么人们会认为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
- console.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()