二维数组内存分配出错时如何正确执行内存释放？

这问题我之前踩过类似的坑！咱们核心要记住一个原则：按分配的逆序释放，只释放已经成功分配的内存块。

先分析你代码里的问题：当某个a[i]分配失败时，你只写了一半的释放循环，没处理完所有已分配的内层数组，也没释放外层的指针数组，这就会导致内存泄漏，甚至后续误操作可能触发异常。

正确的处理逻辑 #

1. 分配失败时的紧急清理：
   当某一层内存分配失败时，需要先遍历所有已经成功分配的内存块，释放掉它们，然后再释放外层的容器。
   • 对你的二维数组来说，就是先释放已经成功分配的a[0]到a[i-1]（因为当前a[i]分配失败），然后再释放外层的a。
2. 正常退出时的完整释放：
   即使所有内存都分配成功，程序结束前也要逐个释放内层数组，最后释放外层指针数组，避免内存泄漏。

补全后的完整代码 #

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

int main(void) {
    int **a = NULL;
    int i;
    int j;

    // 分配外层指针数组
    if(!(a = calloc(5, sizeof(int *)))) {
        printf("Error, could not allocate memory for a!\n");
        exit(EXIT_FAILURE);
    }

    // 逐个分配内层int数组
    for(i = 0; i < 5; i++) {
        if(i != 2) {  // 模拟i=2不分配的场景
            if(!(a[i] = calloc(3, sizeof(int)))) {
                printf("Error, could not allocate memory for a[%d]!\n", i);
                // 释放已成功分配的内层数组
                for(j = 0; j < i; j++) {
                    free(a[j]);  // free(NULL)是安全操作，无需额外判断
                }
                // 释放外层指针数组
                free(a);
                exit(EXIT_FAILURE);
            }
        }
        // i=2时a[i]保持NULL，无需处理
    }

    // 这里可以正常使用二维数组...

    // 正常退出前释放所有内存
    for(i = 0; i < 5; i++) {
        free(a[i]);
    }
    free(a);

    return EXIT_SUCCESS;
}

关键注意点 #

• 释放顺序：一定要先释放内层的int数组，再释放外层的指针数组。如果反过来，先释放a，那a[i]就变成野指针，再去释放会触发未定义行为。
• 安全释放：free(NULL)是标准C允许的安全操作，所以即使某个a[i]本来就是NULL（比如你代码里的i=2），直接free也不会出问题，追求严谨的话也可以加if(a[i] != NULL)的检查。
• 避免遗漏：分配失败时，一定要确保所有已经分配的内存都被释放，不能只释放一部分，否则会造成内存泄漏。

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