能否用指定C代码创建可通过realloc动态修改行列的二维数组？

1. 这段代码能否创建动态二维数组？ #

可以，但仅在C99及后续标准中合法。

代码里的int (*a)[n]是指向**变长数组（VLA）**的指针，calloc(m * n, sizeof(int))分配了一块能容纳m*n个int的连续内存，刚好对应m行n列的二维数组布局。你可以直接用a[i][j]的语法访问数组元素，和静态二维数组的使用方式完全一致，且内存连续的特性缓存友好性更好。

注意：如果编译器不支持C99（比如部分老版本MSVC），这段代码会报错，因为变长数组是C99引入的特性。

2. 能否用realloc修改行、列大小？ #

分两种情况处理：

修改行数（m）

可以直接操作，逻辑简单：

• 计算新的总内存大小：new_m * n * sizeof(int)
• 使用realloc调整内存时，务必先用临时指针接收返回值（避免realloc失败导致原指针丢失）：

size_t new_m = ...; // 新的行数
int (*tmp)[n] = realloc(a, new_m * n * sizeof(int));
if (tmp != NULL) {
    a = tmp;
    m = new_m;
} else {
    // 处理内存分配失败的情况
}

这种场景下，列数n不变，指针类型int (*)[n]与realloc返回的void*兼容，内存布局保持每行n个元素的结构，数据不会错乱。

修改列数（n）

不建议直接用realloc修改，核心原因有两个：

• 类型不兼容：原指针类型是int (*)[n]，新列数new_n对应的指针类型是int (*)[new_n]，即便强制转换类型，后续使用a[i][j]时的内存偏移计算会完全错误。
• 内存布局错乱：原数组每行是n个元素，修改列数后，行与行的边界会改变，比如原a[1][0]的位置是数组第n个元素，改成new_n后，该位置会变成a[0][new_n]（若new_n < n），导致行列对应关系彻底混乱。

如果一定要修改列数，建议：

1. 重新分配一块大小为new_m * new_n的内存
2. 手动将原数组元素按新的行列布局复制到新内存
3. 释放原内存，将指针指向新内存

或者换用“指针数组”方式（即int **a）实现动态二维数组，这种方式修改列数更灵活，但内存不连续，缓存性能不如连续内存的VLA方式。

额外注意事项 #

• 始终检查calloc和realloc的返回值，避免空指针操作
• 变长数组的作用域有限，若在函数内定义int (*a)[n]，离开函数后指针不会自动释放内存，需手动调用free(a)
• 若需兼容C89标准，不要使用变长数组，改用指针数组的方式实现动态二维数组

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