c++ - 与静态 c 运行时链接时内存分配/解除分配的问题

Question

我在 Jeffrey Richter 和 Christophe Nasarre 的 Windows via C-C++ 一书中看到了下面的注释。

检查以下代码:V

OID EXEFunc() {
PVOID pv = DLLFunc();
// Access the storage pointed to by pv...
// Assumes that pv is in EXE's C/C++ run-time heap
free(pv);
}
PVOID DLLFunc() {
// Allocate block from DLL's C/C++ run-time heap
return(malloc(100));
}

那么，你怎么看？前面的代码是否正常工作？是分配的 block DLL 的函数被 EXE 的函数释放了吗？答案是:也许吧。显示的代码不给你足够的信息。如果 EXE 和 DLL 都链接到 DLL C/C++ 运行时图书馆，代码工作得很好。但是，如果一个或两个模块链接到静态 C/C++运行时库，对 free 的调用失败。

我无法理解为什么在使用静态 C 运行时链接模块时调用 free 会在这里失败。

有人可以解释为什么 free 失败了吗？在这里找到类似的问题: Memory Allocation in Static vs Dynamic Linking of C Runtime

但我和 MrPhilTx 有同样的疑问:不是所有的堆都在同一个地址空间吗？

谢谢!

Answer 1

当您的 DLL 和 EXE 都静态链接到 C 运行时时，这两个运行时根本不知道彼此。因此，EXE 和 DLL 都获得了它们自己的运行时拷贝、它们自己的堆和堆元数据。双方都不知道其他元数据，并且在释放内存时没有安全的方法来更新数据。你最终会得到不稳定的元数据，事情最终会失败(如果你很幸运，它会立即失败)。

这意味着您最终在进程中至少有两个堆，每个堆都有自己的规则和元数据。 EXE 无法知道 DLL 分配内存的确切方式，因此无法释放它。

至于为什么当一切都动态链接时你可以共享一个堆，这很简单，进程中只有一个 C 运行时 DLL 的拷贝，所以如果每个 DLL 链接到它，它们都会调用具有相同元数据的相同代码。