JS学习系列 04 - 提升
到目前为止，大家应该很熟悉作用域的概念了，以及根据声明的位置和方式将变量分配给作用域的相关原理了。函数作用域和块作用域的行为是一样的，可以总结为：任何声明在某个作用域内的变量，都将属于这个作用域。
但是作用域同其中的变量声明出现的位置有某种微妙的关系，而这个细节就是我们这节要探讨的内容。
1. 声明提升
先看代码：
a = 2;
var a;
console.log(a);
复制代码大家认为这里会输出什么？
有一些人认为是 undefined ，因为 var a; 是在 a = 2; 之后，所以会觉得 undefined 覆盖了 a 的值。但是，真正的结果是 2 。
再看一段代码：
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);
复制代码第二个例子中，代码的等价形式是这样的：
var a;
console.log(a);
a = 2;
复制代码这个过程就好像是变量和函数声明从它们的代码中出现的位置被“移动”到了最上面。这个过程就叫作“提升”。
注意，只有声明本身会被提升，而赋值操作和其他运行逻辑都会停留在原地，想象一下，如果提升会改变代码的执行顺序，那么会造成非常严重的破坏。
还有一点，函数声明会被提升，但是函数表达式不会被提升。
foo(); // 报错，TypeError: foo is not a function，因为这里 foo 是 undefined，并不是一个函数
var foo = function foo() {
// something else
}
复制代码这段程序中的变量标识符 foo 被提升并分配给所在的作用域（在这里是全局作用域），因此 foo() 不会导致 ReferenceError 。但是，foo 此时并没有赋值（如果它是一个函数声明而不是函数表达式，那么就会被赋值）。foo() 由于对 undefined 值进行函数调用而导致非法操作，所以会抛出 TypeError 异常。
同时，即使是具名函数表达式，名称标识符在赋值之前也无法在所在作用域中使用：
foo();
bar();
var foo = function bar () {
// something else
};
复制代码这段代码经过提升后，实际上等价于：
var foo;
foo();
bar();
foo = function () {
var bar = ...self...
// something else
};
复制代码2. 函数优先
函数声明和变量声明都会被提升。但是一个值得注意的细节是，函数声明会首先被提升，然后才是变量。
考虑如下代码：
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);
};
foo(); // 2
function foo () {
cosole.log(3);
}
复制代码这个例子充分说明了在同一个作用域中进行重复定义是非常糟糕的，而且经常会导致各种奇怪的问题。上面那个例子，等价于：
function foo () {
cosole.log(3);
}
foo(); // 3
foo = function () {
console.log(2);
};
foo(); // 2
复制代码还有一些人会犯如下错误：
foo(); // 2
var a = true;
if (a) {
function foo () {
console.log(1);
}
} else {
function foo () {
console.log(2);
}
}
复制代码因为 if 并没有块作用域，所以这里的函数声明会提升到其作用域最前边，而后一个 function 声明会覆盖前一个，所以这里结果是 2 。这里代码等价如下：
function foo () {
console.log(2);
}
var a;
foo(); // 2
a = true;
if (a) {
} else {
}
复制代码3. 总结
我们习惯将 var a = 2; 看作一个声明，而实际上 JavaScript 引擎并不这么认为。它将 var a; 和 a = 2; 当作两个单独的声明，第一个是编译阶段的任务，而第二个则是执行阶段的任务。
这意味着无论作用域中的声明出现在什么地方，都将在代码本身被执行前首先被处理（预编译）。可以将这个过程想象成所有的声明（变量和函数）都会被“移动”到各自的作用域的最顶端，这个过程叫作提升。