摘要：對于新手來說是最令人困惑的部分之一。函數(shù)聲明通過的形式。很明顯的，語言自身定義和函數(shù)形參已經(jīng)處于作用域頂端。這就意味著，函數(shù)聲明比變量聲明具有更高的優(yōu)先級。但是這卻不意味著對這個名稱的賦值無效，僅僅是聲明的部分會被忽略而已。

原文鏈接：JavaScript Scoping and Hoisting

你知道下面的JavaScript代碼執(zhí)行后會alert出什么值嗎？

var foo = 1;
function bar() {
    if (!foo) {
      var foo = 10;
    }
    alert(foo);
}
bar();

如果答案是"10"令你感到驚訝的話，那么下面這個會讓你更加困惑：

var a = 1;
function b() {
    a = 10;
    return;
    function a() {}
}
b();
alert(a);

瀏覽器會alert“1”。那么，到底是怎么了？盡管這看起來有點奇怪、有點危險又有點令人困惑，但這事實上卻是這門語言一個強(qiáng)力的具有表現(xiàn)力的特性。我不知道是不是有個標(biāo)準(zhǔn)來定義這種行為，但是我喜歡用”hoisting”來描述。這篇文章試著去解釋這種機(jī)制，但是首先，讓我們對JavaScript的scoping做一些必要的了解。

對于JavaScript新手來說scoping是最令人困惑的部分之一。事實上，不僅僅是新手，我遇到或很多有經(jīng)驗的JavaScript程序員也不能完全理解scoping。JavaScript的scoping如此復(fù)雜的原因是它看上去非常像C系語言的成員。請看下面的C程序：

#include 
int main() {
    int x = 1;
    printf("%d, ", x); // 1
    if (1) {
        int x = 2;
        printf("%d, ", x); // 2
    }
    printf("%d
", x); // 1
}

這段程序的輸出是1,2,1。這是因為在C系語言有塊級作用域(block-level scope),當(dāng)進(jìn)入到一個塊時，就像if語句，在這個塊級作用域中會聲明新的變量，這些變量不會影響到外部作用域。但是JavaScript卻不是這樣。在Firebug中試試下面的代碼：

var x = 1;
console.log(x); // 1
if (true) {
    var x = 2;
    console.log(x); // 2
}
console.log(x);// 2

在這段代碼中，F(xiàn)irebug顯示1，2,2。這是因為JavaScript是函數(shù)級作用域(function-level scope)。這和C系語言是完全不同的。塊，就像if語句，并不會創(chuàng)建一個新的作用域。只有函數(shù)才會創(chuàng)建新的作用域。

對于大部分熟悉C，C++，C#或是Java的程序員來說，這是意料之外并且不被待見的。幸運(yùn)的是，因為JavaScript函數(shù)的靈活性，對于這個問題我們有一個解決方案。如果你必須在函數(shù)中創(chuàng)建一個臨時的作用域，請像下面這樣做：

function foo() {
    var x = 1;
    if (x) {
        (function () {
            var x = 2;
            // some other code
        }());
    }
    // x is still 1.
}

這種方面確實非常靈活，它使用在任何需要創(chuàng)建一個臨時作用域的地方，不僅僅是某個塊中。但是，我強(qiáng)烈建議你花點時間好好理解下JavaScript scoping。它實在是非常強(qiáng)力，而且它也是我最喜歡的語言特性之一。如果你很好的理解了scoping，理解hoisting將會更加容易。

在JavaScript中，一個作用域(scope)中的名稱(name)有以下四種：

語言自身定義(Language-defined): 所有的作用域默認(rèn)都會包含this和arguments。

函數(shù)形參(Formal parameters): 函數(shù)有名字的形參會進(jìn)入到函數(shù)體的作用域中。

函數(shù)聲明(Function decalrations): 通過function foo() {}的形式。

變量聲明(Variable declarations): 通過var foo;的形式。

函數(shù)聲明和變量聲明總是被JavaScript解釋器隱式地提升(hoist)到包含他們的作用域的最頂端。很明顯的，語言自身定義和函數(shù)形參已經(jīng)處于作用域頂端。這就像下面的代碼：

function foo() {
    bar();
    var x = 1;
}

實際上被解釋成像下面那樣：

function foo() {
    var x;
    bar();
    x = 1;
}

結(jié)果是不管聲明是否被執(zhí)行都沒有影響。下面的兩段代碼是等價的：

function foo() {
    if (false) {
        var x = 1;
    }
    return;
    var y = 1;
}
function foo() {
    var x, y;
    if (false) {
        x = 1;
    }
    return;
    y = 1;
}

注意到聲明的賦值部分并沒有被提升(hoist)。只有聲明的名稱被提升了。這和函數(shù)聲明不同，函數(shù)聲明中，整個函數(shù)體也都會被提升。但是請記住，聲明一個函數(shù)一般來說有兩種方式?？紤]下面的JavaScript代碼：

