※ 引述《ofspring (青春無敵)》之銘言：
: Sub (x,y,z)
: {x = y + z;
: y = z - x}
: main()
: {a=1; b=2; c=3
: call Sub (a, b, a+c);
: print(a, b, c);}
: Q3: 若參數傳遞的方式是 call-by-name,輸出結果為何?
: A3: (6, -2, 3)
我還蠻好奇實作品會如何實作理論上的call-by-name. 聽說Algol和Simula支援
call-by-name,於是,找了開放下載的Algol ((C) 1984 by RHA (Minisystems) Ltd)
寫成這樣:
BEGIN INTEGER a,b,c;
PROCEDURE sub(x,y,p,w,z);
INTEGER x,y;
INTEGER PROCEDURE p;
INTEGER w,z;
BEGIN x := y + p(w,z);
y := p(w,z) - x;
END;
INTEGER PROCEDURE plus(x,y);
INTEGER x,y;
BEGIN plus := x + y;
END;
a := 1;
b := 2;
c := 3;
sub(a,b,INTEGER PROCEDURE plus,a,c);
COMMENT ^^^^^^^^^^^^^^^^^^^^^^;
write(1, a);
write(1, b);
write(1, c)
END
FINISH
但我覺得這有點不真實,原本的參數Sub(a,b,a+c)改寫成Sub(a,b,+,a,c),感覺
是不同的意思. 而以上程式執行結果的確是 6 3 3, 也就是把 +,a,c (a+c) 零散
解讀. 或許可以把 sub 副程式改成:
PROCEDURE sub(x,y,p,w,z);
INTEGER x,y;
INTEGER PROCEDURE p;
INTEGER w,z;
BEGIN INTEGER d; d := p(w,z)
x := y + d;
y := d - x;
END;
但這顯然是刻意調整程式佈局來演繹call-by-name; 沒有意義.
另外也可以把呼叫寫成 sub(a,b,plus(a,c)), 但 sub 副程式則要改成:
PROCEDURE sub(x,y,z); VALUE z;
INTEGER x,y,z;
BEGIN x := y + z;
y := z - x;
END;
意思是把第三個參數 z 改成 call-by-value, 所以對這個題目也沒有比較的意義.
可能只能用函數語言的 let-in 語法來演繹call-by-name了.