为何C语言函数内操作结构体时，单指针即可完成动态数组分配？

核心原因是指针传递的是值拷贝，两种场景的区别在于你修改的是「指针本身的地址值」，还是「指针指向的内存区域里的内容」：

1. 单独动态分配数组的场景 #

当你写这样的函数时：

void alloc_arr(int *arr, int size) {
    arr = malloc(size * sizeof(int));
    // 给数组赋值...
}

调用时alloc_arr(p, 5)，这里的形参arr是实参p的值拷贝——也就是arr和p是两个独立的指针变量，只是一开始指向同一个地址。

你在函数里给arr赋值malloc的地址，只是修改了形参arr本身的地址值，完全不会影响实参p。所以main里的p还是原来的空指针或者垃圾地址，自然拿不到分配好的数组。

要让main拿到新地址，必须传递指针的指针（int **arr）：

void alloc_arr(int **arr, int size) {
    *arr = malloc(size * sizeof(int));
}

这时候形参arr是实参&p的拷贝，修改*arr就是直接修改实参p的地址值，main里的p就能指向malloc的内存了。

2. 结构体的场景 #

假设你的结构体是这样：

typedef struct {
    int *arr;
    int size;
} MyStruct;

写分配数组的函数：

void alloc_struct_arr(MyStruct *s, int size) {
    s->arr = malloc(size * sizeof(int));
    s->size = size;
    // 给s->arr赋值...
}

这里的形参s是实参结构体指针的拷贝，但它和实参指向同一块结构体内存。你修改的是s->arr——也就是结构体内部的成员指针，这个修改是直接作用在结构体的内存区域里的。

main里的实参指针指向的还是原来的结构体，所以访问p->arr就能拿到分配好的数组地址。你根本没修改结构体指针s本身的地址值，只是修改了它指向的结构体里的内容，所以不需要双指针。

简单总结：

• 单独数组：要修改的是「指针变量本身的地址」，所以需要传指针的指针
• 结构体数组：要修改的是「结构体内部的成员指针」，只需要传结构体指针，就能修改它指向的结构体内存里的内容

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