如何正确将malloc分配的一维动态数组作为二维/多维数组使用？

使用malloc分配连续内存存储二维矩阵时，之所以没法直接用matrix[x][y]形式访问，核心原因是C语言的下标运算符基于指针类型做偏移计算：如果声明为t_point *matrix一级指针，做一次下标运算matrix[x]后得到的是t_point类型的结构体值，不是可继续偏移的指针，自然无法支持第二次下标操作。

不需要修改原有的连续内存分配逻辑，只需要调整matrix的指针类型为数组指针即可，具体实现如下：

typedef struct s_point
{
    float   x;
    float   y;
    float   z;
    float   w;
}   t_point;

// 假设i为矩阵总行数，j为矩阵总列数
// 声明为指向长度为j的t_point数组的指针（数组指针）
t_point (*matrix)[j] = malloc(sizeof(t_point) * i * j);

C99及之后的标准支持变长数组，上述写法完全合规，此时就可以直接使用双下标访问元素：

matrix[x][y] = data;

访问逻辑和原生二维数组完全一致：

• 第一次下标matrix[x]：从内存首地址偏移x * j * sizeof(t_point)字节，定位到第x行的首地址，返回类型为t_point*
• 第二次下标[y]：从第x行首地址再偏移y * sizeof(t_point)字节，定位到第x行第y列的t_point元素，支持直接读写

这种实现相比用二级指针t_point**逐行分配内存的方案有明显优势：

• 内存全程连续，没有额外存储行指针的开销，CPU缓存命中率更高
• 释放时直接调用free(matrix)即可，不需要逐行释放，不会产生内存泄漏
• 内存布局和最初的一维连续分配方案完全一致，没有额外的性能损耗

如果使用不支持C99变长数组的老旧编译器，且矩阵列数是编译期可确定的常量，直接把列数替换为常量即可，比如列数固定为16时声明为t_point (*matrix)[16]，用法完全相同。

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