C语言动态矩阵分配疑问：为何两种双指针写法一可行一不可行？

嘿，我太懂你这种困惑了！当初我第一次啃动态二维数组的时候，也对着两段看起来都是双指针的代码抓耳挠腮——明明都是int**，怎么一个顺风顺水，一个一运行就崩？其实问题根本不是“是不是双指针”，而是你用双指针指向的内存结构，和你访问它的方式能不能对上。

我给你拆解两种最常见的场景：

能正常运行的典型写法 #

这种写法是先给「行指针数组」分配空间，再给每一行单独分配数据空间：

int rows = 3, cols = 4;
// 第一步：分配一个能存rows个int*的数组（行指针数组）
int **matrix = (int **)malloc(rows * sizeof(int *));
if (matrix == NULL) { /* 内存分配失败处理 */ }

// 第二步：给每个行指针分配对应行的int数组空间
for (int i = 0; i < rows; i++) {
    matrix[i] = (int *)malloc(cols * sizeof(int));
    if (matrix[i] == NULL) { /* 内存分配失败处理 */ }
}

这里的matrix是int**，它指向的是一个int*类型的数组，每个matrix[i]都是一个有效的int*指针，指向一行int数据。当你写matrix[i][j]时，程序会先取matrix[i]的地址（也就是第i行的起始指针），再偏移j个int的大小去访问数据，完全符合内存结构，所以能正常运行。

容易踩坑的错误写法（看起来是双指针但结构不对） #

最常见的错误就是直接分配一块连续的int内存，却强行用int**去访问：

int rows = 3, cols = 4;
// 错误：直接分配了rows*cols个int的内存，却用int**接收
int **matrix = (int **)malloc(rows * cols * sizeof(int));
// 这里访问matrix[i][j]会直接崩！

为啥会崩？因为int**类型的变量，程序会认为它指向的是int*的数组。当你写matrix[i]时，程序会从matrix的起始地址偏移i * sizeof(int*)个字节（比如64位系统是8字节），然后把那个位置的内容当成一个指针去访问——但这块内存里存的是int数据啊！不是有效的内存地址，自然会触发段错误或者非法内存访问。

还有一种坑是分配行指针数组时算错了大小，比如把sizeof(int*)写成sizeof(int)：

// 错误：行指针数组的大小应该是rows*sizeof(int*)，不是int
int **matrix = (int **)malloc(rows * sizeof(int));

这样行指针数组的空间不够，访问后面的行指针时会越界，大概率也会崩。

额外补充：正确的连续内存双指针写法 #

如果你想让内存连续（方便释放或者缓存友好），也可以用双指针，但得额外处理行指针的指向：

int rows = 3, cols = 4;
// 第一步：分配连续的int数据内存
int *data_block = (int *)malloc(rows * cols * sizeof(int));
if (data_block == NULL) { /* 处理失败 */ }

// 第二步：分配行指针数组
int **matrix = (int **)malloc(rows * sizeof(int *));
if (matrix == NULL) { /* 处理失败 */ }

// 第三步：把每个行指针指向连续内存的对应位置
for (int i = 0; i < rows; i++) {
    matrix[i] = data_block + i * cols;
}

这种写法里，matrix依然是int**，指向的是int*数组，每个matrix[i]都指向连续内存里第i行的起始位置，所以matrix[i][j]访问完全合法，同时内存是连续的，一举两得。

总结一下：双指针只是类型，关键是你得让这个类型对应的内存结构和你的访问逻辑匹配。int**要求它指向的是int*的数组，每个元素再指向int数组；如果你的内存不是这个结构，哪怕用了int**，运行起来肯定出问题。

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