前面的章节,详细讨论了作用域的概念,以及根据声明的位置和方式将变量分配给 作用域的相关原理。函数作用域和块作用域的行为是一样的,可以总结为:任何声明在 某个作用域内的变量,都将附属于这个作用域。
编译过程
因此,正确的思考思路是,包括变量和函数在内的所有声明都会在任何代码被执行前首先 被处理。
当你看到var a = 2;时,可能会认为这是一个声明。但JavaScript实际上会将其看成两个 声明:var a;和a = 2;。第一个定义声明是在编译阶段进行的。第二个赋值声明会被留在 原地等待执行阶段。
我们的第一个代码片段会以如下形式进行处理:
1 | var a; |
其中第一部分是编译,而第二部分是执行。
类似地,我们的第二个代码片段实际是按照以下流程处理的:
1 | var a; console.log( a ); |
只有声明本身会被提升,而赋值或其他运行逻辑会留在原地。如果提升改变
了代码执行的顺序,会造成非常严重的破坏。
例子:
1 | foo(); |
foo函数的声明被提升了,因此该函数可以被执行。
因此这段代码实际上会被理解为下 面的形式:
1 | function foo() { var a; |
可以看到,函数声明会被提升,但是函数表达式却不会被提升。
1 | foo(); // 不是 ReferenceError, 而是 TypeError! |
因为此时foo() 由于对 undefined 值进行函数调用而导致非法操作, 因此抛出 TypeError 异常。
同时也要记住,即使是具名的函数表达式,名称标识符在赋值之前也无法在所在作用域中提升使用:
1 | foo(); // TypeError |
这个代码片段经过提升后,实际上会被理解为以下形式:
1 | var foo; |
函数优先
函数声明和变量声明都会被提升。但是一个值得注意的细节(这个细节可以出现在有多个
“重复”声明的代码中)是函数会首先被提升,然后才是变量。
考虑以下代码:
1 | foo() //1 |
会输出 1 而不是 2 !这个代码片段会被引擎理解为如下形式:
1 |
|
一个普通块内部的函数声明通常会被提升到所在作用域的顶部,这个过程不会像下面的代 码暗示的那样可以被条件判断所控制:
1 | foo(); // "b" |
但是需要注意这个行为并不可靠,在 JavaScript 未来的版本中有可能发生改变,因此应该 尽可能避免在块内部声明函数。 (判断语句并不具有作用域)
小结
我们习惯将var a = 2;看作一个声明,而实际上JavaScript引擎并不这么认为。它将var a
和a = 2当作两个单独的声明,第一个是编译阶段的任务,而第二个则是执行阶段的任务。
这意味着无论作用域中的声明出现在什么地方,都将在代码本身被执行前首先进行处理。 可以将这个过程形象地想象成所有的声明(变量和函数)都会被“移动”到各自作用域的 最顶端,这个过程被称为提升。
声明本身会被提升,而包括函数表达式的赋值在内的赋值操作并不会提升。 要注意避免重复声明,特别是当普通的 var 声明和函数声明混合在一起的时候,否则会引
起很多危险的问题!