js 预编译

js 运行代码的时候分为几个步骤:语法分析 ==》预编译  ==》解释执行

语法解析:通篇扫描代码,查看语法是否出错

解释执行读一行 - 解释一行 - 执行一行

 

预编译执行的操作:

// 假设之前并没有定义a
console.log(a);

打印结果:Uncaught ReferenceError: a is not defined

这个大家应该都知道:在变量未定义时就对变量进行访问就会报错(typeof 列外)

 

再看一个例子:

1 // 假设之前并没有定义变量a
2 console.log(a);
3 
4 var a = 123;
5 
6 console.log(a);

看上面代码会打印什么?会不会报错?

打印结果:

undefined
123

为什么这个没有报错:因为在预编译的时候对变量进行了提升即变量提升。 定义的变量的声明(var a ;)被提到了代码块的最前面,变量的赋值操作(a = 123)没有变化。

所以被编译后就相当于

1 // 假设之前没有定义变量a
2 var a;
3 
4 console.log(a);
5 
6 a = 123;
7 
8 console.log(a);

 

看下面这个例子:

 1 // 假设之前没有定义test
 2 console.log(test);
 3 
 4 var test = 123; 
 5 
 6 function test () {
 7 
 8 }
 9 
10 console.log(test);

打印结果:

function test () {}
123

为什么第二行的输出的不是undefined 了?执行步骤是什么样子的?

因为函数声明在编译的时候也会进行提升,叫做函数提升

执行步骤:

1、变量提升:var test; 提升到最前面。此时test = undefined;

2、函数提升:function test () {}; 提升到最前面并覆盖var test; 的声明。所以第二行打印function test () {}; 此时test = function test () {}

3、进行赋值操作 test = 123; 此时test = 123;

 

 1 function test (test) {
 2   console.log(test);  // function test(){var a = 789}
 3    var test = 123;
 4    function test () {
 5        var a = 789;
 6     };
 7    console.log(test) ;  // 123     
 8 }
 9 
10 test(456);

Why?

 

变量提升和函数提升是如何实现的?

预编译执行步骤

(a) 函数内

 1、在代码定义之后执行之前生成活动对象AO(Activation Object ) 空对象{}

 2、查找函数体内的形参和变量,定义为AO的属性,赋值为undefined;

 3、将实参跟形参统一,即把实参赋值给AO[形参]

 4、查找函数里的函数声明,将函数声明赋值给AO 即 AO[函数名] = 函数

(b) 全局

 1、在代码定义之后执行之前生成全局环境对象GO(Global variable Object ) 空对象{}

 2、查找变量,定义为GO的属性,赋值为undefined;

 3、查找函数声明,将函数声明赋值给GO 即 GO[函数名] = 函数;

 

以上面的例子分析预编译过程:

function test (test) {
   console.log(test);  // function test(){var a = 789}
    var test = 123;
    function test () {
        var a = 789;
     };
    console.log(test) ;  // 123     
 }
 
test(456);

var a = 111;

/** 全局 **/
// 第一步:创建GO // GO{}; // 第二步:查找变量定义为GO的属性,赋值为undefined;
// GO{
// a: undefined
// };
// 第三步:将函数声明赋值给GO
// GO{
// a: undefined,
// test: function test(test) {...}
// }

/** function test(test){...} 函数内 **/
// 第一步: 创建AO
// AO {}
// 第二步: 查找形参和变量,定义为AO的属性, 赋值为undefined;
// AO {
// test: undefined
// }
// 第三步: 形参和实参统一
// AO {
// test: 456
// }
// 第四步:将函数声明给AO
// AO {
// test: function test() { var a = 789 }
// }

 

之后就是一步一步的执行代码了

function test (test) {
   console.log(test);  // function test(){var a = 789}
    var test = 123;
    function test () {
        var a = 789;
     };
    console.log(test) ;  // 123     
 }
 
test(456);

var a = 111;

// test(456); 进入到function test (test) {...} 内部
// console.log(test); // 打印 function test(){var a = 789}
// var test = 123; 由于 test 变量的声明已经提升,所以这句只执行 test = 123; 即AO[test] = 123
// AO {
//   test: 123
// }
// function test() {var a = 789} 已经提升
// console.log(test) //打印 123
// 退出function test (test) {...} 销毁AO
// var a = 111; 由于 a 变量已经提升,这句只执行赋值 a = 111; 即 GO[a] = 111;
// GO{
//   a: 111,
//   test: function test(test) {...}
// }

// 当页面销毁时销毁GO

 

posted @ 2020-02-27 13:36  小小_先森  阅读(...)  评论(...编辑  收藏