石頭閒語

Pure anonymous function
3
3
3
Closure
0
1
2

看到這行：

(function(i) {
//closure.
return function(){print(i);}
})

大概懂意思了，感謝石頭成老大的解說 :)

之前是看這篇：

http://www.javaworld.com.tw/roller/page/ingramchen?entry=2007_1_1_WhyAddClosureInJava7

不過會有點迷迷糊糊...用 JavaScript 反而看得懂...真是怪了...

Java陣營基於一種對語法的古怪堅持 (雖然我現在就覺得它的語法又臭又長) ，現在連 anonymous function 都不支持。要解說本例之前，還要先用 anonymous inner class 模擬 anonymous function 。接著再用模擬的 anonymous function 再去模擬 closure 。如此蹩腳的寫法如果還能像 JavaScript 一樣簡潔地表示本文要說明的內容，那也太不可思議了。

另外，我搜尋到 Martin Fowler 寫的 Closure 。他也寫了一個 JavaScript 的例子，我補到正文去了。

我在看Paul Graham的Lisp介紹中提到Closure，他用Javascript寫了一個累加程式範例

function(n){
return function(i){return n+=i;};}

讓我頓悟了0rz

R@Ndy ，你提供的程式碼很有趣，但是不是省略了什麼？
例如說，是不是像下面這樣用？

var f = function(n){
return function(i){return n+=i;};
}

print( (f(2))(3) );
//In this case, n = 2, i = 3


修正一下，方便說明：
var i = 0;
var fs = [];
function run_fs() {
for (var j = 0, f = fs[j]; f; f = fs[++j]) {
f();
}
}

for (i = 0; i < 3; ++i) {
fs[i] = function a(){print(i);}
}
run_fs();

for (i = 0; i < 3; ++i) {
fs[i] = (function b() {
var j = i * 3;
return function c(){print(j);}
})();
}
run_fs();

function e() {
var j = i * 2;
return function f(){print(j);}
}
for (i = 0; i < 3; ++i) {
fs[i] = e();
}
run_fs();

以 ECMAScript 3 Specification 的說法，
每一個客製 function 都有一個叫 [[Scope]] 的內部屬性紀錄了那個 function 在定義或宣告時的 scope chain ，每當呼叫 function 進入 function code 時，會產生一個叫 activation object 的新物件作為 function scope ，並把這個物件放在由 [[Scope]] 得到的 scope chain 的前頭，形成一個新的 scope chain ，function code 就是用這個新 scope chain 進行識別子解析（identifier resolution）。

根據數學定義， scope chain 就是 closure，而每次離開 function code ，可能被GC回收的是 activation object 這個 function scope，亦即是因為每次進入 function code 時，function scope 都是不同的，因而有不同 closure 。
函數 a 參照的 i 是在 a 的 [[Scope]] 中global object的變數 i ，因為雖然每次定義和呼叫的 a 是不同的 a ，但是是同一個 global object ，所以是參照到同一個 i 。
而函數 f 參照的 j 是 f 的 [[Scope]] 中屬於函數 e 的 activation object 的變數 j ， 因為雖然每次呼叫的 e 是同一個 e ，但是是不同的 activation object ，所以是不同的 j 。

根據數學定義，其實很多東西都是 closure ，例如 propotype chain。
所謂封閉是相對的，而這裡是相對於識別子解析或屬性提取（property get，根據EMCAScript v3 的規格書是物件的內部方法 [[Get]] ）。
scope chain 中的物件不一定是 activation object 或 global object，也可以透過 with statement 加入其他物件。

如果這樣理解，class-based 的繼承關係形成的繼承鏈也是 closure （如果不理私有屬性的話），就如同 propotype chain。

串錯字，是 prototype ，不是 propotype 。