大家都知道 JavaScript 是解释型语言, 既然是解释型语言, 就是编译一行, 执行一行, 那又何来预编译一说呢? 脚本执行 JS 引擎都做了什么呢? 今天我们就来看看吧.
1-JavaScript 运行三部曲
语法分析
预编译
解释执行
语法分析很简单, 就是引擎检查你的代码有没有什么低级的语法错误; 解释执行顾名思义便是执行代码了; 预编译简单理解就是在内存中开辟一些空间, 存放一些变量与函数 ;
2-JS 预编译什么时候发生
预编译到底什么时候发生? 误以为预编译仅仅发生在 script 内代码块执行前 这倒并没有错 预编译确确实实在 script 代码内执行前发生了 但是它大部分会发生在函数执行前
3 - 实例分析
先来区分理解一下这 2 个概念: 变量声明 var ... 函数声明 function(){}
- <script>
- var a = 1;
- console.log(a);
- function test(a) {
- console.log(a);
- var a = 123;
- console.log(a);
- function a() {}
- console.log(a);
- var b = function() {}
- console.log(b);
- function d() {}
- }
- var c = function (){
- console.log("I at C function");
- }
- console.log(c);
- test(2);
- </script>
分析过程如下:
页面产生便创建了 GO 全局对象(Global Object)(也就是 Windows 对象);
第一个脚本文件加载;
脚本加载完毕后, 分析语法是否合法;
开始预编译 查找变量声明, 作为 GO 属性, 值赋予 undefined; 查找函数声明, 作为 GO 属性, 值赋予函数体;
预编译
- // 抽象描述
- GO/Windows = {
- a: undefined,
- c: undefined,
- test: function(a) {
- console.log(a);
- var a = 123;
- console.log(a);
- function a() {}
- console.log(a);
- var b = function() {}
- console.log(b);
- function d() {}
- }
- }
解释执行代码 (直到执行调用函数 test(2) 语句)
- // 抽象描述
- GO/Windows = {
- a: 1,
- c: function (){
- console.log("I at C function");
- }
- test: function(a) {
- console.log(a);
- var a = 123;
- console.log(a);
- function a() {}
- console.log(a);
- var b = function() {}
- console.log(b);
- function d() {}
- }
- }
执行函数 test()之前, 发生预编译
创建 AO 活动对象(Active Object);
查找形参和变量声明, 值赋予 undefined;
实参值赋给形参;
查找函数声明, 值赋予函数体;
预编译之前面 1,2 两小步如下:
- // 抽象描述
- AO = {
- a:undefined,
- b:undefined,
- }
预编译之第 3 步如下:
- // 抽象描述
- AO = {
- a:2,
- b:undefined,
- }
预编译之第 4 步如下:
- // 抽象描述
- AO = {
- a:function a() {},
- b:undefined
- d:function d() {}
- }
执行 test()函数时如下过程变化:
- // 抽象描述
- AO = {
- a:function a() {},
- b:undefined
- d:function d() {}
- }
- --->
- AO = {
- a:123,
- b:undefined
- d:function d() {}
- }
- --->
- AO = {
- a:123,
- b:function() {}
- d:function d() {}
- }
执行结果:
图片描述
注意:
预编译阶段发生变量声明和函数声明, 没有初始化行为(赋值), 匿名函数不参与预编译 ; 只有在解释执行阶段才会进行变量初始化 ;
预编译(函数执行前)
创建 AO 对象(Active Object)
查找函数形参及函数内变量声明, 形参名及变量名作为 AO 对象的属性, 值为 undefined
实参形参相统一, 实参值赋给形参
查找函数声明, 函数名作为 AO 对象的属性, 值为函数引用
预编译(脚本代码块 script 执行前)
查找全局变量声明(包括隐式全局变量声明, 省略 var 声明), 变量名作全局对象的属性, 值为 undefined
查找函数声明, 函数名作为全局对象的属性, 值为函数引用
预编译小结
预编译两个小规则
函数声明整体提升 -(具体点说, 无论函数调用和声明的位置是前是后, 系统总会把函数声明移到调用前面)
变量 声明提升 -(具体点说, 无论变量调用和声明的位置是前是后, 系统总会把声明移到调用前, 注意仅仅只是声明, 所以值是 undefined)
预编译前奏
imply global 即任何变量, 如果未经声明就赋值, 则此变量就位全局变量所有.(全局域就是 Windows)
一切声明的全局变量, 全是 Windows 的属性; var a = 12; 等同于 Windows.a = 12;
函数预编译发生在函数执行前一刻.
image
来源: http://www.jianshu.com/p/4bd946c988fa