提升

前面的章节,详细讨论了作用域的概念,以及根据声明的位置和方式将变量分配给 作用域的相关原理。函数作用域和块作用域的行为是一样的,可以总结为:任何声明在 某个作用域内的变量,都将附属于这个作用域。

编译过程

因此,正确的思考思路是,包括变量和函数在内的所有声明都会在任何代码被执行前首先 被处理。
当你看到var a = 2;时,可能会认为这是一个声明。但JavaScript实际上会将其看成两个 声明:var a;和a = 2;。第一个定义声明是在编译阶段进行的。第二个赋值声明会被留在 原地等待执行阶段。

我们的第一个代码片段会以如下形式进行处理:

1
2
var a;
a = 2; console.log( a );

其中第一部分是编译,而第二部分是执行。
类似地,我们的第二个代码片段实际是按照以下流程处理的:

1
2
var a; console.log( a ); 
a = 2;

只有声明本身会被提升,而赋值或其他运行逻辑会留在原地。如果提升改变
了代码执行的顺序,会造成非常严重的破坏。

例子:

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

foo函数的声明被提升了,因此该函数可以被执行。
因此这段代码实际上会被理解为下 面的形式:

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

可以看到,函数声明会被提升,但是函数表达式却不会被提升。

1
2
3
4
foo(); // 不是 ReferenceError, 而是 TypeError!

var foo = function bar() { // ...
};

因为此时foo() 由于对 undefined 值进行函数调用而导致非法操作, 因此抛出 TypeError 异常。

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

1
2
3
4
      foo(); // TypeError
bar(); // ReferenceError
var foo = function bar() { // ...
};

这个代码片段经过提升后,实际上会被理解为以下形式:

1
2
3
4
5
6
var foo;
foo(); // TypeError
bar(); // ReferenceError
foo = function() {
var bar = ...self... // ...
}

函数优先

函数声明和变量声明都会被提升。但是一个值得注意的细节(这个细节可以出现在有多个
“重复”声明的代码中)是函数会首先被提升,然后才是变量。

考虑以下代码:

1
2
3
4
5
6
7
8
9
10
11
foo()  //1

var foo

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

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

会输出 1 而不是 2 !这个代码片段会被引擎理解为如下形式:

1
2
3
4
5
6

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

一个普通块内部的函数声明通常会被提升到所在作用域的顶部,这个过程不会像下面的代 码暗示的那样可以被条件判断所控制:

1
2
3
4
5
6
foo(); // "b"
var a = true; if (a) {
function foo() { console.log("a"); } }
else {
function foo() { console.log("b"); }
}

但是需要注意这个行为并不可靠,在 JavaScript 未来的版本中有可能发生改变,因此应该 尽可能避免在块内部声明函数。 (判断语句并不具有作用域)

小结

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

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

声明本身会被提升,而包括函数表达式的赋值在内的赋值操作并不会提升。 要注意避免重复声明,特别是当普通的 var 声明和函数声明混合在一起的时候,否则会引
起很多危险的问题!