C语言如何动态分配形如int (*p)[n]的数组指针

你需要实现的核心是匹配int (*p)[Cols]的类型语义——即p是一个长度为Cols的连续int数组，p的偏移步长为单个数组的字节大小，具体实现根据编译环境对VLA（变长数组）的支持程度分两种方案：

支持C99及以上VLA特性的环境实现 #

大部分现代桌面端编译器（GCC、Clang、MSVC新版）都支持该语法，正确实现步骤如下：

• 优先用size_t类型存储从外部获取的列数Cols、以及需要分配的行数R，避免整数类型不匹配导致的计算错误
• 确保Cols完成赋值后，再定义对应类型的数组指针
• 分配内存时按照“行数 * 单个数组的字节大小”计算总申请空间，不要手动硬算偏移
  示例代码：

// 从外部输入获取的行列值
size_t R = 外部输入的行数;
size_t Cols = 外部输入的列数;

// 定义指向长度为Cols的int数组的指针，类型完全匹配需求
int (*p)[Cols];

// 动态申请R个连续的上述数组
p = malloc(R * sizeof(*p));

// 使用方式和原生二维数组完全一致，直接通过p[i][j]访问元素
// 内存为整块连续空间，使用完成后直接free(p)即可释放全部内存

常见踩坑点：

• 把int (*p)[Cols]的定义写在Cols赋值之前，此时Cols是未初始化的垃圾值，会直接导致编译报错
• 计算malloc大小的时候漏乘sizeof(int)，写成malloc(R * Cols)，导致申请的内存空间不足
• 误以为VLA语法不支持运行时确定大小的定义，实际上只要变量先赋值、再定义对应指针，语法是完全合法的

不支持VLA特性的兼容实现 #

对于不支持C99 VLA语法的环境（如部分老版本嵌入式编译器、严格遵循C89标准的编译场景），可以通过强制类型映射的方式实现完全等价的内存布局：

• 首先申请一整块连续的内存，总大小为行数 * 列数 * sizeof(int)
• 将内存基地址强制转换为“指向未知长度int数组”的指针类型，访问逻辑和带VLA的版本完全一致
  示例代码：

size_t R = 外部输入的行数;
size_t Cols = 外部输入的列数;

// 申请整块连续内存，存储R*Cols个int元素
int *mem_base = malloc(R * Cols * sizeof(int));

// 将基地址转换为指向数组的指针，实现和int (*p)[Cols]等价的访问逻辑
int (*p)[] = (int (*)[])mem_base;

// 访问时同样可以用p[i][j]的形式，编译会自动按照Cols的步长计算地址
// 释放内存时需要直接free(mem_base)，不要对p执行free操作

常见认知误区 #

很多人会用int **p的指针数组方案实现类似功能，但该方案和int (*p)[Cols]的语义完全不同：

• int **p的本质是指向int指针的指针，每个行指针需要单独申请内存，内存是碎片化的，没有连续内存的缓存友好性
• 目标类型int (*p)[Cols]是指向定长数组的指针，指向的是整块连续内存，步长固定为Cols * sizeof(int)，和原生二维数组的内存布局完全一致

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