JavaScript 中的閉包和作用域鏈（讀書筆記）

　　要想理解閉包，應當先理解JavaScript的作用域和作用域鏈。

　　JavaScript有一個特性被稱之為“聲明提前（hoisting）”，即JavaScript函數里聲明的所有變量（但不涉及賦值）都被“提前”至函數體的頂部，“聲明提前”這步操作是在JavaScript引擎的“預編譯”時進行的，是在代碼開始運行之前，看一下下面的例子：

var name = "YY";
function getName(){console.log(name);      //輸出undefine，而不是“YY”var name = "Crucify";console.log(name);      //輸出“Crucify”
}

　　首先局部變量定義了一個和全局變量相同名字的變量，則在函數體內部局部變量遮蓋了同名的全局變量，然后在函數體內部變量name的聲明被提前至函數體頂部但并沒有賦值，所以此時name是一個只被聲明但并沒有初始化的變量，我們知道變量只進行聲明但并不初始化則它的值為undefine，所以第一行打印時undefine，下一行開始為變量name進行賦值，所以第二行打印的輸出是我們所期望的。

?

　　當某個函數被調用時，會創建一個執行環境及相應的作用域鏈。

　　執行環境（execution context）定義了變量或函數有權訪問的其他數據，決定了它們各自的行為。每個函數都有自己的執行環境。當執行流進入一個函數時，函數的環境就會被推入一個環境棧中。而在函數執行之后，棧將其環境彈出，把控制權返回給之前的執行環境。當代碼在一個環境中執行時，會創建變量對象的一個作用域鏈（scope chain）。作用域鏈的用途，是保證對執行環境有權訪問的所有變量和函數的有序訪問。

　　作用域鏈本質上是一個指向變量對象的指針列表，它只引用但不實際包含變量對象。當JavaScript需要查找變量x的值的時候（這個過程稱作“變量解析”（variable resolution）），他會從列表之中的第一個對象開始查找直到最后一個對象，如果某個對象有一個名為x的屬性，則會直接食用這個屬性的值。如果作用域鏈上沒有任何一個對象含有屬性x，那么就認為這段代碼的作用域上不存在x，并最終拋出一個引用錯誤異常。

　　所謂的“變量對象的指針列表”很好理解。在JavaScript的最頂層代碼中（也就是不包含在任何函數定義內的代碼），作用域鏈是由一個全局對象組成。在不包含嵌套的函數體內，作用域鏈上有兩個對象，第一個是定義函數參數和局部變量的對象，第二個是全局對象。在一個嵌套的函數體內，作用域鏈上則至少有三個對象，看下面的例子：

var name = "YY";
function getName(){var name = "Crucify";function f(){return name;          }return f();
}

　　函數f()的作用域鏈上有三個對象，第一個是定義函數f()參數和局部變量的對象，第二個是定義函數getName()參數和局部變量的對象，第三個是全局對象。

　　每個環境都可以向上搜索作用域鏈，以查詢變量和函數名，但任何環境都不能通過向下搜索作用域鏈而進入另一個執行環境，即函數f()可以向上搜索函數getName()和全局對象中的屬性，但是全局對象不能向下搜索getName()和f()中的值。

?

　　而創建閉包的常見方式，就是在一個函數內部創建另一個函數。閉包是指有權訪問另一個函數作用域中的變量的函數。

　　一般來講，當函數執行完畢后，局部活動對象就會被銷毀，內存中僅保存全局作用域（全局執行環境的變量對象）。但是，閉包的情況有所不同，因為在另一個函數內部定義的函數會將包含函數（即外部函數）的活動對象添加到它的作用域鏈中，參考下面的代碼：

function createComparisonFunction(propertyName) {return function(object1, object2){var value1 = object1[propertyName];var value2 = object2[propertyName];if (value1 < value2){return -1;} else if (value1 > value2){return 1;} else {return 0;}};
}

當下列代碼執行時，包含函數與內部匿名函數的作用域鏈如圖所示：

var compare = createComparisonFunction("name");
var result = compare({ name: "Nicholas" }, { name: "Greg" });

?

　　當createComparisonFunction()函數在執行完畢后，其活動對象也不會被銷毀，因為匿名函數的作用域鏈仍然在引用這個活動對象。直到匿名函數被銷毀后， createComparisonFunction()的活動對象才會被銷毀：

compare = null;  //解除對匿名函數的引用（以便釋放內存）

　　由于閉包會攜帶包含它的函數的作用域，因此會比其他函數占用更多的內存。過度使用閉包可能會導致內存占用過多，所以在絕對必要時再考慮使用閉包。

　　作用域鏈的這種配置機制引出了一個值得注意的副作用，即閉包只能取得包含函數中任何變量的最后一個值。因為閉包所保存的是整個變量對象，而不是某個特殊的變量：

function createFunctions(){var result = new Array();for (var i=0; i < 10; i++){result[i] = function(){return i;};}return result;
}

　　這個函數會返回一個函數數組，且每個函數都返回 10。

　　在閉包中使用 this 對象也可能會導致一些問題。我們知道， this 對象是在運行時基于函數的執行環境綁定的，而匿名函數的執行環境具有全局性，因此其 this 對象通常指向 window（在通過 call()或 apply()改變函數執行環境的情況下， this 就會指向其他對象），看下面的例子：

var name = "The Window";
var object = {name : "My Object",getNameFunc : function(){return function(){return this.name;};}
};
alert(object.getNameFunc()()); //"The Window"（在非嚴格模式下）

　　把外部作用域中的 this 對象保存在一個閉包能夠訪問到的變量里，就可以讓閉包訪問該對象了，如下所示：

var name = "The Window";
var object = {name : "My Object",getNameFunc : function(){var that = this;return function(){return that.name;};}
};
alert(object.getNameFunc()()); //"My Object"

arguments 也存在同樣的問題。如果想訪問作用域中的 arguments 對象，必須將對該對象的引用保存到另一個閉包能夠訪問的變量中。