karatejb: [C#] Call by pointer、value、reference、name

2012年3月21日星期三

Call by value、Call by pointer、Call by reference

Call by name

其實 call-by-name 並不等於 call-by-reference。call-by-name 源自於 Algol60 這個

古早的程式語言，它定義了兩種參數傳遞方式，call-by-value 與 call-by-name，其中

call-by-name 被定義為 Name Replacement：「參數列中的每個參數，如果未指定以

傳值的方式來傳遞，就必須以實際傳入的參數來取代。」在 Compilers - Principles,

Techniques, and Tools 這本書的 7.5 節中，它被解釋為 inline-expansion。其原因

是，以 call-by-name 的方式呼叫函式時，如果在某個參數位置上指定了一個運算式

(expression) 當作參數，那麼這個 expression 會被直接傳入函式裡面進行展開，所以，

這個 expression 是在函式裡面才進行運算的，而不是在參數列中預先計算好它的值再傳

進去。這就產生了 delayed evaluation (延遲計算) 的效果。delayed evaluation 的好處

是，只有當函式需要某個 expression 參數的值，該 expression 才會被計算，否則就不

用了。call-by-name 比較顯著的例子是 swap 函式，swap 通常是這樣寫的：

在 P(X, Y, Z) 這個例子中：

proc P(X, Y, Z) {

Y = Y + 1;

Z = Z + X;

}

P(a+b, a, a) { // a = 2, b = 3

a = a + 1; // a becomes 3

a = a + (a+b); // inline expansion of X, a becomes 9

}

karatejb