JavaScript的预编译过程

JavaScript在运行时,要经历三步

  1. 语法分析 2.预编译 3.解析执行(自上而下)

JavaScript预编译

先思考这么一个题

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
function fn (a) {
console.log(a);

var a = 123;

console.log(a);

function a(){};

console.log(a);

var b =function (){};

console.log(b);
}
fn(1);

预编译四部曲

  1. 创建AO对象 Activation Object(执行期上下文)
  2. 找形参和变量声明,将变量和形参名作为AO属性名,值为undefined
  3. 将实参值和形参统一
  4. 在函数体里面找函数声明,值赋予函数体

这四步的权重比4>3>2>1,也就是一个覆盖的过程.
函数声明在变量声明的前面

函数声明才存在变量提升。即function a(){};,而var b =function (){};不会提升。

详细分析

先看一个面试中常遇到的问题

1
2
3
console.log(a); // function a(){}
var a = 1;
function a(){};

逐行执行,在AO中是:

1
2
3
4
5
6
AO{
a: undefied
}
AO{
a: function(){}
}

换一换

1
2
3
var a = 1;
console.log(a); // 1
function a(){};

逐行执行,在AO中是:

1
2
3
4
5
6
7
8
9
10
11
12
AO{
a: undefied
}

AO{
a: function(){}
}

// js是自上而下执行的,先执行var a = 1; 所有AO中的a就被覆盖
AO{
a: 1
}

按步骤分析文章开头的例子

  • 第一步
1
2
AO{
}
  • 第二步
1
2
3
4
AO{
a: undefined,
b: undefined
}
  • 第三步
1
2
3
4
AO{
a: 1,
b: undefined
}
  • 第四步
1
2
3
4
AO{
a: function a(){},
b: undefined
}

解释执行

执行的时候:

1
2
3
4
5
6
7
8
9
AO{
a: function a(){},
b: undefined
}
// a = 123;
AO{
a: 123,
b: undefined
}

结果:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
function fn (a) {
console.log(a); // function(){}

var a = 123;

console.log(a); // 123

function a(){};

console.log(a); // 123

var b =function (){};

console.log(b); // function(){}
}
fn(1);

加入window,全局环境

1
2
3
4
5
6
7
8
9
global = 100;
function fn() {
console.log(global);
global = 200;
console.log(global);
var global = 300;
}
fn();
var global;

在全局环境中会生成一个 GO对象 (Global Object),还是按照上面的四步执行。

1
2
3
GO {
global: undefined
}

// 执行到 global = 100 :

1
2
3
GO {
global: 100
}

当执行fn之前会先生成一个AO:

1
2
3
AO {
global: undefined
}

所以第一次打印globalundefined

这个时候虽然全局变量中的global已经是100,但是fn函数中自己有global变量,所以不会引用全局中的。

当执行到global = 200 :

1
2
3
AO {
global: 200
}

所以第二次打印global200

这里这中情况涉及到了‘作用域’。

作用域

JavaScript 采用的是词法作用域,函数的作用域在函数定义的时候就决定了。

词法作用域是一种静态作用域

1
2
3
4
5
6
7
8
9
10
11
12
var value = 1;

function foo() {
console.log(value);
}

function bar() {
var value = 2;
foo();
}

bar();

这个例子的结果:1

按静态作用域来分析

执行 foo 函数,先从 foo 函数内部查找是否有局部变量 value,如果没有,就根据书写的位置,查找上面一层的代码,也就是 value 等于 1,所以结果会打印 1。

JavaScript的预编译过程来分析

这里有全局的环境:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
// 这里我就写最后一步了
GO {
value: 1,
foo: function() {console.log(value)},
bar: function() {var value = 2; foo()}
}
// 函数在执行时也会生成自己的AO
fooAO{
// 没有
}
barAO{
value: 2
foo: foo()
}

foo函数中没有定义value,所以它会到它所在的上一层去找,并不会去bar里面找

把这个题做一个小小的改变:

1
2
3
4
5
6
7
8
9
10
11
12
var value = 1;

function foo() {
console.log(value);
}

function bar() {
value = 2;
foo();
}

bar();

这样结果就是2了。

在bar函数中不定义value,而是让它直接改变value的值,他自己没有定义,它也会去全局GO里面找,这样bar里面的value和全局中的value就是同一个内存中的数,当代码执行到value=2,再执行foo()时,全局中的value也是2,所以输出2。在第一种,情况中,var value=2只改变了barAO中的值。

再来,我们再变一下:

1
2
3
4
5
6
7
8
9
10
function foo() {
console.log(value);
}

function bar() {
value = 2;
foo();
}

bar();

结果还是2.

这次我们没有全局定义value,在bar中也没有定义,而是直接赋值。在JavaScript中如果一个变量未声明就直接赋值,那么这个变量就是个全局变量。所以GO中会定义一个value:2,foo也没有去bar里面找value。

静态作用域,决定的是作用域链的顺序。

最后思考一个问题

1
2
3
4
5
function fn(){
var a = b = 100;
console.log(window.a);
console.log(window.b);
}

var a = b =100;
先将100赋值给b,即b=100,此时b没有声明就被赋值。

最后

创建了一个前端学习交流群,感兴趣的朋友,一起来嗨呀!

如果我的文章对您有帮助!有钱的捧个钱场,没钱的捧个人场,谢谢您!
0%