到目前为止，大家应该很熟悉作用域的概念了，以及根据声明的位置和方式将变量分配给作用域的相关原理了。函数作用域和块作用域的行为是一样的，可以总结为：任何声明在某个作用域内的变量，都将属于这个作用域。
但是作用域同其中的变量声明出现的位置有某种微妙的关系，而这个细节就是我们这节要探讨的内容。
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; 当作两个单独的声明，第一个是编译阶段的任务，而第二个则是执行阶段的任务。
这意味着无论作用域中的声明出现在什么地方，都将在代码本身被执行前首先被处理（预编译）。可以将这个过程想象成所有的声明（变量和函数）都会被“移动”到各自的作用域的最顶端，这个过程叫作提升。
网友评论