C++新手求教：代码中的内存释放与文件关闭操作是否冗余？

我是一名C新手，尚未完全理解C的内存管理机制，怀疑以下代码存在冗余，希望能去除冗余代码，特向大家求助：

void processData()
{
    FILE* savedDataFile;
    char* savedData;
    try {
        savedDataFile = fopen("../savedData.dump", "r");
        if (!savedDataFile)
            throw 0;
        savedData = (char*)malloc(0xf000);
        fread(savedData, 1, 0xf000, savedDataFile);
        fclose(savedDataFile);
        free(savedDataFile); // Do I really need this?
    }
    catch (int e) {
        try {
            fclose(savedDataFile); // Do I really need this?
        }
        catch (int e) {
        }
        free(savedDataFile); // Do I really need this?
        free(savedData); // Do I really need this?
        fprintf(stderr, "Failed to load saved data from the previous dump.\n");
        exit(EXIT_FAILURE);
    }
    // Data processing... it may take a while.
    free(savedData); // Do I really need this? Taking into account that this's actually the end of the program, there's only returning of EXIT_SUCCESS in the main function after it.
}

int main()
{
    // Some work... then the last function's called:
    processData();
    return EXIT_SUCCESS;
}

我想确认代码中标注的free(savedDataFile)、fclose(savedDataFile)以及free(savedData)这些操作是否真的有必要，尤其是最后一处free(savedData)，因为调用完processData()后程序就会返回EXIT_SUCCESS结束。

逐个解答你的疑问： #

1. 所有free(savedDataFile)都是错误操作，必须删除

   • savedDataFile是fopen返回的文件指针，属于操作系统内核维护的资源，不是通过malloc分配的用户态内存，只能用fclose释放。调用free(savedDataFile)会触发未定义行为，大概率导致程序崩溃。

2. fclose(savedDataFile)的必要性

   • 正常流程里的fclose是必须的：打开文件后不关闭会占用操作系统的文件描述符资源，若程序后续有其他文件操作，可能因描述符耗尽无法打开新文件。
   • 异常分支里的fclose需要加判断：如果fopen失败，savedDataFile是NULL，直接调用fclose(NULL)会触发未定义行为，要改成if (savedDataFile) fclose(savedDataFile);。另外fclose默认不会抛出C++异常，不需要嵌套try-catch。

3. free(savedData)的必要性

   • 异常分支里的free(savedData)：只有当savedData被malloc成功分配后才需要释放。如果fopen失败直接抛出异常，savedData是未初始化的野指针，直接free会出问题，要改成if (savedData) free(savedData);。
   • 正常流程最后的free(savedData)：从技术上讲，进程退出时操作系统会自动回收所有用户态内存，不调用free也不会造成内存泄漏。但从代码规范和可维护性来说建议保留：万一后续processData被修改为非程序最后调用的函数，忘记加free就会导致内存泄漏；同时这也是明确管理资源的良好编程习惯。

优化后的代码示例： #

#include <cstdio>
#include <cstdlib>

void processData()
{
    FILE* savedDataFile = nullptr;
    char* savedData = nullptr;
    try {
        savedDataFile = fopen("../savedData.dump", "r");
        if (!savedDataFile)
            throw 0;
            
        savedData = static_cast<char*>(malloc(0xf000));
        if (!savedData) { // 补充malloc失败的判断
            fclose(savedDataFile);
            throw 1;
        }
            
        fread(savedData, 1, 0xf000, savedDataFile);
        fclose(savedDataFile);
        savedDataFile = nullptr; // 置空避免后续误操作
    }
    catch (int e) {
        if (savedDataFile) {
            fclose(savedDataFile);
        }
        if (savedData) {
            free(savedData);
        }
        fprintf(stderr, "Failed to load saved data from the previous dump.\n");
        exit(EXIT_FAILURE);
    }
    
    // Data processing... it may take a while.
    
    free(savedData);
}

int main()
{
    // Some work... then the last function's called:
    processData();
    return EXIT_SUCCESS;
}

另外，作为C新手，更建议使用C标准库的资源管理方式：用std::ifstream代替C风格文件操作，用std::vector<char>代替malloc，这样能自动管理资源，避免手动调用fclose/free的麻烦，更符合C++编程范式。

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