function test() {
    foo(); // TypeError "foo is not a function"
    bar(); // "this will run!"
    var foo = function () { // 函數(shù)表達(dá)式被賦值給變量"foo"
        alert("this won"t run!");
    }
    function bar() { // 名為"bar"的函數(shù)聲明
        alert("this will run!");
    }
}
test();

在這里，只有函數(shù)聲明的方式會連函數(shù)體一起提升，而函數(shù)表達(dá)式中只會提升名稱，函數(shù)體只有在執(zhí)行到賦值語句時才會被賦值。

以上就包括了所有關(guān)于提升(hoisting)的基礎(chǔ)，看起來并沒有那么復(fù)雜或是令人困惑對吧。但是，這是JavaScript，在某些特殊情況下，總會有那么一點復(fù)雜。

需要記住的最最重要的特例就是名稱解析順序(name resolution order)。記住一個名稱進(jìn)入一個作用域一共有四種方式。我上面列出的順序就是他們解析的順序?？偟膩碚f，如果一個名稱已經(jīng)被定義了，他絕不會被另一個擁有不用屬性的同名名稱覆蓋。這就意味著，函數(shù)聲明比變量聲明具有更高的優(yōu)先級。但是這卻不意味著對這個名稱的賦值無效，僅僅是聲明的部分會被忽略而已。但是有下面幾個例外：

內(nèi)置的名稱arguments的行為有些怪異。他似乎是在形參之后，函數(shù)聲明之前被聲明。這就意味著名為arguments的形參會比內(nèi)置的arguments具有更高的優(yōu)先級，即使這個形參是undefined。這是一個不好的特性，不要使用arguments作為形參。
任何地方試圖使用this作為一個標(biāo)識都會引起語法錯誤，這是一個好的特性。
如果有多個同名形參，那位于列表最后的形參擁有最高的優(yōu)先級，即使它是undefined。

你可以在函數(shù)表達(dá)式中給函數(shù)定義名稱，就像函數(shù)聲明的語句一樣。但這并不會使它成為一個函數(shù)聲明，并且這個名稱也不會被引入到作用域中，而且，函數(shù)體也不會被提升(hoist)。這里有一些代碼可以說明我說的是什么意思：

foo(); // TypeError "foo is not a function"
bar(); // valid
baz(); // TypeError "baz is not a function"
spam(); // ReferenceError "spam is not defined"

var foo = function () {}; // 匿名函數(shù)表達(dá)式("foo"被提升)
function bar() {}; // 函數(shù)聲明("bar"和函數(shù)體被提升)
var baz = function spam() {}; // 命名函數(shù)表達(dá)式(只有"baz"被提升)

foo(); // valid
bar(); // valid
baz(); // valid
spam(); // ReferenceError "spam is not defined"

現(xiàn)在你明白了作用域和提升，那么這對編寫JavaScript代碼意味著什么呢？最重要的一條是聲明變量時總是使用var語句。我強(qiáng)烈的建議你在每個作用域中都只在最頂端使用一個var。如果你強(qiáng)制自己這么做，你永遠(yuǎn)也不會被提升相關(guān)的問題困擾。盡管這么做會使的跟蹤當(dāng)前作用域?qū)嶋H聲明了哪些變量變得更加困難。我建議在JSLint使用onevar選項。如果你做了所有前面的建議，你的代碼看起來會是下面這樣：

/*jslint onevar: true [...] */
function foo(a, b, c) {
    var x = 1,
        bar,
        baz = "something";
}

我發(fā)現(xiàn)直接參考ECMAScript Standard (pdf)來理解這些東西是如何運(yùn)作的總是很有用。下面是關(guān)于變量聲明和作用域的一段摘錄(section 12.2.2)：

If the variable statement occurs inside a FunctionDeclaration, the variables are defined with function-local scope in that function, as described in section 10.1.3. Otherwise, they are defined with global scope (that is, they are created as members of the global object, as described in section 10.1.3) using property attributes { DontDelete }. Variables are created when the execution scope is entered. A Block does not define a new execution scope. Only Program and FunctionDeclaration produce a new scope. Variables are initialised to undefined when created. A variable with an Initialiser is assigned the value of its AssignmentExpression when the VariableStatement is executed, not when the variable is created.

我希望這篇文章能夠給JavaScript程序員最容易困惑的部分一些啟示。我盡力寫的全面，以免引起更多的困惑。如果我寫錯了或是漏掉了某些重要的東西，請一定讓我知道。