提升

2017/11/25 posted in  JavaScript

考虑以下两段代码:

a = 2;
var a;
console.log(a);
console.log(a);
var a = 2;

分别会输出什么呢?

当看到 var a = 2; 时,我们会习惯的认为这是一个声明,但是在 javascript 中实际上会将其看成两个声明:var a; 和 a = 2;。第一个声明是在编译阶段进行的。第二个赋值声明会被留在原地等待执行阶段。

所以以上两段代码会以如下形式进行处理:

var a;
a = 2;
console.log(a); //2
var a;
console.log(a); //undefined
a = 2;

这个过程就好像变量和函数声明从它们在代码中出现的位置被“移动”到最上面。这个过程就叫作提升。另外值得注意的是,每个作用域都会进行提升操作

foo();

function foo(){
    console.log(a); //undefined
    var a = 2;
}

foo(); //TypeError
bar(); // ReferenceError

var foo = function bar(){

}

可以看到函数的声明会被提升(还包括实际函数的隐含值)。

但函数表达式,提升的只是 foo 这个变量标识符,所以第二段代码段中 foo() 由于对 undefined 值进行函数调用而导致非法操作,因此抛出 TypeError 异常。

另外即使是具名的函数表达式,名称标识符在赋值之前也无法再所在的作用域中使用。

上面两段代码可以看成:

var foo = function(){
    var a;
    console.log(a); //undefined
    a = 2;
}

foo();
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 );
};

尽管 var foo 出现在 function foo()… 之前,但它是重复的声明(因此被忽略了),因为函数声明会被提升到普通变量之前,这段代码会被引擎理解为如下形式:

function foo() { 
    console.log(1);
}

foo(); // 1

foo = function() { 
    console.log(2);
};

尽管重复的 var 声明会被忽略掉,但出现在后面的函数声明还是可以覆盖前面的。