JavaScript预编译机制与暗示全局变量详解

暗示全局变量的定义

1. 暗示全局变量

在JavaScript中，未通过var、let或const显式声明而直接赋值的变量，被称为暗示全局变量。

var a = 1; //函数体外声明的变量称为全局变量
b = 2; // 无论函数体外或函数体内未声明的变量都称为暗示全局变量
function fn() {
 var c = 3; //函数体内声明的变量称为局部变量
 d = 4; // 暗示全局变量
}
fn(); // 若不执行函数，则不会进行函数预编译，d 就不会提升为全局变量
console.log(c); // error: c is not defined
console.log(d); // 4

JavaScript的执行流程

2. JavaScript执行过程

JavaScript引擎的执行流程主要包含三个步骤： 1. 语法分析：检查代码是否存在低级语法错误，若存在则直接终止编译与执行； 2. 预编译：处理变量声明和函数声明的提前行为； 3. 解释执行：逐行解释并执行代码。

预编译机制概述

3. 预编译

预编译过程根据上下文不同，可分为全局预编译和函数预编译两种情况。

预编译可分为全局预编译和函数预编译。

具体的执行流程如下： 1. JavaScript脚本加载完成后，首先通篇扫描代码以检测是否存在低级语法错误； 2. 语法检测通过后，进行全局预编译； 3. 全局预编译结束后，进入逐行解释执行阶段； 4. 当代码执行流遇到函数调用时，会先对该函数进行预编译，完成后再继续向下执行。

全局预编译详解

全局预编译：

全局预编译的具体步骤包括： 1. 创建全局对象（GO，即window对象）； 2. 变量声明提前：将所有变量的声明提升至全局作用域最前端，作为GO对象的属性，并初始化为undefined。若存在同名变量，仅保留一个声明； 3. 函数声明提前：将函数声明也提升至最前端，作为GO对象的属性。若函数名与已存在的变量名相同，函数声明将覆盖变量声明，此时该属性的值为完整的函数体。 这也解释了为什么函数定义在函数调用之前或之后均可正常执行的原因。

函数预编译详解

函数预编译：

1. 在函数执行前的一瞬间，函数预编译闪亮登场； 2. 先创建一个AO对象(Active Object)； 3. 将形参和变量声明提前，赋值undefined，作为AO的属性； 4. 将实参赋值给形参； 5. 函数声明提前，值为函数体，作为AO的属性。

代码执行案例分析

栗子:

var a = 1;
function b(c){
 console.log(c);
 var c = 2;
 console.log(c);
 function c() {}
 var d = 3;
 function e() {}
}
b(4);

先分析全局预编译，

• 创建GO对象，GO = {}；
• 变量声明提前

// 伪代码
GO = { 
 a = undefined
}

• 函数声明提前

// 伪代码
GO = { 
 a = undefined
 b = f b(c) { console.log(c); ... }
}

再分析函数预编译，

• 创建AO对象，AO = {}；
• 形参和变量声明提前；

// 伪代码
AO = { 
c = undefined // 与变量名相同，只声明一个
d = undefined
}

• 将实参赋值给形参；

// 伪代码
AO = { 
c = 4 // b(4)，传入的实参是4
d = undefined
}

• 函数声明提前

// 伪代码
AO = { 
c = f c() {} // 函数名会覆盖变量名
d = undefined
e = f e() {}
}

因此，当第一次打印变量c时，输出的是函数体而非实参4。

以上就是浅析JavaScript预编译和暗示全局变量的详细内容，更多关于JavaScript预编译和暗示全局变量的资料请关注本站其它相关文章！