下面我們將看到的是 JavaScript 中必須提到的功能最強大的抽象概念之一：閉包。但它可能也會帶來一些潛在的困惑。那它究竟是做什麽的呢？

function makeAdder(a) {
    return function(b) {
        return a + b;
    }
}
var x = makeAdder(5);
var y = makeAdder(20);
x(6); // ?
y(7); // ?

makeAdder 這個名字本身應該能說明函數是用來做什麽的：它創建了一個新的 adder 函數，這個函數自身帶有一個參數，它被調用的時候這個參數會被加在外層函數傳進來的參數上。

這裏發生的事情和前面介紹過的內嵌函數十分相似：一個函數被定義在了另外一個函數的內部，內部函數可以訪問外部函數的變量。唯一的不同是，外部函數已經返回了，那麽常識告訴我們局部變量“應該”不再存在。但是它們卻仍然存在——否則 adder 函數將不能工作。也就是說，這裏存在 makeAdder 的局部變量的兩個不同的“副本”——一個是 a 等於5，另一個是 a 等於20。那些函數的運行結果就如下所示：

x(6); // 返回 11
y(7); // 返回 27

下面來說說到底發生了什麽。每當 JavaScript 執行一個函數時，都會創建一個作用域對象（scope object），用來保存在這個函數中創建的局部變量。它和被傳入函數的變量一起被初始化。這與那些保存的所有全局變量和函數的全局對象（global object）類似，但仍有一些很重要的區別，第一，每次函數被執行的時候，就會創建一個新的，特定的作用域對象；第二，與全局對象（在瀏覽器裏面是當做 window

所以當調用 makeAdder 時，解釋器創建了一個作用域對象，它帶有一個屬性：a，這個屬性被當作參數傳入 makeAdder 函數。然後 makeAdder 返回一個新創建的函數。通常 JavaScript 的垃圾回收器會在這時回收 makeAdder 創建的作用域對象，但是返回的函數卻保留一個指向那個作用域對象的引用。結果是這個作用域對象不會被垃圾回收器回收，直到指向 makeAdder 返回的那個函數對象的引用計數為零。

作用域對象組成了一個名為作用域鏈（scope chain）的鏈。它類似於原型（prototype）鏈一樣，被 JavaScript 的對象系統使用。

一個閉包就是一個函數和被創建的函數中的作用域對象的組合。

閉包允許你保存狀態——所以它們通常可以代替對象來使用。這裏有一些關於閉包的詳細介紹。

閉包——JavaScript 中功能最強大的抽象概念之一