提升
函数作用域和块作用域的行为是一样的, 可以总结为: 任何声明在某个作用域内的变量, 都将附属于这个作用域。但是作用域同其中的变量声明出现的位置有某种微妙的联系,这正是提升
一、先有鸡还是先有蛋
直觉上会认为 JavaScript 代码在执行时是由上到下一行一行执行的。 但实际上这并不完全正确
, 有一种特殊情况会导致这个假设是错误的。
考虑下面代码:👇
a = 2;
var a;
console.log( a );
你认为 console.log(…) 声明会输出什么呢?
很多开发者会认为是 undefined, 因为 var a 声明在 a = 2 之后, 他们自然而然地认为变量被重新赋值了, 因此会被赋予默认值 undefined。 但是, 真正的输出结果是 2
考虑另外一段代码:👇
console.log( a );
var a = 2;
那么到底发生了什么? 看起来我们面对的是一个先有鸡还是先有蛋的问题。 到底是声明(蛋) 在前, 还是赋值(鸡) 在前?
二、编译器再度来袭
为了搞明白这个问题,回忆一下, 引擎会在解释 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 函数的声明
(这个例子还包括实际函数的隐含值) 被提升了
, 因此第一行中的调用可以正常执行
注意:
每个作用域都会进行提升操作
尽管前面大部分的代码片段已经简化了(因为它们只包含全局作用域), 而我们正在讨论的 foo(..) 函数自身也会在内部对 var a 进行提升
(显然并不是提升到了整个程序的最上方)。 因此这段代码实际上会被理解为下面的形式👇:
function foo() {
var a;
console.log( a ); // undefined
a = 2;
}
foo();
可见, 函数声明会被提升, 但是函数表达式却不会被提升
同时也要记住, 即使是具名的函数表达式, 名称标识符在赋值之前也无法在所在作用域中使用:
三、函数优先
函数声明和变量声明都会被提升。但是函数会首先被提升, 然后才是变量
考虑以下代码:
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 a = 2; 看作一个声明, 而实际上 JavaScript 引擎并不这么认为。 它将 var a和 a = 2 当作两个单独的声明, 第一个是编译阶段的任务,而第二个则是执行阶段的任务
这意味着无论作用域中的声明出现在什么地方, 都将在代码本身被执行前首先进行处理。可以将这个过程形象地想象成所有的声明(变量和函数) 都会被“移动” 到各自作用域的最顶端, 这个过程被称为提升
声明本身会被提升, 而包括函数表达式的赋值在内的赋值操作并不会提升
要注意避免重复声明, 特别是当普通的 var 声明和函数声明混合在一起的时候, 否则会引起很多危险的问题!