閉包是JavaScript中一個重要的特性，其最大的作用在于保存函數運行過程中的信息。在JavaScript中，閉包的諸多特性源自函數調用過程中的作用域鏈上。

函數調用對象與變量的作用域鏈

對于JavaScript中的每一次函數調用，JavaScript都會創建一個局部對象以儲存在該函數中定義的局部變量；如果在該函數內部還有一個嵌套定義的函數(nested function)，那么JavaScript會在已經定義的局部對象之上再定義一個嵌套局部對象。對于一個函數，其內部有多少層的嵌套函數定義，也就有多少層的嵌套局部對象。該局部對象稱為“函數調用對象”(ECMAScript 3中的“call object”，ECMAScript 5中改名為“declarative environment record”，但個人認為還是ECMAScript 3中的名稱更容易理解一些)。以下面的函數調用為例：

在這個簡單的例子中，當調用f()函數時，JavaScript會創建一個f()函數的調用對象(姑且稱之為f_invokeObj)，在f_invokeObj對象內部有兩個屬性：a和x；運行f()時，a值為10而x值為6，因此最后的返回結果為60。圖示如下：

當存在函數嵌套時，JavaScript將創建多個函數調用對象：

在這個例子中，當調用f()函數時，JavaScript會創建一個f()函數的調用對象(f_invokeObj)，其內部有兩個屬性a和x，a值為10而x值為6；運行f()時，JavaScript會對f()函數中的g()函數進行解析定義，并創建g()的調用對象(g_invokeObj)，其內部有一個屬性b，b值與傳入參數x相同為6，因此最后的返回結果為360。圖示如下：

可以看到，函數調用對象形成了一條鏈。當內嵌函數g()運行，需要獲取變量值的時候，會從最近的函數調用對象中開始進行搜索，如果無法搜索到，則沿函數調用對象鏈在更遠的調用對象中進行搜尋，此即所謂的“變量的作用域鏈”。如果兩個函數調用對象中出現相同的變量，則函數會取離自己最近的那個調用對象中的變量值：

在上面的例子中，g()函數的調用對象(g_invokeObj)和f()函數的調用對象(f_invokeObj)中均存在變量a且a的值不同，當運行g()函數時，在g()函數內部所使用的a值為1，而在g()函數外部所使用的a值則為10。圖示此時的函數調用對象鏈如下：

什么是閉包？

在JavaScript中所有的函數(function)都是對象，而定義函數時都會產生相應的函數調用對象鏈，一次函數定義對應一個函數調用對象鏈。只要函數對象存在，相應的函數調用對象就存在；一旦某函數不再被使用，相應的函數調用對象就會被垃圾回收掉；而這種函數對象和函數調用對象鏈之間的一一組合，就稱之為“閉包”。在上面f()函數和g()函數的例子中，就存在兩個閉包：f()函數對象和f_invokeObj對象組成了一個閉包，而g()函數對象和g_invokeObj-f_invokeObj對象鏈一起組成了第二個閉包。當g()函數執行完畢后，由于g()函數不再被使用，因此g()閉包被垃圾回收了；之后，當f()函數執行完畢后，由于同樣的原因，f()閉包也被垃圾回收了。

從閉包的定義可以得出結論：所有的JavaScript函數在定義后都是閉包