作者yauhh (喲)
看板PLT
標題Re: [問題] 想請問一個關於"參數傳遞"的問題
時間Mon Jan 2 00:32:01 2012
※ 引述《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了.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.160.113.85
1F：推 Favonia:剛才看一下 RHA 的實作... 它這方面沒有完全實作 Algol 60 01/03 08:59
2F：→ Favonia:允許的東西 orz 01/03 08:59
3F：推 ofspring:感謝解答 <(_ _)> 01/03 16:11
4F：→ yauhh:沒錯耶,像以下網頁所提severe的情況,就做不到 01/03 22:42
6F：→ yauhh:ml 01/03 22:43
7F：推 Favonia:所以其實它比較像是 call-by-reference... 01/04 23:24
8F：→ Favonia:唔這樣講好像也不完全對，不過你應該知道我的意思 xD 01/04 23:25
9F：→ yauhh:你說RHA的algol.exe處理起來像call-by-reference嗎? 01/05 04:58
11F：→ Favonia:s7aM6tttNIs/5ccJtJQUPlMJ 01/05 07:18