Fork me on GitHub

JS学习系列 04 - 提升

variable-lifting

到目前为止,大家应该很熟悉作用域的概念了,以及根据声明的位置和方式将变量分配给作用域的相关原理了。函数作用域和块作用域的行为是一样的,可以总结为:任何声明在某个作用域内的变量,都将属于这个作用域。

但是作用域同其中的变量声明出现的位置有某种微妙的关系,而这个细节就是我们这节要探讨的内容。

声明提升

先看代码:

1
2
3
4
5
a = 2;

var a;

console.log(a);

大家认为这里会输出什么?

有一些人认为是 undefined ,因为 var a; 是在 a = 2; 之后,所以会觉得 undefined 覆盖了 a 的值。但是,真正的结果是 2 。

再看一段代码:

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

var a = 2;
```

鉴于上一个例子,有些人会认为这里会输出 2 ,也有人认为由于 a 在使用前并没有声明,所以这里会报错。但是,这里的结果是 undefined 。

之前讨论编译器的时候,我们知道 JS 引擎会在解释代码之前首先对其进行编译。编译阶段的第一部分工作就是找到所有的声明,并用合适的作用域将它们关联起来。

因此,正确的思路是,包括变量和函数在内的所有声明都会在任何代码执行前首先被处理。

当你看到 ***var a = 2;*** 时,JavaScript 实际上会将其看成两个声明:***var a;*** 和 ***a = 2;*** 。第一个定义声明是在编译阶段进行的。第二个赋值声明会被留在原地等待执行阶段。

所以,在第一个例子中,代码的等价形式是这样的:

var a;

a = 2;

console.log(a);

1
第二个例子中,代码的等价形式是这样的:

var a;

console.log(a);

a = 2;

1
2
3
4
5
这个过程就好像是变量和函数声明从它们的代码中出现的位置被“移动”到了最上面。这个过程就叫作“提升”。

**注意**,只有声明本身会被提升,而赋值操作和其他运行逻辑都会停留在原地,想象一下,如果提升会改变代码的执行顺序,那么会造成非常严重的破坏。

还有一点,函数声明会被提升,但是函数表达式不会被提升。

foo(); // 报错,TypeError: foo is not a function,因为这里 foo 是 undefined,并不是一个函数

var foo = function foo() {
// something else
}

1
2
3
这段程序中的变量标识符 foo 被提升并分配给所在的作用域(在这里是全局作用域),因此 foo() 不会导致 ReferenceError 。但是,foo 此时并没有赋值(如果它是一个函数声明而不是函数表达式,那么就会被赋值)。foo() 由于对 undefined 值进行函数调用而导致非法操作,所以会抛出 TypeError 异常。

同时,即使是具名函数表达式,名称标识符在赋值之前也无法在所在作用域中使用:

foo();
bar();

var foo = function bar () {
// something else
};

1
这段代码经过提升后,实际上等价于:

var foo;

foo();
bar();

foo = function () {
var bar = …self…
// something else
};

1
2
3
4
5

### 函数优先
函数声明和变量声明都会被提升。但是一个值得注意的细节是,**函数声明会首先被提升,然后才是变量。**

考虑如下代码:

foo(); // 1

var foo;

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

foo = function () {
console.log(2);
};

1
这里会输出 1 而不是 2 。这段代码其实等价于:

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

foo(); // 1

foo = function () {
console.log(2);
};

1
2
3
***var foo;*** 尽管出现在 function foo() {...} 声明之前,但是它是重复声明,所以会被编译器忽略,因为函数声明会被提升到变量声明之前。

注意,尽管重复的 var 声明会被忽略,但重复的函数声明却会覆盖前一个同名函数。

foo(); // 3

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

var foo = function () {
console.log(2);
};

foo(); // 2

function foo () {
cosole.log(3);
}

1
这个例子充分说明了在同一个作用域中进行重复定义是非常糟糕的,而且经常会导致各种奇怪的问题。上面那个例子,等价于:

function foo () {
cosole.log(3);
}

foo(); // 3

foo = function () {
console.log(2);
};

foo(); // 2

1
2

还有一些人会犯如下错误:

foo(); // 2

var a = true;

if (a) {
function foo () {
console.log(1);
}
} else {
function foo () {
console.log(2);
}
}

1
因为 if 并没有块作用域,所以这里的函数声明会提升到其作用域最前边,而后一个 function 声明会覆盖前一个,所以这里结果是 2 。这里代码等价如下:

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

var a;

foo(); // 2

a = true;

if (a) {

} else {

}
`

总结

我们习惯将 var a = 2; 看作一个声明,而实际上 JavaScript 引擎并不这么认为。它将 var a;a = 2; 当作两个单独的声明,第一个是编译阶段的任务,而第二个则是执行阶段的任务。

这意味着无论作用域中的声明出现在什么地方,都将在代码本身被执行前首先被处理(预编译)。可以将这个过程想象成所有的声明(变量和函数)都会被“移动”到各自的作用域的最顶端,这个过程叫作提升