C语言中创建二维数组时malloc失败检测失效问题

你的代码在处理循环内的malloc失败时存在关键缺陷，导致无法正确检测到内存不足的错误，具体原因如下：

核心问题：部分初始化的对象导致错误状态被覆盖 #

当第一个malloc（分配行指针数组）成功，但循环中某一行的malloc失败时，你的代码仅设置errorStatus为BAD_MALLOC就返回image，但没有释放之前已经成功分配的行内存。此时返回的image处于部分初始化的状态：

• imageData是一个非空指针（指向已分配的行指针数组）
• 前N行已成功分配内存，失败的那行是NULL

这种状态会直接导致后续代码干扰错误检测：

1. 错误状态被意外覆盖：如果调用者没有第一时间检查errorStatus，而是继续对image执行填充像素、修改属性等操作，这些操作很可能会将errorStatus覆盖为其他值（比如SUCCESS或其他业务错误码），彻底掩盖最初的malloc失败。
2. 未定义行为中断检测：如果后续代码尝试访问那行NULL指针，会触发内存访问错误或程序崩溃，导致你根本没机会看到BAD_MALLOC的错误状态。

补充：第一个malloc的处理是有效的 #

如果是第一个malloc（分配行指针数组）失败，代码的处理是正确的——设置错误状态并返回，此时imageData为NULL，后续只要检查errorStatus就能捕获错误。问题仅出现在循环内的malloc失败场景。

修复思路 #

当循环内malloc失败时，需要先清理已分配的内存，确保image回到干净的错误状态：

for(int nRow = 0; nRow < image->height; nRow++) {
  image->imageData[nRow] = (unsigned int*) malloc(image->width * sizeof(unsigned int));
  if (image->imageData[nRow] == NULL) { 
    // 释放已成功分配的行内存
    for(int i = 0; i < nRow; i++) {
      free(image->imageData[i]);
    }
    // 释放行指针数组本身
    free(image->imageData);
    image->imageData = NULL; // 置空避免野指针
    image->errorStatus = BAD_MALLOC;
    return image;
  }
}

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