释放内存时崩溃

Question

我有一个用于修改pdf文件内容的应用程序。完成所需的更改后，我保存文件并退出应用程序。在此过程中，我想清除分配给 pdf 文件的内存。代码如下：

    for (i32 i = 0; i < job_state->PDF_IList_len; i++) {
        if(IList[i].PIL_ImageData.PDH_DataPtr.PDH_PathName)
            free (IList[i].PIL_ImageData.PDH_DataPtr.PDH_PathName);
        if(IList[i].PIL_DependentImages)
            free (IList[i].PIL_DependentImages);
    }
    job_state->PDF_ImageList = NULL;
    job_state->PDF_context = NULL;
    free (IList);

job_struct是一个保存文件信息的数据结构。 PDH_Pathname 是存储 pdf 详细信息的临时目录。

我的应用程序总是崩溃，

free (IList[i].PIL_ImageData.PDH_DataPtr.PDH_PathName);

我注意到每当它崩溃时，就无法评估 free (IList[i].PIL_ImageData.PDH_DataPtr.PDH_PathName) 的值（这就是调试器所说的）。

如果 for 循环被注释掉，则不会观察到崩溃。请让我知道可能是什么问题。

Answer 1

鉴于您所显示的代码，无法说出根本原因，因为：

• 您的代码没有显示如何在错误指针上完成分配。
• 它也没有显示所有（可能是很多地方）所述指针的使用位置。

第二个有点棘手，因为指针可能已传递到 n 个控制路径，在这些路径中它可能会再次被释放或被损坏，可以理解的是，不可能在这里提供所有这些作为一部分问题的。

鉴于上述情况，您最好的选择是使用内存分析工具，例如 Unix/Linux 系统上的 Valgrind 或 Windows 上的 Rational Purify。一旦您使用这些运行您的应用程序，它们将准确地指出问题的根本原因。

Answer 2

除了 Als 使用 valgrind 的答案之外，在释放指针后，将指针设置为 NULL 可能是值得的：

for (i32 i = 0; i < job_state->PDF_IList_len; i++) {
    free (IList[i].PIL_ImageData.PDH_DataPtr.PDH_PathName);
    IList[i].PIL_ImageData.PDH_DataPtr.PDH_PathName = NULL;
    free (IList[i].PIL_DependentImages);
    IList[i].PIL_ImageData.PDH_DataPtr.PDH_PathName = NULL;        
}

free() 不会将指针设置为 >NULL，它只释放存储在那里的内存。由于您正在测试指针的值是否为零以确定是否需要释放它，因此如果此代码被调用两次（或者如果有任何情况），则不将指针设置为 NULL 可能会导致双重释放IList[] 内部指向稍后在 IList[] 中也会遇到的结构）。

根据评论，我还删除了 free 之前对 NULL 的检查（正如 Joshua Green 指出的，free(NULL) 是完全安全的）。