Re: [問題] 想請問一個關於"參數傳遞"的問題
※ 引述《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
推
01/03 08:59, , 1F
01/03 08:59, 1F
→
01/03 08:59, , 2F
01/03 08:59, 2F
推
01/03 16:11, , 3F
01/03 16:11, 3F
→
01/03 22:42, , 4F
01/03 22:42, 4F
→
01/03 22:43, , 5F
01/03 22:43, 5F
→
01/03 22:43, , 6F
01/03 22:43, 6F
推
01/04 23:24, , 7F
01/04 23:24, 7F
→
01/04 23:25, , 8F
01/04 23:25, 8F
→
01/05 04:58, , 9F
01/05 04:58, 9F
→
01/05 07:18, , 10F
01/05 07:18, 10F
→
01/05 07:18, , 11F
01/05 07:18, 11F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 3 之 4 篇)：
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
