提升

文章目录

1. 1. 编译器
2. 2. 函数优先

编译器

当你看到var a = 2;时，可能会认为这是一个声明。但JavaScript实际上会将其看成两个声
明：var a;和a = 2;。第一个定义声明是在编译阶段进行的。第二个赋值声明会被留在原地等待执
行阶段。
我们的第一个代码片段会以如下形式进行处理：

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

其中第一部分是编译，而第二部分是执行。

函数声明会被提升，但是函数表达式却不会被提升。

foo(); // 不是ReferenceError, 而是TypeError!
var foo = function bar() {
    // ...
};

这段程序中的变量标识符foo()被提升并分配给所在作用域（在这里是全局作用域），因此foo()不
会导致ReferenceError。但是foo此时并没有赋值（如果它是一个函数声明而不是函数表达式，那么
就会赋值）。foo()由于对undefined值进行函数调用而导致非法操作，因此抛出TypeError异常。
同时也要记住，即使是具名的函数表达式，名称标识符在赋值之前也无法在所在作用域中使用：

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

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

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

函数优先

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

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

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

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

注意，var foo尽管出现在function foo()…的声明之前，但它是重复的声明（因此被忽略了），因为
函数声明会被提升到普通变量之前。

尽管重复的var声明会被忽略掉，但出现在后面的函数声明还是可以覆盖前面的。

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

虽然这些听起来都是些无用的学院理论，但是它说明了在同一个作用域中进行重复定义是非常糟
糕的，而且经常会导致各种奇怪的问题。

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

foo(); // "b"
var a = true;
if (a) {
function foo() { console.log("a"); }
} else {
function foo() { console.log("b"); }
}
但是需要注意这个行为并不可靠，在JavaScript未来的版本中有可能发生改变，因此应该尽可能避
免在块内部声明函数。