调用 free 会导致程序抛出异常

Question

当我偶然发现以下问题时，我正在做作业。我应该使用 C 语言和 Windows API 函数创建一个简单的多线程应用程序。每个线程都会运行一个简单的任务，所以我决定回收一些我做过的旧东西。

我有一个头文件：

http://pastebin.com/1aJFAwBg

和一个源文件：

http://pastebin.com/L127FGhG

然后在 main 中，我进行以下调用：

LoadPoem();
ProcessPoem();
SavePoem();

LoadPoem 打开包含原始内容的文件，为输入分配一个缓冲区（变量loadPoemBuffer）并将文件中的文本存储在其中。然后，ProcessPoem 为更改后的版本分配一个缓冲区（变量processedPoemBuffer），并通过重复调用strtok 来填充它。然后它释放loadedPoemBuffer并结束。 到目前为止，一切都很好。 当我调用 SavePoem() 时，问题出现了，它正确保存了数据，但是当它结束时，它调用 free(processedPoemBuffer) 并抛出异常 - 堆损坏。我似乎无法理解为什么。在我看来，它执行的操作与之前的 ProcessPoem 完全相同，但该功能不会失败。

有人可以向我解释一下吗？提前致谢。

Answer 1

processedPoemBuffer 似乎是 LPWSTR，这意味着您的数据是 Unicode。然后调用 _tcscat_s ，如果您正在为 Unicode 构建，则需要字符数，而不是字节数。您需要将输入文件大小除以 _tcscat_s 缓冲区长度参数的 WCHAR 大小。

Answer 2

free 中的异常意味着您使用不是 malloc 结果的内容来调用它。使用 NULL 初始化您的 processedPoemBuffer 并在 free 处检查它：

void* processedPoemBuffer = NULL;
...
if (some_err) goto error;
... 
error:
if (processedPoemBuffer) // only delete checks for NULL
    free(processedPoemBuffer);