C语言：能否无需循环和数组形状直接释放连续内存二维数组？

用户提供的代码：

#include <stdio.h>
#include <stdlib.h>

void* create2dArray(int r,int c) {
    int (*arr)[c] = (int(*)[c])malloc(sizeof(*arr) * r);
    return arr;
}

void release2dArray(void* arr) {
    free(arr);
}

int main() {
    int r = 10, c = 20;
    int (*arr)[c] = (int (*)[c])create2dArray(r, c);
    for (int i = 0; i < r; i++) {
        for (int j = 0; j < c; j++) {
            arr[i][j] = i * c + j;
            printf("%d ", arr[i][j]);
        }
        printf("\n");
    }
    release2dArray(arr);
    arr[0][2] = 20;
    printf("%d ", arr[1][2]);
}

用户问题：
我通过指向数组的指针为二维数组分配了连续内存，希望直接调用release2dArray(arr)释放内存（我知晓内存分配信息存储在已分配内存的前方），但尝试后失败。请问是否可以无需使用循环、也不将数组形状传入release2dArray函数的前提下，释放该二维数组的内存？

完全可以直接用free(arr)释放，你的release2dArray逻辑本身是正确的，所谓的“失败”本质是释放后非法访问内存导致的问题，不是释放操作本身出错。

核心原因： #

你用malloc(sizeof(*arr) * r)分配的是一整块连续内存，malloc返回的指针就是这块内存的起始地址。后续不管你把它转换成int (*)[c]这类指向数组的指针，只要保存的是malloc返回的原始地址（你的代码里create2dArray直接返回了该地址，main里的arr就是这个地址的强转），直接调用free就能完整释放整块内存——不需要循环，也不需要传入行列信息。

你代码里的问题出在release2dArray(arr)之后，还执行了arr[0][2] = 20;和printf("%d ", arr[1][2]);：内存释放后，这块内存的归属权已经归还操作系统，再访问它属于野指针操作，是C语言中的未定义行为，可能出现乱码、崩溃或看似正常的错误输出，但这和内存释放是否成功无关。

验证与修正： #

把释放后的内存访问代码删掉，程序就能正常运行，内存也会被正确释放。如果要确认内存无泄漏，可以用Valgrind这类内存检测工具验证。

额外提示： #

• 不要依赖“内存分配信息存储在已分配内存前方”这种实现细节，C标准只要求用free释放malloc/calloc/realloc返回的指针，不管内存被用作什么类型存储，整块分配的内存直接释放原始指针即可。
• C语言中void*可以直接赋值给其他指针类型，create2dArray的返回值可以不用强制转换，代码可简化为int (*arr)[c] = create2dArray(r, c);。

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