为何无法修改指针指向？C语言动态内存分配问题解析

先回顾你熟悉的有效案例：

void foo(int *arr) {
    arr[0] = 3;
}

int main() {
    int arr[] = { 1, 2, 3, 4 };
    foo(arr);
    printf("new value: %d\n", arr[0]); // prints 3
}

这个案例能成功，是因为你传递的是数组首元素的地址，函数里的arr是该地址的副本，但通过这个副本可以直接访问原数组的内存空间，所以修改arr[0]本质是修改原数组的第一个元素。

问题根源：C语言的「值传递」特性 #

当你尝试在foo函数中给传入的指针分配内存时：

void foo(int *arr, int no) {
    arr = (int *)malloc(no * sizeof(*arr));
    arr[0] = 1;
}

int main() {
    int *p;
    foo(p, 10);
    printf("%d", p[0]); // 无输出或未定义行为
}

核心问题在于C语言的所有参数传递都是值传递，哪怕参数是指针也不例外：

• 主函数中的p是一个指针变量，调用foo(p,10)时，会把p当前的垃圾值复制一份给函数内的arr参数。
• 函数里的arr = malloc(...)只是修改了这个副本指针的指向，让它指向malloc分配的新内存，但主函数里的p完全没被改变——它还是原来的垃圾值。
• 此时在main中访问p[0]，属于访问未初始化指针指向的内存，是未定义行为，所以会出现无输出、程序崩溃等异常。

用传入指针实现的正确方式 #

如果一定要通过传入指针的方式修改主函数的指针指向，你需要传递指针的指针（指向指针的指针），这样才能在函数内直接修改主函数中指针变量的指向：

void foo(int **arr, int no) {
    *arr = (int *)malloc(no * sizeof(**arr));
    (*arr)[0] = 1;
}

int main() {
    int *p;
    foo(&p, 10);
    printf("%d\n", p[0]); // 输出1
    free(p); // 记得释放动态分配的内存
}

这里：

• 传入&p（即p的地址），函数参数int **arr接收该地址，*arr就代表主函数里的p变量。
• *arr = malloc(...)直接修改了主函数中p的指向，让它指向malloc分配的有效内存。

为什么返回指针的方式可行 #

你找到的返回指针的方法：

int *foo(int no) {
    int *arr = (int *)malloc(no * sizeof(*arr));
    arr[0] = 1;
    return arr;
}

int main() {
    int* p = foo(10);
    printf("%d\n", p[0]); // 输出1
    free(p);
}

这种方式可行是因为函数把malloc分配的内存地址直接返回给了主函数，主函数里的p直接接收了这个有效地址，自然能正常访问内存中的值。

内容的提问来源于stack exchange，提问作者will