編輯“JavaScript閉包”（章節(jié)）

==閉包內(nèi)的微觀世界==

如果要更加深入的了解閉包以及函數(shù)a和嵌套函數(shù)b的關(guān)系，我們需要引入另外幾個概念：函數(shù)的執(zhí)行環(huán)境(excution context)、活動對象(call object)、作用域(scope)、作用域鏈(scope chain)。以函數(shù)a從定義到執(zhí)行的過程為例闡述這幾個概念。

*定義函數(shù)a的時候，js解釋器會將函數(shù)a的作用域鏈(scope chain)設(shè)置為定義a時a所在的“環(huán)境”，如果a是一個全局函數(shù)，則scope chain中只有window對象。

*當(dāng)函數(shù)a執(zhí)行的時候，a會進入相應(yīng)的執(zhí)行環(huán)境(excution context)。

*在創(chuàng)建執(zhí)行環(huán)境的過程中，首先會為a添加一個scope屬性，即a的作用域，其值就為第1步中的scope chain。即a.scope=a的作用域鏈。

*然后執(zhí)行環(huán)境會創(chuàng)建一個活動對象(call object)?；顒訉ο笠彩且粋€擁有屬性的對象，但它不具有原型而且不能通過JavaScript代碼直接訪問。創(chuàng)建完活動對象后，把活動對象添加到a的作用域鏈的最頂端。此時a的作用域鏈包含了兩個對象：a的活動對象和window對象。

*下一步是在活動對象上添加一個arguments屬性，它保存著調(diào)用函數(shù)a時所傳遞的參數(shù)。

*最后把所有函數(shù)a的形參和內(nèi)部的函數(shù)b的引用也添加到a的活動對象上。在這一步中，完成了函數(shù)b的的定義，因此如同第3步，函數(shù)b的作用域鏈被設(shè)置為b所被定義的環(huán)境，即a的作用域。

到此，整個函數(shù)a從定義到執(zhí)行的步驟就完成了。此時a返回函數(shù)b的引用給c，又函數(shù)b的作用域鏈包含了對函數(shù)a的活動對象的引用，也就是說b可以訪問到a中定義的所有變量和函數(shù)。函數(shù)b被c引用，函數(shù)b又依賴函數(shù)a，因此函數(shù)a在返回后不會被GC回收。

當(dāng)函數(shù)b執(zhí)行的時候亦會像以上步驟一樣。因此，執(zhí)行時b的作用域鏈包含了3個對象：b的活動對象、a的活動對象和window對象.

當(dāng)在函數(shù)b中訪問一個變量的時候，搜索順序是先搜索自身的活動對象，如果存在則返回，如果不存在將繼續(xù)搜索函數(shù)a的活動對象，依 次查找，直到找到為止。如果整個作用域鏈上都無法找到，則返回undefined。如果函數(shù)b存在prototype原型對象，則在查找完自身的活動對象 后先查找自身的原型對象，再繼續(xù)查找。這就是Javascript中的變量查找機制。