特定参数传递样式：Call-By-Value、Call-By-Name 等

Question

正在准备期末考试，并遇到了这个过去的考试问题：

考虑以下用类 C 表示法编写的程序：

int i = 1;
A[] = {4, 0, 1, 2};

void mystery05(int from, int to)
{
    int temp;
    temp = A[from];
    A[from] = A[to];
    A[to] = temp;
    i = i + 2;
    to = -1;
}

int main(void)
{
    mystery05(A[i+2], A[i]);
}

在下表中，在 main 中调用 mymy05 后，在框中填写适当的变量值。每行对应一个特定的参数传递样式（即使用列出的样式而不是默认的 C 语言语义）。假设数组从 0 开始索引。

style               |___i___|__A[0]__|__A[1]__|__A[2]__|__A[3]__| 
call-by-value       |_______|________|________|________|________|
call-by-name        |_______|________|________|________|________|
call-by-reference   |_______|________|________|________|________|
call-by-value-result|_______|________|________|________|________|

我不确定如何解决这个问题，但如果是常规 C 语义，我认为答案将是

i = 3; A[0] = 4； A[1] = 2； A[2] = 1； A[3] = 0

Answer 1

@S.洛特：
我认为指向字符串和数组的指针是通过引用调用的。我错了吗？

我同意：不想做所有的问题。如果他有考试，他应该会更清楚。
我想回答第一行，只是为了看看我是否理解正确。
所以我可能是错的！

按值调用：除非变量是全局变量，否则不会更改值
在这种情况下，它们必须是；否则 proc 如何利用 i.

i 和 A 数组都是全局的。

过程中发生的事情会改变值。

i 从值 1 开始，因此 A[3] 和 A[1] 的值交换。

A[3] 现在为 0 ， A[1] 现在为 2 。 A[0] 和 A[2] 不变。

最后我的值变成了 3

我认为考试 q 错过了一个技巧，因为在 proc 调用之后没有询问 'to' 的值。

Answer 2

我认为按值调用是“常规 C 语义”的意思，

按名称调用是 C 所没有的。查一下。这不是“常规 C 语义”，

按引用调用假定所有参数都有“&”并且参数带有“*”。这不是“常规 C 语义”，而是一种不同的语义，但很容易在 C 中构建。

按值结果调用是 C 所没有的。查一下。

每个都是不同的。不要假设 C。不要像 C 一样阅读代码。你必须以不同的方式阅读代码，假设不同的事情。