C语言动态数组分配为何使用二级指针？求技术解析

嘿，这个问题问到点子上了！首先得提一句：你写的那段二级指针的代码其实存在严重的未定义行为——int** t1;声明后，t1是一个野指针（指向随机的内存地址），直接解引用*t1 = ...会导致程序崩溃或者不可预料的错误，虽然它碰巧能运行，但这绝对不是正确的用法哦。

接下来咱们聊聊一级指针和二级指针在动态分配里的区别：

一级指针的常规用法 #

你写的第二种写法是分配一维动态数组的标准正确姿势：

int* t;
t = (int*) malloc(n*sizeof(int));

这里t是一级指针，malloc返回的是一块能存n个int的内存地址，直接把这个地址赋值给t，之后就能通过t[i]或者*(t+i)来访问数组元素了。这种场景下，一级指针完全足够，根本不需要二级指针。

什么时候必须用二级指针？ #

二级指针的核心作用是操作指针本身，而非指针指向的数据。常见的需要用到它的场景有两种：

1. 在函数内部修改外部的一级指针 #

C语言是值传递，如果想把动态分配的内存地址传递回主函数的指针变量，直接传一级指针的话，函数里修改的只是指针的副本，外部的指针不会有变化。这时候就需要用二级指针来“穿透”函数的作用域：

// 封装一个数组分配函数
void alloc_array(int** target_ptr, int size) {
    // 给外部的一级指针赋值分配好的内存地址
    *target_ptr = (int*)malloc(size * sizeof(int));
}

int main() {
    int* my_arr = NULL;
    // 传递一级指针的地址（也就是二级指针）
    alloc_array(&my_arr, 3);
    
    // 现在my_arr已经指向了分配好的内存，可以正常使用
    for(int i=0; i<3; i++){
        my_arr[i] = i+1;
        printf("%d ", my_arr[i]);
    }
    
    free(my_arr);
    return 0;
}

2. 分配多维动态数组 #

如果要创建二维（或更高维）的动态数组，二级指针就派上用场了。比如要创建一个n行m列的二维数组：

int rows = 3, cols = 4;
// 先分配存储每行指针的数组（二级指针）
int** two_d_arr = (int**)malloc(rows * sizeof(int*));
// 再给每行分配具体的数组空间
for(int i=0; i<rows; i++){
    two_d_arr[i] = (int*)malloc(cols * sizeof(int));
}

这里two_d_arr是二级指针，它的每个元素都是一个一级指针，指向对应行的一维数组。

回到你的问题 #

你用二级指针分配一维数组的写法完全是多余的，而且还引入了野指针的风险。一维动态数组的分配，用一级指针就足够清晰、安全。

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