一旦用中文來描述作用域總會感覺欠缺什么，簡單來說作用域（scope）指的是名稱綁定（變量）有效指向的范圍（環(huán)境）浑度。大部分編程語言都是采用詞法作用域（lexical scope）或者說是靜態(tài)作用域踩官，這里無意贅述作用域的概念吆豹，而會談論一些容易忽略的東西哎媚。
少數(shù)語言采取動態(tài)作用域租漂，比如Common Lisp和Perl阶女。
來看一段體現(xiàn)詞法作用域的JavaScript代碼
var a="error" ,b="b", c="c";
function foo(a,b,c){
console.log(a,b,c)
}
function bar(){
var a="a"
foo(a,b,c)//此處開始作用域查找
}
bar();//a b c
很容易理解的作用域查找例子：當前作用域無定義的變量，繼續(xù)到外層作用域查找窜锯，直到找到或拋出錯誤张肾。我們注意到當執(zhí)行函數(shù)bar時，傳入foo形參的變量a b c接管了函數(shù)內(nèi)部全部變量的作用域查找锚扎，換句話說吞瞪，函數(shù)foo的作用域起步在函數(shù)作用域（包括形參），也終止在了那里驾孔。
然后芍秆，實參的那部分開始作用域查找惯疙。如果將實參的符號換一下，比如A妖啥，B霉颠，C，敘述也不會太過麻煩荆虱。事實上蒿偎，我故意這樣做，以凸顯閉包的差異怀读。
在JavaScript中诉位，變量似乎四處被訪問，時刻考慮閉包已成為習慣菜枷，但對于其他語言苍糠，作用域沒有這樣靈活。就像上文所舉的例子啤誊，如果foo函數(shù)沒有參數(shù)定義岳瞭，詞法作用域會更符合一般預期，但在一些語言中蚊锹，函數(shù)內(nèi)部只能訪問如例子一樣的參數(shù)或是全局變量瞳筏。
var _module=(function _Module(){
var a="error",b="b",c="c"
function foo(a,b,c){
console.log(a,b,c)
}
return {foo:foo}
})()
var b="error",c="error"
function bar(){
var a="a"
_module.foo(a,b,c)
}
bar(); //a error error
瞧，即便我盡力構造了閉包牡昆，變量引用被鎖死在了形參上乏矾。那么其他語言的閉包到底是怎么回事呢，或者說閉包的實質(zhì)是什么迁杨。上升到環(huán)境模型中，可以這樣概括：
函數(shù)通過'環(huán)境引用'使用自由變量（即當前函數(shù)中的綁定無對應的約束變量時）
那本有名的You Don't Know JS中這樣解釋凄硼，這也是大部分JavaScript使用者易記憶易判別的說法：
函數(shù)在定義時的詞法作用域之外執(zhí)行铅协，仍保有對其詞法作用域的訪問
其它的諸如“函數(shù)記住并訪問所在詞法作用域”等閉包說法都差不多，這個幾個要素––函數(shù)摊沉、詞法域狐史、（變量）參與了閉包概念。實際上说墨，閉包把某些變量和函數(shù)連接起來了骏全，函數(shù)被調(diào)用時，訪問了函數(shù)“外部”的變量尼斧。不能把閉包簡單地當成名詞概念姜贡，Closure is Closure.（對象是附有行為的數(shù)據(jù)，而閉包是附有數(shù)據(jù)的行為）
OK棺棵，現(xiàn)在有兩個問題：為什么是偏偏是函數(shù)楼咳；變量的生命周期是怎樣的熄捍。
對于支持閉包的語言來說，一般具有這些特性：函數(shù)是第一類公民母怜，能夠被當做參數(shù)傳遞余耽；并且允許函數(shù)內(nèi)定義函數(shù)。
函數(shù)可能在任何地方被調(diào)用苹熏，但代碼的邏輯應該停留在定義（書寫）時碟贾，為了避免函數(shù)與引用環(huán)境不匹配，引入了閉包轨域。
當敘述到這里時袱耽，我首先想到的是柯里化層層的參數(shù)，不過這里舉一個簡單常用的例子疙挺。
for (var i=1;i<7;i++){
(function(j){
setTimeout(function timer(){
console.log(j);
},j*1000);
})(i);
}
定時函數(shù)里的函數(shù)timer定義和執(zhí)行分別處于不同的時間扛邑，不是嗎。編寫這段代碼時铐然，想要的效果是每隔一秒輸出值加1蔬崩，所以我們采用閉包這種機制使當timer函數(shù)執(zhí)行時引用的j是定義時的j。所以閉包常常和匿名函數(shù)回調(diào)函數(shù)聯(lián)系起來搀暑。當變量不被引用時沥阳，自然會被GC回收，閉包中被引用的變量阻止了執(zhí)行棧的彈出自点。
到目前為止的敘述桐罕，認定了一件事：如果函數(shù)只能訪問全局變量和形參，很難想象這種情況下的閉包的模樣桂敛。
通過觀察Java和C的閉包實現(xiàn)我們可以看到這個概念的“異化”功炮。
待續(xù)
參考:
[1].維基百科
[2].閉包的概念、形式與應用 (IBM DeveloperWorks)
