作者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