前言
函数作用域和块作用域的行为是一样的,可以总结为:任何声明在某个作用域内的
变量,都将附属于这个作用域。
但是作用域同其中的变量声明出现的位置有某种微妙的联系,而这个细节正是我们将要讨论的内
容。
先有鸡还是先有蛋
直觉上会认为JavaScript代码在执行时是由上到下一行一行执行的。但实际上这并不完全正确,有
一种特殊情况会导致这个假设是错误的。
考虑以下代码:
a = 2;
var a;
console.log( a );
考虑另外一段代码:
console.log( a );
var a = 2;
输出来的会是undefined
看起来我们面对的是一个先有鸡还是先有蛋的问题。到底是声明(蛋)在
前,还是赋值(鸡)在前?
编译器再度来袭
引擎会在解释JavaScript代码之前首先对其进行编译。编译阶段中的一部分工作就是找到所有的声明,并用合适的作用域将它们关联起来
因此,正确的思考思路是,包括变量和函数在内的所有声明都会在任何代码被执行前首先被处理。
当你看到var a = 2;时,可能会认为这是一个声明。但JavaScript实际上会将其看成两个声
明:var a;和a = 2;。第一个定义声明是在编译阶段进行的。第二个赋值声明会被留在原地等待执
行阶段。
我们的第一个代码片段会以如下形式进行处理:
var a;
a = 2;
console.log( a );
其中第一部分是编译,而第二部分是执行。
类似地,我们的第二个代码片段实际是按照以下流程处理的:
var a;
console.log( a );
a = 2;
因此,打个比方,这个过程就好像变量和函数声明从它们在代码中出现的位置被“移动”到了最上
面。这个过程就叫作提升。
换句话说,先有蛋(声明)后有鸡(赋值)
只有声明本身会被提升,而赋值或其他运行逻辑会留在原地。如果提升改变了代码执行的
顺序,会造成非常严重的破坏。
foo();
function foo() {
console.log( a ); // undefined
var a = 2;
}
foo函数的声明(这个例子还包括实际函数的隐含值)被提升了,因此第一行中的调用可以正常执
行。
另外值得注意的是,每个作用域都会进行提升操作。这段代码实际上会被理解为下面的形式:
function foo() {
var a;
console.log( a ); // undefined
a = 2;
}
foo()
可以看到,函数声明会被提升,但是函数表达式却不会被提升。
foo(); // 不是ReferenceError, 而是TypeError!
var foo = function bar() {
// ...
};
同时也要记住,即使是具名的函数表达式,名称标识符在赋值之前也无法在所在作用域中使用:
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 );
}
小结
我们习惯将var a = 2;看作一个声明,而实际上JavaScript引擎并不这么认为。它将var a和a = 2
当作两个单独的声明,第一个是编译阶段的任务,而第二个则是执行阶段的任务。
这意味着无论作用域中的声明出现在什么地方,都将在代码本身被执行前首先进行处理。可以将
这个过程形象地想象成所有的声明(变量和函数)都会被“移动”到各自作用域的最顶端,这个过程
被称为提升。
声明本身会被提升,而包括函数表达式的赋值在内的赋值操作并不会提升。
要注意避免重复声明,特别是当普通的var声明和函数声明混合在一起的时候,否则会引起很多危
险的问题!
One More Thing
本文为原创文章,大部分来自于《你不知道的javascript》一书中,转载请注明出处https://xdlmr.github.io