JS的作用域和聲明提前

首先介紹下Javascript的函數作用域的概念，然后了解下什么是作用域和聲明提前，最后通過一個例子剖析Javascript的作用域鏈。

1.變量的作用域

稍微有些編程背景的都知道，變量的作用域分為兩種： 全局變量 和 局部變量 。

Javascript是一門 弱類型語言 。所有的變量聲明都是通過var來接收，如

var num = 1;
var str = “string”;
var flag = true;

看似是一個非常省事的機制，但是也有讓人頭疼的時候，一些隱式的類型轉換經常會把搞暈。先看看全局變量和局部變量：

var g = "global"; function f(){ var l = "local";
}

注意 ： 1. 如果在函數f（）中將去掉var聲明，則變量l就會從局部變量升級為全局變量。

2. 局部變量的優先級高於同名的全局變量 。如果在函數f()中聲明一個局部變量也為g，則全局變量就會被局部變量覆蓋

2.作用域和聲明提前

看到Javascript作用域這塊，可以說顛覆了以前我對作用域的認識。類似Java和C等編程語言，在花括號“{}”內的代碼都是有各自的作用域的，並且在這個范圍以外，這些變量是不可見的，我們稱這種作用域為 塊級作用域 。

但是這完全不適用於Javascript，因為Javascript沒有塊級作用域，但是Javascript有 函數作用域 。函數作用域簡言之就是：變量在聲明他們的函數體以及這個函數體嵌套的任意函數體內都是有定義的。

對於“ 變量在聲明他們的函數體以及這個函數體嵌套的任意函數體內都是有定義的 ”這句話的延伸理解：變量在聲明之前就已經可用。我們稱這種特性為聲明提前，也就是函數里的所有變量都被“提前”至函數體的頂部。

下面我們看一個經典的陷阱案例：

var v = "yoyo"; (function(){ console.log(v); var v = "check now";
    console.log(v);
})();

對於第二次執行結果“check now”沒有什么特別的，為什么第一次輸出的不是“yoyo”而是“undefined”。

對於這個問題的解釋就用到上面的那句話， 局部變量在整個函數體始終是有定義的 ，即在函數體內局部變量覆蓋了同名全局變量，而且，程序只有在執行到var語句時，局部變量才會被真正賦值。所以，這時你大概會明白為什么是undefined了，因為此時還沒有遇到var，即沒有定義，等價於下面的形式：

var v = "yoyo"; (function(){ var scope; console.log(v); var v = "check now";
    console.log(v);
})();

疑問 ？ ？ ？

將上面的代碼稍稍修改為：

var v = "yoyo"; (function(){
    console.log(v);
})();

運行結果為：

相比於上面的代碼只是少了一行添加一個局部變量v並賦值的語句，但是結果卻是“yoyo”。

這里之所以輸出“yoyo”，不能按照上面的定式思維。上面有句話叫“局部變量在整個函數體始終是有定義的”，但是這里沒有局部變量的定義，所以按照下面要提到的作用域鏈會逐層向上尋找變量，最后找到了全局變量v，從而最后的輸出是“yoyo”。

舉一個通俗點的例子，你准備要花錢買點東西時，會先摸摸自己的錢包，沒了你可以找你爸要，你爸也沒有就再找你爺爺，... 。而你爸沒錢買東西時，他並不會來找你要。

以上是我的個人理解，如果你對這兩種情況有自己的理解，請在下方給出，望不吝指教。

3.作用域鏈

全局變量在程序中始終是有定義的，局部變量在聲明它的函數體內以及其所嵌套的函數內始終是有定義的。

每一段Javascript代碼（全局代碼或函數）都有一個與之相關聯的作用域鏈，這個作用域鏈就是一個對象列表或鏈表。比如當 Javascript需要查找變量x的值時，它會從鏈中的第一個對象開始，如果該對象有一個名為x的屬性，則直接使用，如果不存在名為x的屬性，則會繼續 向鏈上的下一個對象查找，如此遞歸下去直到找到。如果整個鏈上都找不到，則認為不存在x這個屬性。舉例：

name="lwy"; function t(){ var name="tlwy"; function s(){ var name="slwy"; console.log(name); } function ss(){ console.log(name); } s();   ss();
}
t();