翻譯：為之漫筆
鏈接：http://www.cn-cuckoo.com/2007/08/01/understand-javascript-closures-72.html
英文原版：http://jibbering.com/faq/faq_notes/closures.html
- Closure
- 所謂“閉包”，指的是一個(gè)擁有許多變量和綁定了這些變量的環(huán)境的表達(dá)式（通常是一個(gè)函數(shù)），因而這些變量也是該表達(dá)式的一部分。
閉包是 ECMAScript （JavaScript）最強(qiáng)大的特性之一，但用好閉包的前提是必須理解閉包。閉包的創(chuàng)建相對(duì)容易，人們甚至?xí)诓唤?jīng)意間創(chuàng)建閉包，但這些無(wú)意創(chuàng)建的閉包卻存在潛在的危害，尤其是在比較常見的瀏覽器環(huán)境下。如果想要揚(yáng)長(zhǎng)避短地使用閉包這一特性，則必須了解它們的工作機(jī)制。而閉包工作機(jī)制的實(shí)現(xiàn)很大程度上有賴于標(biāo)識(shí)符（或者說(shuō)對(duì)象屬性）解析過(guò)程中作用域的角色。
關(guān)于閉包，最簡(jiǎn)單的描述就是 ECMAScript 允許使用內(nèi)部函數(shù)－－即函數(shù)定義和函數(shù)表達(dá)式位于另一個(gè)函數(shù)的函數(shù)體內(nèi)。而且，這些內(nèi)部函數(shù)可以訪問(wèn)它們所在的外部函數(shù)中聲明的所有局部變量、參數(shù)和聲明的其他內(nèi)部函數(shù)。當(dāng)其中一個(gè)這樣的內(nèi)部函數(shù)在包含它們的外部函數(shù)之外被調(diào)用時(shí)，就會(huì)形成閉包。也就是說(shuō)，內(nèi)部函數(shù)會(huì)在外部函數(shù)返回后被執(zhí)行。而當(dāng)這個(gè)內(nèi)部函數(shù)執(zhí)行時(shí)，它仍然必需訪問(wèn)其外部函數(shù)的局部變量、參數(shù)以及其他內(nèi)部函數(shù)。這些局部變量、參數(shù)和函數(shù)聲明（最初時(shí)）的值是外部函數(shù)返回時(shí)的值，但也會(huì)受到內(nèi)部函數(shù)的影響。
遺憾的是，要適當(dāng)?shù)乩斫忾]包就必須理解閉包背后運(yùn)行的機(jī)制，以及許多相關(guān)的技術(shù)細(xì)節(jié)。雖然本文的前半部分并沒有涉及 ECMA 262 規(guī)范指定的某些算法，但仍然有許多無(wú)法回避或簡(jiǎn)化的內(nèi)容。對(duì)于個(gè)別熟悉對(duì)象屬性名解析的人來(lái)說(shuō)，可以跳過(guò)相關(guān)的內(nèi)容，但是除非你對(duì)閉包也非常熟悉，否則最好是不要跳過(guò)下面幾節(jié)。
ECMAScript 認(rèn)可兩類對(duì)象：原生（Native）對(duì)象和宿主（Host）對(duì)象，其中宿主對(duì)象包含一個(gè)被稱為內(nèi)置對(duì)象的原生對(duì)象的子類（ECMA 262 3rd Ed Section 4.3）。原生對(duì)象屬于語(yǔ)言，而宿主對(duì)象由環(huán)境提供，比如說(shuō)可能是文檔對(duì)象、DOM 等類似的對(duì)象。
原生對(duì)象具有松散和動(dòng)態(tài)的命名屬性（對(duì)于某些實(shí)現(xiàn)的內(nèi)置對(duì)象子類別而言，動(dòng)態(tài)性是受限的－－但這不是太大的問(wèn)題）。對(duì)象的命名屬性用于保存值，該值可以是指向另一個(gè)對(duì)象（Objects）的引用（在這個(gè)意義上說(shuō)，函數(shù)也是對(duì)象），也可以是一些基本的數(shù)據(jù)類型，比如：String、Number、Boolean、Null 或 Undefined。其中比較特殊的是 Undefined 類型，因?yàn)榭梢越o對(duì)象的屬性指定一個(gè) Undefined 類型的值，而不會(huì)刪除對(duì)象的相應(yīng)屬性。而且，該屬性只是保存著 undefined 值。
下面簡(jiǎn)要介紹一下如何設(shè)置和讀取對(duì)象的屬性值，并最大程度地體現(xiàn)相應(yīng)的內(nèi)部細(xì)節(jié)。
對(duì)象的命名屬性可以通過(guò)為該命名屬性賦值來(lái)創(chuàng)建，或重新賦值。即，對(duì)于：
var objectRef = new Object();
可以通過(guò)下面語(yǔ)句來(lái)創(chuàng)建名為 “testNumber” 的屬性：
objectRef.testNumber = 5;
objectRef["testNumber"] = 5;
在賦值之前，對(duì)象中沒有“testNumber” 屬性，但在賦值后，則創(chuàng)建一個(gè)屬性。之后的任何賦值語(yǔ)句都不需要再創(chuàng)建這個(gè)屬性，而只會(huì)重新設(shè)置它的值：
objectRef.testNumber = 8;
objectRef["testNumber"] = 8;
稍后我們會(huì)介紹，Javascript 對(duì)象都有原型（prototypes）屬性，而這些原型本身也是對(duì)象，因而也可以帶有命名的屬性。但是，原型對(duì)象命名屬性的作用并不體現(xiàn)在賦值階段。同樣，在將值賦給其命名屬性時(shí)，如果對(duì)象沒有該屬性則會(huì)創(chuàng)建該命名屬性，否則會(huì)重設(shè)該屬性的值。
當(dāng)讀取對(duì)象的屬性值時(shí)，原型對(duì)象的作用便體現(xiàn)出來(lái)。如果對(duì)象的原型中包含屬性訪問(wèn)器（property accessor）所使用的屬性名，那么該屬性的值就會(huì)返回：
objectRef.testNumber = 8;
var val = objectRef.testNumber;
而且，由于所有對(duì)象都有原型，而原型本身也是對(duì)象，所以原型也可能有原型，這樣就構(gòu)成了所謂的原型鏈。原型鏈終止于鏈中原型為 null 的對(duì)象。Object 構(gòu)造函數(shù)的默認(rèn)原型就有一個(gè) null 原型，因此：
var objectRef = new Object();
創(chuàng)建了一個(gè)原型為 Object.prototype 的對(duì)象，而該原型自身則擁有一個(gè)值為 null 的原型。也就是說(shuō)，objectRef 的原型鏈中只包含一個(gè)對(duì)象－－ Object.prototype。但對(duì)于下面的代碼而言：
function MyObject1(formalParameter){
this.testNumber = formalParameter;
}
function MyObject2(formalParameter){
this.testString = formalParameter;
}
MyObject2.prototype = new MyObject1( 8 );
var objectRef = new MyObject2( "String_Value" );
被變量 objectRef 所引用的 MyObject2 的實(shí)例擁有一個(gè)原型鏈。該鏈中的第一個(gè)對(duì)象是在創(chuàng)建后被指定給 MyObject2 構(gòu)造函數(shù)的 prototype 屬性的 MyObject1 的一個(gè)實(shí)例。MyObject1 的實(shí)例也有一個(gè)原型，即與 Object.prototype 所引用的對(duì)象對(duì)應(yīng)的默認(rèn)的 Object 對(duì)象的原型。最后， Object.prototype 有一個(gè)值為 null 的原型，因此這條原型鏈到此結(jié)束。
當(dāng)某個(gè)屬性訪問(wèn)器嘗試讀取由 objectRef 所引用的對(duì)象的屬性值時(shí)，整個(gè)原型鏈都會(huì)被搜索。在下面這種簡(jiǎn)單的情況下：
var val = objectRef.testString;
因?yàn)?objectRef 所引用的 MyObject2 的實(shí)例有一個(gè)名為“testString”的屬性，因此被設(shè)置為“String_Value”的該屬性的值被賦給了變量 val。但是：
var val = objectRef.testNumber;
則不能從 MyObject2 實(shí)例自身中讀取到相應(yīng)的命名屬性值，因?yàn)樵搶?shí)例沒有這個(gè)屬性。然而，變量 val 的值仍然被設(shè)置為 8，而不是未定義－－這是因?yàn)樵谠搶?shí)例中查找相應(yīng)的命名屬性失敗后，解釋程序會(huì)繼續(xù)檢查其原型對(duì)象。而該實(shí)例的原型對(duì)象是 MyObject1 的實(shí)例，這個(gè)實(shí)例有一個(gè)名為“testNumber”的屬性并且值為 8，所以這個(gè)屬性訪問(wèn)器最后會(huì)取得值 8。而且，雖然 MyObject1 和 MyObject2 都沒有定義 toString 方法，但是當(dāng)屬性訪問(wèn)器通過(guò) objectRef 讀取 toString 屬性的值時(shí)：
var val = objectRef.toString;
變量 val 也會(huì)被賦予一個(gè)函數(shù)的引用。這個(gè)函數(shù)就是在 Object.prototype 的 toString 屬性中所保存的函數(shù)。之所以會(huì)返回這個(gè)函數(shù)，是因?yàn)榘l(fā)生了搜索objectRef 原型鏈的過(guò)程。當(dāng)在作為對(duì)象的 objectRef 中發(fā)現(xiàn)沒有“toString”屬性存在時(shí)，會(huì)搜索其原型對(duì)象，而當(dāng)原型對(duì)象中不存在該屬性時(shí)，則會(huì)繼續(xù)搜索原型的原型。而原型鏈中最終的原型是 Object.prototype，這個(gè)對(duì)象確實(shí)有一個(gè) toString 方法，因此該方法的引用被返回。
最后：
var val = objectRef.madeUpProperty;
返回 undefined，因?yàn)樵谒阉髟玩湹倪^(guò)程中，直至 Object.prototype 的原型－－null，都沒有找到任何對(duì)象有名為“madeUpPeoperty”的屬性，因此最終返回 undefined。
不論是在對(duì)象或?qū)ο蟮脑椭校x取命名屬性值的時(shí)候只返回首先找到的屬性值。而當(dāng)為對(duì)象的命名屬性賦值時(shí)，如果對(duì)象自身不存在該屬性則創(chuàng)建相應(yīng)的屬性。
這意味著，如果執(zhí)行像 objectRef.testNumber = 3 這樣一條賦值語(yǔ)句，那么這個(gè) MyObject2 的實(shí)例自身也會(huì)創(chuàng)建一個(gè)名為“testNumber”的屬性，而之后任何讀取該命名屬性的嘗試都將獲得相同的新值。這時(shí)候，屬性訪問(wèn)器不會(huì)再進(jìn)一步搜索原型鏈，但 MyObject1 實(shí)例值為 8 的“testNumber”屬性并沒有被修改。給 objectRef 對(duì)象的賦值只是遮擋了其原型鏈中相應(yīng)的屬性。
注意：ECMAScript 為 Object 類型定義了一個(gè)內(nèi)部 [[prototype]] 屬性。這個(gè)屬性不能通過(guò)腳本直接訪問(wèn)，但在屬性訪問(wèn)器解析過(guò)程中，則需要用到這個(gè)內(nèi)部 [[prototype]] 屬性所引用的對(duì)象鏈－－即原型鏈。可以通過(guò)一個(gè)公共的 prototype 屬性，來(lái)對(duì)與內(nèi)部的 [[prototype]] 屬性對(duì)應(yīng)的原型對(duì)象進(jìn)行賦值或定義。這兩者之間的關(guān)系在 ECMA 262（3rd edition）中有詳細(xì)描述，但超出了本文要討論的范疇。
執(zhí)行環(huán)境是 ECMAScript 規(guī)范（ECMA 262 第 3 版）用于定義 ECMAScript 實(shí)現(xiàn)必要行為的一個(gè)抽象的概念。對(duì)如何實(shí)現(xiàn)執(zhí)行環(huán)境，規(guī)范沒有作規(guī)定。但由于執(zhí)行環(huán)境中包含引用規(guī)范所定義結(jié)構(gòu)的相關(guān)屬性，因此執(zhí)行環(huán)境中應(yīng)該保有（甚至實(shí)現(xiàn)）帶有屬性的對(duì)象－－即使屬性不是公共屬性。
所有 JavaScript 代碼都是在一個(gè)執(zhí)行環(huán)境中被執(zhí)行的。全局代碼（作為內(nèi)置的 JS 文件執(zhí)行的代碼，或者 HTML 頁(yè)面加載的代碼）是在我將稱之為“全局執(zhí)行環(huán)境”的執(zhí)行環(huán)境中執(zhí)行的，而對(duì)函數(shù)的每次調(diào)用（有可能是作為構(gòu)造函數(shù)）同樣有關(guān)聯(lián)的執(zhí)行環(huán)境。通過(guò) eval 函數(shù)執(zhí)行的代碼也有截然不同的執(zhí)行環(huán)境，但因?yàn)?JavaScript 程序員在正常情況下一般不會(huì)使用 eval，所以這里不作討論。有關(guān)執(zhí)行環(huán)境的詳細(xì)說(shuō)明請(qǐng)參閱 ECMA 262（第 3 版）第 10.2 節(jié)。
當(dāng)調(diào)用一個(gè) JavaScript 函數(shù)時(shí)，該函數(shù)就會(huì)進(jìn)入相應(yīng)的執(zhí)行環(huán)境。如果又調(diào)用了另外一個(gè)函數(shù)（或者遞歸地調(diào)用同一個(gè)函數(shù)），則又會(huì)創(chuàng)建一個(gè)新的執(zhí)行環(huán)境，并且在函數(shù)調(diào)用期間執(zhí)行過(guò)程都處于該環(huán)境中。當(dāng)調(diào)用的函數(shù)返回后，執(zhí)行過(guò)程會(huì)返回原始執(zhí)行環(huán)境。因而，運(yùn)行中的 JavaScript 代碼就構(gòu)成了一個(gè)執(zhí)行環(huán)境棧。
在創(chuàng)建執(zhí)行環(huán)境的過(guò)程中，會(huì)按照定義的先后順序完成一系列操作。首先，在一個(gè)函數(shù)的執(zhí)行環(huán)境中，會(huì)創(chuàng)建一個(gè)“活動(dòng)”對(duì)象。活動(dòng)對(duì)象是規(guī)范中規(guī)定的另外一種機(jī)制。之所以稱之為對(duì)象，是因?yàn)樗鼡碛锌稍L問(wèn)的命名屬性，但是它又不像正常對(duì)象那樣具有原型（至少?zèng)]有預(yù)定義的原型），而且不能通過(guò) JavaScript 代碼直接引用活動(dòng)對(duì)象。
為函數(shù)調(diào)用創(chuàng)建執(zhí)行環(huán)境的下一步是創(chuàng)建一個(gè) arguments 對(duì)象，這是一個(gè)類似數(shù)組的對(duì)象，它以整數(shù)索引的數(shù)組成員一一對(duì)應(yīng)地保存著調(diào)用函數(shù)時(shí)所傳遞的參數(shù)。這個(gè)對(duì)象也有 length 和 callee 屬性（這兩個(gè)屬性與我們討論的內(nèi)容無(wú)關(guān)，詳見規(guī)范）。然后，會(huì)為活動(dòng)對(duì)象創(chuàng)建一個(gè)名為“arguments”的屬性，該屬性引用前面創(chuàng)建的 arguments 對(duì)象。
接著，為執(zhí)行環(huán)境分配作用域。作用域由對(duì)象列表（鏈）組成。每個(gè)函數(shù)對(duì)象都有一個(gè)內(nèi)部的 [[scope]] 屬性（該屬性我們稍后會(huì)詳細(xì)介紹），這個(gè)屬性也由對(duì)象列表（鏈）組成。指定給一個(gè)函數(shù)調(diào)用執(zhí)行環(huán)境的作用域，由該函數(shù)對(duì)象的 [[scope]] 屬性所引用的對(duì)象列表（鏈）組成，同時(shí)，活動(dòng)對(duì)象被添加到該對(duì)象列表的頂部（鏈的前端）。
之后會(huì)發(fā)生由 ECMA 262 中所謂“可變”對(duì)象完成的“變量實(shí)例化”的過(guò)程。只不過(guò)此時(shí)使用活動(dòng)對(duì)象作為可變對(duì)象（這里很重要，請(qǐng)注意：它們是同一個(gè)對(duì)象）。此時(shí)會(huì)將函數(shù)的形式參數(shù)創(chuàng)建為可變對(duì)象命名屬性，如果調(diào)用函數(shù)時(shí)傳遞的參數(shù)與形式參數(shù)一致，則將相應(yīng)參數(shù)的值賦給這些命名屬性（否則，會(huì)給命名屬性賦 undefined 值）。對(duì)于定義的內(nèi)部函數(shù)，會(huì)以其聲明時(shí)所用名稱為可變對(duì)象創(chuàng)建同名屬性，而相應(yīng)的內(nèi)部函數(shù)則被創(chuàng)建為函數(shù)對(duì)象并指定給該屬性。變量實(shí)例化的最后一步是將在函數(shù)內(nèi)部聲明的所有局部變量創(chuàng)建為可變對(duì)象的命名屬性。
根據(jù)聲明的局部變量創(chuàng)建的可變對(duì)象的屬性在變量實(shí)例化過(guò)程會(huì)被賦予 undefined 值。在執(zhí)行函數(shù)體內(nèi)的代碼、并計(jì)算相應(yīng)的賦值表達(dá)式之前不會(huì)對(duì)局部變量執(zhí)行真正的實(shí)例化。
事實(shí)上，擁有 arguments 屬性的活動(dòng)對(duì)象和擁有與函數(shù)局部變量對(duì)應(yīng)的命名屬性的可變對(duì)象是同一個(gè)對(duì)象。因此，可以將標(biāo)識(shí)符 arguments 作為函數(shù)的局部變量來(lái)看待。
回到頂部
最后，在this可以被使用之前，還必須先對(duì)其賦值。如果賦的值是一個(gè)對(duì)象的引用，則 this.m 訪問(wèn)的便是該對(duì)象上的 m。如果（內(nèi)部）賦的值是 null，則this就指向全局對(duì)象。 （此段由 pangba 劉未鵬 翻譯）
（原文備考：Finally a value is assigned for use with the this keyword. If the value assigned refers to an object then property accessors prefixed with the this keyword reference properties of that object. If the value assigned (internally) is null then the this keyword will refer to the global object. ）
創(chuàng)建全局執(zhí)行環(huán)境的過(guò)程會(huì)稍有不同，因?yàn)樗鼪]有參數(shù)，所以不需要通過(guò)定義的活動(dòng)對(duì)象來(lái)引用這些參數(shù)。但全局執(zhí)行環(huán)境也需要一個(gè)作用域，而它的作用域鏈實(shí)際上只由一個(gè)對(duì)象－－全局對(duì)象－－組成。全局執(zhí)行環(huán)境也會(huì)有變量實(shí)例化的過(guò)程，它的內(nèi)部函數(shù)就是涉及大部分 JavaScript 代碼的、常規(guī)的頂級(jí)函數(shù)聲明。而且，在變量實(shí)例化過(guò)程中全局對(duì)象就是可變對(duì)象，這就是為什么全局性聲明的函數(shù)是全局對(duì)象屬性的原因。全局性聲明的變量同樣如此。
全局執(zhí)行環(huán)境也會(huì)使用 this 對(duì)象來(lái)引用全局對(duì)象。
調(diào)用函數(shù)時(shí)創(chuàng)建的執(zhí)行環(huán)境會(huì)包含一個(gè)作用域鏈，這個(gè)作用域鏈?zhǔn)峭ㄟ^(guò)將該執(zhí)行環(huán)境的活動(dòng)（可變）對(duì)象添加到保存于所調(diào)用函數(shù)對(duì)象的 [[scope]] 屬性中的作用域鏈前端而構(gòu)成的。所以，理解函數(shù)對(duì)象內(nèi)部的 [[scope]] 屬性的定義過(guò)程至關(guān)重要。
在 ECMAScript 中，函數(shù)也是對(duì)象。函數(shù)對(duì)象在變量實(shí)例化過(guò)程中會(huì)根據(jù)函數(shù)聲明來(lái)創(chuàng)建，或者是在計(jì)算函數(shù)表達(dá)式或調(diào)用 Function 構(gòu)造函數(shù)時(shí)創(chuàng)建。
通過(guò)調(diào)用 Function 構(gòu)造函數(shù)創(chuàng)建的函數(shù)對(duì)象，其內(nèi)部的 [[scope]] 屬性引用的作用域鏈中始終只包含全局對(duì)象。
通過(guò)函數(shù)聲明或函數(shù)表達(dá)式創(chuàng)建的函數(shù)對(duì)象，其內(nèi)部的 [[scope]] 屬性引用的則是創(chuàng)建它們的執(zhí)行環(huán)境的作用域鏈。
在最簡(jiǎn)單的情況下，比如聲明如下全局函數(shù)：-
function exampleFunction(formalParameter){
...
}
當(dāng)為創(chuàng)建全局執(zhí)行環(huán)境而進(jìn)行變量實(shí)例化時(shí)，會(huì)根據(jù)上面的函數(shù)聲明創(chuàng)建相應(yīng)的函數(shù)對(duì)象。因?yàn)槿謭?zhí)行環(huán)境的作用域鏈中只包含全局對(duì)象，所以它就給自己創(chuàng)建的、并以名為“exampleFunction”的屬性引用的這個(gè)函數(shù)對(duì)象的內(nèi)部 [[scope]] 屬性，賦予了只包含全局對(duì)象的作用域鏈。
當(dāng)在全局環(huán)境中計(jì)算函數(shù)表達(dá)式時(shí)，也會(huì)發(fā)生類似的指定作用域鏈的過(guò)程：-
var exampleFuncRef = function(){
...
}
在這種情況下，不同的是在全局執(zhí)行環(huán)境的變量實(shí)例化過(guò)程中，會(huì)先為全局對(duì)象創(chuàng)建一個(gè)命名屬性。而在計(jì)算賦值語(yǔ)句之前，暫時(shí)不會(huì)創(chuàng)建函數(shù)對(duì)象，也不會(huì)將該函數(shù)對(duì)象的引用指定給全局對(duì)象的命名屬性。但是，最終還是會(huì)在全局執(zhí)行環(huán)境中創(chuàng)建這個(gè)函數(shù)對(duì)象（當(dāng)計(jì)算函數(shù)表達(dá)式時(shí)。譯者注），而為這個(gè)創(chuàng)建的函數(shù)對(duì)象的 [[scope]] 屬性指定的作用域鏈中仍然只包含全局對(duì)象。
內(nèi)部的函數(shù)聲明或表達(dá)式會(huì)導(dǎo)致在包含它們的外部函數(shù)的執(zhí)行環(huán)境中創(chuàng)建相應(yīng)的函數(shù)對(duì)象，因此這些函數(shù)對(duì)象的作用域鏈會(huì)稍微復(fù)雜一些。在下面的代碼中，先定義了一個(gè)帶有內(nèi)部函數(shù)聲明的外部函數(shù)，然后調(diào)用外部函數(shù)：
function exampleOuterFunction(formalParameter){
function exampleInnerFuncitonDec(){
...
}
...
}
exampleOuterFunction( 5 );
與外部函數(shù)聲明對(duì)應(yīng)的函數(shù)對(duì)象會(huì)在全局執(zhí)行環(huán)境的變量實(shí)例化過(guò)程中被創(chuàng)建。因此，外部函數(shù)對(duì)象的 [[scope]] 屬性中會(huì)包含一個(gè)只有全局對(duì)象的“單項(xiàng)目”作用域鏈。
當(dāng)在全局執(zhí)行環(huán)境中調(diào)用 exampleOuterFunction 函數(shù)時(shí)，會(huì)為該函數(shù)調(diào)用創(chuàng)建一個(gè)新的執(zhí)行環(huán)境和一個(gè)活動(dòng)（可變）對(duì)象。這個(gè)新執(zhí)行環(huán)境的作用域就由新的活動(dòng)對(duì)象后跟外部函數(shù)對(duì)象的 [[scope]] 屬性所引用的作用域鏈（只有全局對(duì)象）構(gòu)成。在新執(zhí)行環(huán)境的變量實(shí)例化過(guò)程中，會(huì)創(chuàng)建一個(gè)與內(nèi)部函數(shù)聲明對(duì)應(yīng)的函數(shù)對(duì)象，而同時(shí)會(huì)給這個(gè)函數(shù)對(duì)象的 [[scope]] 屬性指定創(chuàng)建該函數(shù)對(duì)象的執(zhí)行環(huán)境（即新執(zhí)行環(huán)境。譯者注）的作用域值－－即一個(gè)包含活動(dòng)對(duì)象后跟全局對(duì)象的作用域鏈。
到目前為止，所有過(guò)程都是自動(dòng)、或者由源代碼的結(jié)構(gòu)所控制的。但我們發(fā)現(xiàn)，執(zhí)行環(huán)境的作用域鏈定義了執(zhí)行環(huán)境所創(chuàng)建的函數(shù)對(duì)象的 [[scope]] 屬性，而函數(shù)對(duì)象的 [[scope]] 屬性則定義了它的執(zhí)行環(huán)境的作用域（包括相應(yīng)的活動(dòng)對(duì)象）。不過(guò)，ECMAScript 也提供了用于修改作用域鏈 with 語(yǔ)句。
with 語(yǔ)句會(huì)計(jì)算一個(gè)表達(dá)式，如果該表達(dá)式是一個(gè)對(duì)象，那么就將這個(gè)對(duì)象添加到當(dāng)前執(zhí)行環(huán)境的作用域鏈中（在活動(dòng)<可變>對(duì)象之前）。然后，執(zhí)行 with 語(yǔ)句（它自身也可能是一個(gè)語(yǔ)句塊）中的其他語(yǔ)句。之后，又恢復(fù)到調(diào)用它之前的執(zhí)行環(huán)境的作用域鏈中。
with 語(yǔ)句不會(huì)影響在變量實(shí)例化過(guò)程中根據(jù)函數(shù)聲明創(chuàng)建函數(shù)對(duì)象。但是，可以在一個(gè) with 語(yǔ)句內(nèi)部對(duì)函數(shù)表達(dá)式求值：-
var y = {x:5};
function exampleFuncWith(){
var z;
with(y){
z = function(){
...
}
}
...
}
exampleFuncWith();
在調(diào)用 exampleFuncWith 函數(shù)所創(chuàng)建的執(zhí)行環(huán)境中包含一個(gè)由其活動(dòng)對(duì)象后跟全局對(duì)象構(gòu)成的作用域鏈。而在執(zhí)行 with 語(yǔ)句時(shí)，又會(huì)把全局變量 y 引用的對(duì)象添加到這個(gè)作用域鏈的前端。在對(duì)其中的函數(shù)表達(dá)式求值的過(guò)程中，所創(chuàng)建函數(shù)對(duì)象的 [[scope]] 屬性與創(chuàng)建它的執(zhí)行環(huán)境的作用域保持一致－－即，該屬性會(huì)引用一個(gè)由對(duì)象 y 后跟調(diào)用外部函數(shù)時(shí)所創(chuàng)建執(zhí)行環(huán)境的活動(dòng)對(duì)象，后跟全局對(duì)象的作用域鏈。
當(dāng)與 with 語(yǔ)句相關(guān)的語(yǔ)句塊執(zhí)行結(jié)束時(shí)，執(zhí)行環(huán)境的作用域得以恢復(fù)（y 會(huì)被移除），但是已經(jīng)創(chuàng)建的函數(shù)對(duì)象（z。譯者注）的 [[scope]] 屬性所引用的作用域鏈中位于最前面的仍然是對(duì)象 y。
標(biāo)識(shí)符是沿作用域鏈逆向解析的。ECMA 262 將 this 歸類為關(guān)鍵字而不是標(biāo)識(shí)符，并非不合理。因?yàn)榻馕?this 值時(shí)始終要根據(jù)使用它的執(zhí)行環(huán)境來(lái)判斷，而與作用域鏈無(wú)關(guān)。
標(biāo)識(shí)符解析從作用域鏈中的第一個(gè)對(duì)象開始。檢查該對(duì)象中是否包含與標(biāo)識(shí)符對(duì)應(yīng)的屬性名。因?yàn)樽饔糜蜴準(zhǔn)且粭l對(duì)象鏈，所以這個(gè)檢查過(guò)程也會(huì)包含相應(yīng)對(duì)象的原型鏈（如果有）。如果沒有在作用域鏈的第一個(gè)對(duì)象中發(fā)現(xiàn)相應(yīng)的值，解析過(guò)程會(huì)繼續(xù)搜索下一個(gè)對(duì)象。這樣依次類推直至找到作用域鏈中包含以標(biāo)識(shí)符為屬性名的對(duì)象為止，也有可能在作用域鏈的所有對(duì)象中都沒有發(fā)現(xiàn)該標(biāo)識(shí)符。
當(dāng)基于對(duì)象使用屬性訪問(wèn)器時(shí)，也會(huì)發(fā)生與上面相同的標(biāo)識(shí)符解析過(guò)程。當(dāng)屬性訪問(wèn)器中有相應(yīng)的屬性可以替換某個(gè)對(duì)象時(shí)，這個(gè)屬性就成為表示該對(duì)象的標(biāo)識(shí)符，該對(duì)象在作用域鏈中的位置進(jìn)而被確定。全局對(duì)象始終都位于作用域鏈的尾端。
因?yàn)榕c函數(shù)調(diào)用相關(guān)的執(zhí)行環(huán)境將會(huì)把活動(dòng)（可變）對(duì)象添加到作用域鏈的前端，所以在函數(shù)體內(nèi)使用的標(biāo)識(shí)符會(huì)首先檢查自己是否與形式參數(shù)、內(nèi)部函數(shù)聲明的名稱或局部變量一致。這些都可以由活動(dòng)（可變）對(duì)象的命名屬性來(lái)確定。
ECMAScript 要求使用自動(dòng)垃圾收集機(jī)制。但規(guī)范中并沒有詳細(xì)說(shuō)明相關(guān)的細(xì)節(jié)，而是留給了實(shí)現(xiàn)來(lái)決定。但據(jù)了解，相當(dāng)一部分實(shí)現(xiàn)對(duì)它們的垃圾收集操作只賦予了很低的優(yōu)先級(jí)。但是，大致的思想都是相同的，即如果對(duì)象不再“可引用（由于不存在對(duì)它的引用，使執(zhí)行代碼無(wú)法再訪問(wèn)到它）”時(shí)，該對(duì)象就成為垃圾收集的目標(biāo)。因而，在將來(lái)的某個(gè)時(shí)刻會(huì)將這個(gè)對(duì)象銷毀并將它所占用的一切資源釋放，以便操作系統(tǒng)重新利用。
正常情況下，當(dāng)退出一個(gè)執(zhí)行環(huán)境時(shí)就會(huì)滿足類似的條件。此時(shí)，作用域鏈結(jié)構(gòu)中的活動(dòng)（可變）對(duì)象以及在該執(zhí)行環(huán)境中創(chuàng)建的任何對(duì)象－－包括函數(shù)對(duì)象，都不再“可引用”，因此將成為垃圾收集的目標(biāo)。
閉包是通過(guò)在對(duì)一個(gè)函數(shù)調(diào)用的執(zhí)行環(huán)境中返回一個(gè)函數(shù)對(duì)象構(gòu)成的。比如，在對(duì)函數(shù)調(diào)用的過(guò)程中，將一個(gè)對(duì)內(nèi)部函數(shù)對(duì)象的引用指定給另一個(gè)對(duì)象的屬性。或者，直接將這樣一個(gè)（內(nèi)部）函數(shù)對(duì)象的引用指定給一個(gè)全局變量、或者一個(gè)全局性對(duì)象的屬性，或者一個(gè)作為參數(shù)以引用方式傳遞給外部函數(shù)的對(duì)象。例如：-
function exampleClosureForm(arg1, arg2){
var localVar = 8;
function exampleReturned(innerArg){
return ((arg1 + arg2)/(innerArg + localVar));
}
return exampleReturned;
}
var globalVar = exampleClosureForm(2, 4);
這種情況下，在調(diào)用外部函數(shù) exampleClosureForm 的執(zhí)行環(huán)境中所創(chuàng)建的函數(shù)對(duì)象就不會(huì)被當(dāng)作垃圾收集，因?yàn)樵摵瘮?shù)對(duì)象被一個(gè)全局變量所引用，而且仍然是可以訪問(wèn)的，甚至可以通過(guò) globalVar(n) 來(lái)執(zhí)行。
的確，情況比正常的時(shí)候要復(fù)雜一些。因?yàn)楝F(xiàn)在這個(gè)被變量 globalVar 引用的內(nèi)部函數(shù)對(duì)象的 [[scope]] 屬性所引用的作用域鏈中，包含著屬于創(chuàng)建該內(nèi)部函數(shù)對(duì)象的執(zhí)行環(huán)境的活動(dòng)對(duì)象（和全局對(duì)象）。由于在執(zhí)行被 globalVar 引用的函數(shù)對(duì)象時(shí)，每次都要把該函數(shù)對(duì)象的 [[scope]] 屬性所引用的整個(gè)作用域鏈添加到創(chuàng)建的（內(nèi)部函數(shù)的）執(zhí)行環(huán)境的作用域中（即此時(shí)的作用域中包括：內(nèi)部執(zhí)行環(huán)境的活動(dòng)對(duì)象、外部執(zhí)行環(huán)境的活動(dòng)對(duì)象、全局對(duì)象。譯者注）， 所以這個(gè)（外部執(zhí)行環(huán)境的）活動(dòng)對(duì)象不會(huì)被當(dāng)作垃圾收集。
閉包因此而構(gòu)成。此時(shí)，內(nèi)部函數(shù)對(duì)象擁有自由的變量，而位于該函數(shù)作用域鏈中的活動(dòng)（可變）對(duì)象則成為與變量綁定的環(huán)境。
由于活動(dòng)（可變）對(duì)象受限于內(nèi)部函數(shù)對(duì)象（現(xiàn)在被 globalVar 變量引用）的 [[scope]] 屬性中作用域鏈的引用，所以活動(dòng)對(duì)象連同它的變量聲明－－即屬性的值，都會(huì)被保留。而在對(duì)內(nèi)部函數(shù)調(diào)用的執(zhí)行環(huán)境中進(jìn)行作用域解析時(shí)，將會(huì)把與活動(dòng)（可變）對(duì)象的命名屬性一致的標(biāo)識(shí)符作為該對(duì)象的屬性來(lái)解析。活動(dòng)對(duì)象的這些屬性值即使是在創(chuàng)建它的執(zhí)行環(huán)境退出后，仍然可以被讀取和設(shè)置。
在上面的例子中，當(dāng)外部函數(shù)返回（退出它的執(zhí)行環(huán)境）時(shí)，其活動(dòng)（可變）對(duì)象的變量聲明中記錄了形式參數(shù)、內(nèi)部函數(shù)定義以及局部變量的值。arg1 屬性的值為 2，而 arg2 屬性的值為 4，localVar 的值是 8，還有一個(gè) exampleReturned 屬性，它引用由外部函數(shù)返回的內(nèi)部函數(shù)對(duì)象。（為方便起見，我們將在后面的討論中，稱這個(gè)活動(dòng)<可變>對(duì)象為 "ActOuter1"）。
如果再次調(diào)用 exampleClosureForm 函數(shù)，如：-
var secondGlobalVar = exampleClosureForm(12, 3);
- 則會(huì)創(chuàng)建一個(gè)新的執(zhí)行環(huán)境和一個(gè)新的活動(dòng)對(duì)象。而且，會(huì)返回一個(gè)新的函數(shù)對(duì)象，該函數(shù)對(duì)象的 [[scope]] 屬性引用的作用域鏈與前一次不同，因?yàn)檫@一次的作用域鏈中包含著第二個(gè)執(zhí)行環(huán)境的活動(dòng)對(duì)象，而這個(gè)活動(dòng)對(duì)象的屬性 arg1 值為 12 而屬性 arg2 值為 3。（為方便起見，我們將在后面的討論中，稱這個(gè)活動(dòng)<可變>對(duì)象為 "ActOuter2"）。
通過(guò)第二次執(zhí)行 exampleClosureForm 函數(shù)，第二個(gè)、也是截然不同的閉包誕生了。
通過(guò)執(zhí)行 exampleClosureForm 創(chuàng)建的兩個(gè)函數(shù)對(duì)象分別被指定給了全局變量 globalVar 和 secondGlobalVar，并返回了表達(dá)式 ((arg1 + arg2)/(innerArg + localVar))。該表達(dá)式對(duì)其中的四個(gè)標(biāo)識(shí)符應(yīng)用了不同的操作符。如何確定這些標(biāo)識(shí)符的值是體現(xiàn)閉包價(jià)值的關(guān)鍵所在。
我們來(lái)看一看，在執(zhí)行由 globalVar 引用的函數(shù)對(duì)象－－如 globalVar(2)－－時(shí)的情形。此時(shí)，會(huì)創(chuàng)建一個(gè)新的執(zhí)行環(huán)境和相應(yīng)的活動(dòng)對(duì)象（我們將稱之為“ActInner1”），并把該活動(dòng)對(duì)象添加到執(zhí)行的函數(shù)對(duì)象的 [[scope]] 屬性所引用的作用域鏈的前端。ActInner1 會(huì)帶有一個(gè)屬性 innerArg，根據(jù)傳遞的形式參數(shù)，其值被指定為 2。這個(gè)新執(zhí)行環(huán)境的作用域鏈變成： ActInner1->ActOuter1->全局對(duì)象.
為了返回表達(dá)式 ((arg1 + arg2)/(innerArg + localVar)) 的值，要沿著作用域鏈進(jìn)行標(biāo)識(shí)符解析。表達(dá)式中標(biāo)識(shí)符的值將通過(guò)依次查找作用域鏈中每個(gè)對(duì)象（與標(biāo)識(shí)符名稱一致）的屬性來(lái)確定。
作用域鏈中的第一個(gè)對(duì)象是 ActInner1，它有一個(gè)名為 innerArg 的屬性，值是 2。所有其他三個(gè)標(biāo)識(shí)符在 ActOuter1 中都有對(duì)應(yīng)的屬性：arg1 是 2，arg2 是 4 而 localVar 是 8。最后，函數(shù)調(diào)用返回 ((2 + 2)/(2 + 8))。
現(xiàn)在再來(lái)看一看由 secondGlobalVar 引用的同一個(gè)函數(shù)對(duì)象的執(zhí)行情況，比如 secondGlobalVar(5)。我們把這次創(chuàng)建的新執(zhí)行環(huán)境的活動(dòng)對(duì)象稱為 “ActInner2”，相應(yīng)的作用域鏈就變成了：ActInner2->ActOuter2->全局對(duì)象。ActInner2 返回 innerArg 的值 5，而 ActOuter2 分別返回 arg1、arg2 和 localVar 的值 12、3 和 8。函數(shù)調(diào)用返回的值就是 ((12 + 3)/(5 + 8))。
如果再執(zhí)行一次 secondGlobalVar，則又會(huì)有一個(gè)新活動(dòng)對(duì)象被添加到作用域鏈的前端，但 ActOuter2 仍然是鏈中的第二個(gè)對(duì)象，而他的命名屬性會(huì)再次用于完成標(biāo)識(shí)符 arg1、arg2 和 localVar 的解析。
這就是 ECMAScript 的內(nèi)部函數(shù)獲取、維持和訪問(wèn)創(chuàng)建他們的執(zhí)行環(huán)境的形式參數(shù)、聲明的內(nèi)部函數(shù)以及局部變量的過(guò)程。這個(gè)過(guò)程說(shuō)明了構(gòu)成閉包以后，內(nèi)部的函數(shù)對(duì)象在其存續(xù)過(guò)程中，如何維持對(duì)這些值的引用、如何對(duì)這些值進(jìn)行讀取的機(jī)制。即，創(chuàng)建內(nèi)部函數(shù)對(duì)象的執(zhí)行環(huán)境的活動(dòng)（可變）對(duì)象，會(huì)保留在該函數(shù)對(duì)象的 [[scope]] 屬性所引用的作用域鏈中。直到所有對(duì)這個(gè)內(nèi)部函數(shù)的引用被釋放，這個(gè)函數(shù)對(duì)象才會(huì)成為垃圾收集的目標(biāo)（連同它的作用域鏈中任何不再需要的對(duì)象）。
內(nèi)部函數(shù)自身也可能有內(nèi)部函數(shù)。在通過(guò)函數(shù)執(zhí)行返回內(nèi)部函數(shù)構(gòu)成閉包以后，相應(yīng)的閉包自身也可能會(huì)返回內(nèi)部函數(shù)從而構(gòu)成它們自己的閉包。每次作用域鏈嵌套，都會(huì)增加由創(chuàng)建內(nèi)部函數(shù)對(duì)象的執(zhí)行環(huán)境引發(fā)的新活動(dòng)對(duì)象。ECMAScript 規(guī)范要求作用域鏈?zhǔn)桥R時(shí)性的，但對(duì)作用域鏈的長(zhǎng)度卻沒有加以限制。在具體實(shí)現(xiàn)中，可能會(huì)存在實(shí)際的限制，但還沒有發(fā)現(xiàn)有具體限制數(shù)量的報(bào)告。目前來(lái)看，嵌套的內(nèi)部函數(shù)所擁有的潛能，仍然超出了使用它們的人的想像能力。
對(duì)這個(gè)問(wèn)題的回答可能會(huì)令你驚訝－－閉包什么都可以做。據(jù)我所知，閉包使得 ECMAScript 能夠模仿任何事物，因此局限性在于設(shè)計(jì)和實(shí)現(xiàn)要模仿事物的能力。只是從字面上看可能會(huì)覺得這么說(shuō)很深?yuàn)W，下面我們就來(lái)看一些更有實(shí)際意義的例子。
閉包的一個(gè)常見用法是在執(zhí)行函數(shù)之前為要執(zhí)行的函數(shù)提供參數(shù)。例如：將函數(shù)作為 setTimout 函數(shù)的第一個(gè)參數(shù)，這在 Web 瀏覽器的環(huán)境下是非常常見的一種應(yīng)用。
setTimeout 用于有計(jì)劃地執(zhí)行一個(gè)函數(shù)（或者一串 JavaScript 代碼，不是在本例中），要執(zhí)行的函數(shù)是其第一個(gè)參數(shù)，其第二個(gè)參數(shù)是以毫秒表示的執(zhí)行間隔。也就是說(shuō)，當(dāng)在一段代碼中使用 setTimeout 時(shí)，要將一個(gè)函數(shù)的引用作為它的第一個(gè)參數(shù)，而將以毫秒表示的時(shí)間值作為第二個(gè)參數(shù)。但是，傳遞函數(shù)引用的同時(shí)無(wú)法為計(jì)劃執(zhí)行的函數(shù)提供參數(shù)。
然而，可以在代碼中調(diào)用另外一個(gè)函數(shù)，由它返回一個(gè)對(duì)內(nèi)部函數(shù)的引用，再把這個(gè)對(duì)內(nèi)部函數(shù)對(duì)象的引用傳遞給 setTimeout 函數(shù)。執(zhí)行這個(gè)內(nèi)部函數(shù)時(shí)要使用的參數(shù)在調(diào)用返回它的外部函數(shù)時(shí)傳遞。這樣，setTimeout 在執(zhí)行這個(gè)內(nèi)部函數(shù)時(shí)，不用傳遞參數(shù)，但該內(nèi)部函數(shù)仍然能夠訪問(wèn)在調(diào)用返回它的外部函數(shù)時(shí)傳遞的參數(shù)：
function callLater(paramA, paramB, paramC){
return (function(){
paramA[paramB] = paramC;
});
}
...
var functRef = callLater(elStyle, "display", "none");
hideMenu=setTimeout(functRef, 500);
回到頂部
許多時(shí)候我們需要將一個(gè)函數(shù)對(duì)象暫時(shí)掛到一個(gè)引用上留待后面執(zhí)行，因?yàn)椴坏鹊綀?zhí)行的時(shí)候是很難知道其具體參數(shù)的，而先前將它賦給那個(gè)引用的時(shí)候更是壓根不知道的。 （此段由 pangba 劉未鵬 翻譯）
（luyy朋友的翻譯_2008-7-7更新）很多時(shí)候需要將一個(gè)函數(shù)引用進(jìn)行賦值，以便在將來(lái)某個(gè)時(shí)候執(zhí)行該函數(shù)，在執(zhí)行這些函數(shù)時(shí)給函數(shù)提供參數(shù)將會(huì)是有用處的，但這些參數(shù)在執(zhí)行時(shí)不容易獲得，他們只有在上面賦值給時(shí)才能確定。
（原文備考：There are many other circumstances when a reference to a function object is assigned so that it would be executed at some future time where it is useful to provide parameters for the execution of that function that would not be easily available at the time of execution but cannot be known until the moment of assignment.）
一個(gè)相關(guān)的例子是，用 JavaScript 對(duì)象來(lái)封裝與特定 DOM 元素的交互。這個(gè) JavaScript 對(duì)象具有 doOnClick、doMouseOver 和 doMouseOut 方法，并且當(dāng)用戶在該特定的 DOM 元素中觸發(fā)了相應(yīng)的事件時(shí)要執(zhí)行這些方法。不過(guò)，可能會(huì)創(chuàng)建與不同的 DOM 元素關(guān)聯(lián)的任意數(shù)量的 JavaScript 對(duì)象，而且每個(gè)對(duì)象實(shí)例并不知道實(shí)例化它們的代碼將會(huì)如何操縱它們（即注冊(cè)事件處理函數(shù)與定義相應(yīng)的事件處理函數(shù)分離。譯者注）。這些對(duì)象實(shí)例并不知道如何在全局環(huán)境中引用它們自身，因?yàn)樗鼈儾恢缹?huì)指定哪個(gè)全局變量（如果有）引用它們的實(shí)例。
因而問(wèn)題可以歸結(jié)為執(zhí)行一個(gè)與特定的 JavaScript 對(duì)象關(guān)聯(lián)的事件處理函數(shù)，并且要知道調(diào)用該對(duì)象的哪個(gè)方法。
下面這個(gè)例子使用了一個(gè)基于閉包構(gòu)建的一般化的函數(shù)（此句多謝未鵬指點(diǎn)），該函數(shù)會(huì)將對(duì)象實(shí)例與 DOM 元素事件關(guān)聯(lián)起來(lái)，安排執(zhí)行事件處理程序時(shí)調(diào)用對(duì)象實(shí)例的指定方法，給象的指定方法傳遞的參數(shù)是事件對(duì)象和與元素關(guān)聯(lián)的引用，該函數(shù)返回執(zhí)行相應(yīng)方法后的返回值。
function associateObjWithEvent(obj, methodName){
return (function(e){
e = e||window.event;
return obj[methodName](e, this);
});
}
function DhtmlObject(elementId){
var el = getElementWithId(elementId);
if(el){
el.onclick = associateObjWithEvent(this, "doOnClick");
el.onmouseover = associateObjWithEvent(this, "doMouseOver");
el.onmouseout = associateObjWithEvent(this, "doMouseOut");
...
}
}
DhtmlObject.prototype.doOnClick = function(event, element){
... .
}
DhtmlObject.prototype.doMouseOver = function(event, element){
...
}
DhtmlObject.prototype.doMouseOut = function(event, element){
...
}
這樣，DhtmlObject 的任何實(shí)例都會(huì)將自身與相應(yīng)的 DOM 元素關(guān)聯(lián)起來(lái)，而這些 DOM 元素不必知道其他代碼如何操縱它們（即當(dāng)觸發(fā)相應(yīng)事件時(shí)，會(huì)執(zhí)行什么代碼。譯者注），也不必理會(huì)全局命名空間的影響以及與 DhtmlObject 的其他實(shí)例間存在沖突的危險(xiǎn)。
閉包可以用于創(chuàng)建額外的作用域，通過(guò)該作用域可以將相關(guān)的和具有依賴性的代碼組織起來(lái)，以便將意外交互的風(fēng)險(xiǎn)降到最低。假設(shè)有一個(gè)用于構(gòu)建字符串的函數(shù)，為了避免重復(fù)性的連接操作（和創(chuàng)建眾多的中間字符串），我們的愿望是使用一個(gè)數(shù)組按順序來(lái)存儲(chǔ)字符串的各個(gè)部分，然后再使用 Array.prototype.join 方法（以空字符串作為其參數(shù)）輸出結(jié)果。這個(gè)數(shù)組將作為輸出的緩沖器，但是將數(shù)組作為函數(shù)的局部變量又會(huì)導(dǎo)致在每次調(diào)用函數(shù)時(shí)都重新創(chuàng)建一個(gè)新數(shù)組，這在每次調(diào)用函數(shù)時(shí)只重新指定數(shù)組中的可變內(nèi)容的情況下并不是必要的。
一種解決方案是將這個(gè)數(shù)組聲明為全局變量，這樣就可以重用這個(gè)數(shù)組，而不必每次都建立新數(shù)組。但這個(gè)方案的結(jié)果是，除了引用函數(shù)的全局變量會(huì)使用這個(gè)緩沖數(shù)組外，還會(huì)多出一個(gè)全局屬性引用數(shù)組自身。如此不僅使代碼變得不容易管理，而且，如果要在其他地方使用這個(gè)數(shù)組時(shí)，開發(fā)者必須要再次定義函數(shù)和數(shù)組。這樣一來(lái)，也使得代碼不容易與其他代碼整合，因?yàn)榇藭r(shí)不僅要保證所使用的函數(shù)名在全局命名空間中是唯一的，而且還要保證函數(shù)所依賴的數(shù)組在全局命名空間中也必須是唯一的。
而通過(guò)閉包可以使作為緩沖器的數(shù)組與依賴它的函數(shù)關(guān)聯(lián)起來(lái)（優(yōu)雅地打包），同時(shí)也能夠維持在全局命名空間外指定的緩沖數(shù)組的屬性名，免除了名稱沖突和意外交互的危險(xiǎn)。
其中的關(guān)鍵技巧在于通過(guò)執(zhí)行一個(gè)單行（in-line）函數(shù)表達(dá)式創(chuàng)建一個(gè)額外的執(zhí)行環(huán)境，而將該函數(shù)表達(dá)式返回的內(nèi)部函數(shù)作為在外部代碼中使用的函數(shù)。此時(shí)，緩沖數(shù)組被定義為函數(shù)表達(dá)式的一個(gè)局部變量。這個(gè)函數(shù)表達(dá)式只需執(zhí)行一次，而數(shù)組也只需創(chuàng)建一次，就可以供依賴它的函數(shù)重復(fù)使用。
下面的代碼定義了一個(gè)函數(shù)，這個(gè)函數(shù)用于返回一個(gè) HTML 字符串，其中大部分內(nèi)容都是常量，但這些常量字符序列中需要穿插一些可變的信息，而可變的信息由調(diào)用函數(shù)時(shí)傳遞的參數(shù)提供。
通過(guò)執(zhí)行單行函數(shù)表達(dá)式返回一個(gè)內(nèi)部函數(shù)，并將返回的函數(shù)賦給一個(gè)全局變量，因此這個(gè)函數(shù)也可以稱為全局函數(shù)。而緩沖數(shù)組被定義為外部函數(shù)表達(dá)式的一個(gè)局部變量。它不會(huì)暴露在全局命名空間中，而且無(wú)論什么時(shí)候調(diào)用依賴它的函數(shù)都不需要重新創(chuàng)建這個(gè)數(shù)組。
var getImgInPositionedDivHtml = (function(){
var buffAr = [
'<div id="',
'',
'" style="position:absolute;top:',
'',
'px;left:',
'',
'px;width:',
'',
'px;height:',
'',
'px;overflow:hidden;\"><img src=\"',
'',
'\" width=\"',
'',
'\" height=\"',
'',
'\" alt=\"',
'',
'\"><\/div>'
];
return (function(url, id, width, height, top, left, altText){
buffAr[1] = id;
buffAr[3] = top;
buffAr[5] = left;
buffAr[13] = (buffAr[7] = width);
buffAr[15] = (buffAr[9] = height);
buffAr[11] = url;
buffAr[17] = altText;
return buffAr.join('');
});
})();
如果一個(gè)函數(shù)依賴于另一（或多）個(gè)其他函數(shù)，而其他函數(shù)又沒有必要被其他代碼直接調(diào)用，那么可以運(yùn)用相同的技術(shù)來(lái)包裝這些函數(shù)，而通過(guò)一個(gè)公開暴露的函數(shù)來(lái)調(diào)用它們。這樣，就將一個(gè)復(fù)雜的多函數(shù)處理過(guò)程封裝成了一個(gè)具有移植性的代碼單元。
有關(guān)閉包的一個(gè)可能是最廣為人知的應(yīng)用是 Douglas Crockford's technique for the emulation of private instance variables in ECMAScript objects。這種應(yīng)用方式可以擴(kuò)展到各種嵌套包含的可訪問(wèn)性（或可見性）的作用域結(jié)構(gòu)，包括 the emulation of private static members for ECMAScript objects。
閉包可能的用途是無(wú)限的，可能理解其工作原理才是把握如何使用它的最好指南。
在創(chuàng)建可訪問(wèn)的內(nèi)部函數(shù)的函數(shù)體之外解析該內(nèi)部函數(shù)就會(huì)構(gòu)成閉包。這表明閉包很容易創(chuàng)建，但這樣一來(lái)可能會(huì)導(dǎo)致一種結(jié)果，即沒有認(rèn)識(shí)到閉包是一種語(yǔ)言特性的 JavaScript 作者，會(huì)按照內(nèi)部函數(shù)能完成多種任務(wù)的想法來(lái)使用內(nèi)部函數(shù)。但他們對(duì)使用內(nèi)部函數(shù)的結(jié)果并不明了，而且根本意識(shí)不到創(chuàng)建了閉包，或者那樣做意味著什么。
正如下一節(jié)談到 IE 中內(nèi)存泄漏問(wèn)題時(shí)所提及的，意外創(chuàng)建的閉包可能導(dǎo)致嚴(yán)重的負(fù)面效應(yīng)，而且也會(huì)影響到代碼的性能。問(wèn)題不在于閉包本身，如果能夠真正做到謹(jǐn)慎地使用它們，反而會(huì)有助于創(chuàng)建高效的代碼。換句話說(shuō)，使用內(nèi)部函數(shù)會(huì)影響到效率。
使用內(nèi)部函數(shù)最常見的一種情況就是將其作為 DOM 元素的事件處理器。例如，下面的代碼用于向一個(gè)鏈接元素添加 onclick 事件處理器：
var quantaty = 5;
function addGlobalQueryOnClick(linkRef){
if(linkRef){
linkRef.onclick = function(){
this.href += ('?quantaty='+escape(quantaty));
return true;
};
}
}
無(wú)論什么時(shí)候調(diào)用 addGlobalQueryOnClick 函數(shù)，都會(huì)創(chuàng)建一個(gè)新的內(nèi)部函數(shù)（通過(guò)賦值構(gòu)成了閉包）。從效率的角度上看，如果只是調(diào)用一兩次 addGlobalQueryOnClick 函數(shù)并沒有什么大的妨礙，但如果頻繁使用該函數(shù)，就會(huì)導(dǎo)致創(chuàng)建許多截然不同的函數(shù)對(duì)象（每對(duì)內(nèi)部函數(shù)表達(dá)式求一次值，就會(huì)產(chǎn)生一個(gè)新的函數(shù)對(duì)象）。
上面例子中的代碼沒有關(guān)注內(nèi)部函數(shù)在創(chuàng)建它的函數(shù)外部可以訪問(wèn)（或者說(shuō)構(gòu)成了閉包）這一事實(shí)。實(shí)際上，同樣的效果可以通過(guò)另一種方式來(lái)完成。即單獨(dú)地定義一個(gè)用于事件處理器的函數(shù)，然后將該函數(shù)的引用指定給元素的事件處理屬性。這樣，只需創(chuàng)建一個(gè)函數(shù)對(duì)象，而所有使用相同事件處理器的元素都可以共享對(duì)這個(gè)函數(shù)的引用：
var quantaty = 5;
function addGlobalQueryOnClick(linkRef){
if(linkRef){
linkRef.onclick = forAddQueryOnClick;
}
}
function forAddQueryOnClick(){
this.href += ('?quantaty='+escape(quantaty));
return true;
}
在上面例子的第一個(gè)版本中，內(nèi)部函數(shù)并沒有作為閉包發(fā)揮應(yīng)有的作用。在那種情況下，反而是不使用閉包更有效率，因?yàn)椴挥弥貜?fù)創(chuàng)建許多本質(zhì)上相同的函數(shù)對(duì)象。
類似地考量同樣適用于對(duì)象的構(gòu)造函數(shù)。與下面代碼中的構(gòu)造函數(shù)框架類似的代碼并不罕見：
function ExampleConst(param){
this.method1 = function(){
...
};
this.method2 = function(){
...
};
this.method3 = function(){
...
};
this.publicProp = param;
}
每當(dāng)通過(guò) new ExampleConst(n) 使用這個(gè)構(gòu)造函數(shù)創(chuàng)建一個(gè)對(duì)象時(shí)，都會(huì)創(chuàng)建一組新的、作為對(duì)象方法的函數(shù)對(duì)象。因此，創(chuàng)建的對(duì)象實(shí)例越多，相應(yīng)的函數(shù)對(duì)象也就越多。
Douglas Crockford 提出的模仿 JavaScript 對(duì)象私有成員的技術(shù)，就利用了將對(duì)內(nèi)部函數(shù)的引用指定給在構(gòu)造函數(shù)中構(gòu)造對(duì)象的公共屬性而形成的閉包。如果對(duì)象的方法沒有利用在構(gòu)造函數(shù)中形成的閉包，那么在實(shí)例化每個(gè)對(duì)象時(shí)創(chuàng)建的多個(gè)函數(shù)對(duì)象，會(huì)使實(shí)例化過(guò)程變慢，而且將有更多的資源被占用，以滿足創(chuàng)建更多函數(shù)對(duì)象的需要。
這那種情況下，只創(chuàng)建一次函數(shù)對(duì)象，并把它們指定給構(gòu)造函數(shù) prototype 的相應(yīng)屬性顯然更有效率。這樣一來(lái)，它們就能被構(gòu)造函數(shù)創(chuàng)建的所有對(duì)象共享了：
function ExampleConst(param){
this.publicProp = param;
}
ExampleConst.prototype.method1 = function(){
...
};
ExampleConst.prototype.method2 = function(){
...
};
ExampleConst.prototype.method3 = function(){
...
};
Internet Explorer Web 瀏覽器（在 IE 4 到 IE 6 中核實(shí)）的垃圾收集系統(tǒng)中存在一個(gè)問(wèn)題，即如果 ECMAScript 和某些宿主對(duì)象構(gòu)成了 "循環(huán)引用"，那么這些對(duì)象將不會(huì)被當(dāng)作垃圾收集。此時(shí)所謂的宿主對(duì)象指的是任何 DOM 節(jié)點(diǎn)（包括 document 對(duì)象及其后代元素）和 ActiveX 對(duì)象。如果在一個(gè)循環(huán)引用中包含了一或多個(gè)這樣的對(duì)象，那么這些對(duì)象直到瀏覽器關(guān)閉都不會(huì)被釋放，而它們所占用的內(nèi)存同樣在瀏覽器關(guān)閉之前都不會(huì)交回系統(tǒng)重用。
當(dāng)兩個(gè)或多個(gè)對(duì)象以首尾相連的方式相互引用時(shí)，就構(gòu)成了循環(huán)引用。比如對(duì)象 1 的一個(gè)屬性引用了對(duì)象 2 ，對(duì)象 2 的一個(gè)屬性引用了對(duì)象 3，而對(duì)象 3 的一個(gè)屬性又引用了對(duì)象 1。對(duì)于純粹的 ECMAScript 對(duì)象而言，只要沒有其他對(duì)象引用對(duì)象 1、2、3，也就是說(shuō)它們只是相互之間的引用，那么仍然會(huì)被垃圾收集系統(tǒng)識(shí)別并處理。但是，在 Internet Explorer 中，如果循環(huán)引用中的任何對(duì)象是 DOM 節(jié)點(diǎn)或者 ActiveX 對(duì)象，垃圾收集系統(tǒng)則不會(huì)發(fā)現(xiàn)它們之間的循環(huán)關(guān)系與系統(tǒng)中的其他對(duì)象是隔離的并釋放它們。最終它們將被保留在內(nèi)存中，直到瀏覽器關(guān)閉。
閉包非常容易構(gòu)成循環(huán)引用。如果一個(gè)構(gòu)成閉包的函數(shù)對(duì)象被指定給，比如一個(gè) DOM 節(jié)點(diǎn)的事件處理器，而對(duì)該節(jié)點(diǎn)的引用又被指定給函數(shù)對(duì)象作用域中的一個(gè)活動(dòng)（或可變）對(duì)象，那么就存在一個(gè)循環(huán)引用。DOM_Node.onevent ->function_object.[[scope]] ->scope_chain ->Activation_object.nodeRef ->DOM_Node。形成這樣一個(gè)循環(huán)引用是輕而易舉的，而且稍微瀏覽一下包含類似循環(huán)引用代碼的網(wǎng)站（通常會(huì)出現(xiàn)在網(wǎng)站的每個(gè)頁(yè)面中），就會(huì)消耗大量（甚至全部）系統(tǒng)內(nèi)存。
多加注意可以避免形成循環(huán)引用，而在無(wú)法避免時(shí)，也可以使用補(bǔ)償?shù)姆椒ǎ热缡褂?IE 的 onunload 事件來(lái)來(lái)清空（null）事件處理函數(shù)的引用。時(shí)刻意識(shí)到這個(gè)問(wèn)題并理解閉包的工作機(jī)制是在 IE 中避免此類問(wèn)題的關(guān)鍵。
comp.lang.javascript FAQ notes T.O.C.
- 撰稿 Richard Cornford，2004 年 3 月
- 修改建議來(lái)自：
- Martin Honnen.
- Yann-Erwan Perio (Yep).
- Lasse Reichstein Nielsen. (definition of closure)
- Mike Scirocco.
- Dr John Stockton.