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; 当作两个单独的声明，第一个是编译阶段的任务，而第二个则是执行阶段的任务。

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

欢迎关注我的公众号