※ 引述《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了.