在编程语言领域,"名调用"(Call-by-Name)是一种比较少见的参数传递机制。在名调用中,函数或方法的参数直到在函数体内被实际用到前都不会被计算。这意味着,每次在函数体内使用参数时,都会重新计算该参数的值。
让我们通过一个简单的伪代码例子来说明:
函数 printTwice(expression) {
输出 expression;
输出 expression;
}
变量 x = 0;
函数 incrementX() {
x = x + 1;
返回 x;
}
// 主程序
printTwice(incrementX());
在这个例子中,我们有一个名为 printTwice
的函数,该函数接受一个表达式 expression
作为参数,并将其输出两次。我们还有一个名为 incrementX
的函数,该函数会增加全局变量 x
的值,并返回新的值。
如果 printTwice
使用名调用机制,那么它会两次调用 incrementX()
函数,因为每次在函数体内用到 expression
时都会重新计算其值。在这种情况下,输出可能是 1
和 2
,因为 incrementX()
会在每次被调用时增加 x
的值。
这与传值(Pass-by-Value)或传引用(Pass-by-Reference)是不同的。在传值或传引用中,incrementX()
只会在 printTwice
被调用时执行一次,因此输出将两次都是相同的值。
名调用在现代编程语言中比较少见,但在一些早期的或者专用的语言中(例如 Algol)可能还会遇到。它有时在宏替换或者懒求值(Lazy Evaluation)的上下文中也会出现。