静态CRT下共享库使用模板类的跨模块内存管理问题

模块代码 #

a.dll #

void a(std::string& str){
  str="123";
}

test.exe #

int main(){
  std::string str;
  a(str);
}

问题解答 #

问题1：若a.dll与test.exe均链接静态CRT，且假设std::string通过char*指向缓冲区。由于两个模块各自编译std::string，是否存在a.dll使用自身CRT为缓冲区分配内存，而test.exe使用自身CRT释放该内存的情况？ #

存在这种情况。链接静态CRT时，每个模块会拥有独立的CRT副本，包括独立的内存分配器。在a.dll的a()函数中，str="123"会触发std::string的内存分配（无小字符串优化的前提下），这块内存由a.dll的静态CRT分配器分配。当test.exe中的std::string对象在main()结束后销毁时，会调用自身静态CRT的释放函数来释放缓冲区，从而出现“一个CRT分配、另一个CRT释放”的跨模块内存操作不匹配。

问题2：若上述情况成立，当两者链接同一版本CRT时，能否保证该内存操作的正确性？ #

不能保证操作正确。

从C标准层面，未定义跨不同模块的CRT副本之间的内存分配/释放行为。即使两个模块使用同一版本的静态CRT，每个CRT副本都维护着独立的内存堆，堆的管理数据结构（如空闲链表、堆元数据）完全隔离。跨堆释放内存属于未定义行为，可能引发程序崩溃、内存损坏或其他不可预测的结果，这和编译器、操作系统版本无关，是符合C标准的逻辑结论。

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