C语言数组引用传递导致程序输出错误：为什么代码运行结果为62345而不是23456？

程序输出与预期不符：分析及修正

这段代码的运行结果为 62345，而非预期的 23456。这是因为函数 f() 使用了指针 int *q，导致数组 a 以引用方式传递。 在函数内部修改 *q 实际上修改的是数组 a 的第一个元素 a[0]。循环中每次递增 *q 都增加了 a[0] 的值。

问题根源：引用传递

void f(int *q) 声明了一个指向整数的指针作为参数。当调用 f(a) 时，数组名 a 会衰减为指向其首元素的指针，因此 q 指向 a[0]。循环 for(; i < 5; i++) 中的 *q++ 先解引用 *q (获取 a[0] 的值)，然后递增 q (使 q 指向下一个元素)，但由于 a[0] 的值在每次循环中都被修改，最终导致输出结果错误。

解决方案：值传递或数组复制

为了得到预期的 23456，需要避免引用传递，可以使用以下两种方法：

方法一：值传递

将函数参数修改为值传递：void f(int q[]) 或 void f(int q[5])。 编译器会将数组的内容复制一份传递给函数，函数内的修改不会影响原数组。 然而，这对于大型数组来说效率较低。

方法二：数组复制

在函数内部创建一个数组副本，对副本进行操作：

#include 

void f(int q[]) {
    int b[5];  // 创建数组副本
    for (int i = 0; i < 5; i++) {
        b[i] = q[i]; // 复制数组元素
    }
    int i = 0;
    for (; i < 5; i++) {
        b[i]++; // 对副本进行操作
    }
    for (int i = 0; i < 5; i++) {
        printf("%d", b[i]); // 输出副本
    }
}

int main() {
    int a[] = {2, 3, 4, 5, 6};
    f(a);
    printf("n");
    return 0;
}

方法二更清晰地展现了对数组副本的操作，避免了对原数组的直接修改，从而得到正确的结果。 选择哪种方法取决于数组大小和性能需求。 对于小型数组，方法一可能更简洁；对于大型数组，方法二更有效率，避免了不必要的内存复制。