MSVC CRT Debug堆断言问题：跨二进制边界传递C++ STL对象

问题本质 #

触发的__acrt_first_block == header断言，是MSVC Debug CRT用来检测跨堆释放的机制：对象内部动态分配的内存来自DLL的私有堆，却被宿主进程的CRT尝试释放，两者堆空间完全独立，导致断言触发。

即便宿主和DLL都使用/MT（静态CRT）编译，每个模块依然会拥有独立的CRT实例与私有堆管理器。DLL中std::string、std::vector的动态内存由DLL的堆分配，宿主析构对象时调用自身CRT的释放函数，操作不属于自己的堆内存，Debug CRT直接抛出断言；而Release模式下该断言被移除，未定义行为可能暂时不表现为崩溃，但隐患始终存在。

关于RVO的疑问 #

RVO（返回值优化）确实会让MyData对象直接在宿主栈上构造，但这只影响对象本身的栈内存——容器内部的动态缓冲区（比如std::string的字符数组）依然由DLL的CRT堆分配，宿主析构时仍会跨堆释放这些缓冲区，因此断言依然会触发，问题根源不在RVO本身。

为什么ASAN未检测到错误 #

静态CRT场景下，宿主与DLL各自加载独立的ASAN实例，跨模块的内存分配/释放归属无法被统一追踪，因此ASAN无法识别这种跨堆释放的问题。

解决方案 #

1. 改用动态CRT（/MD/MDd） #

将宿主与DLL的CRT链接模式统一改为/MD（Release）或/MDd（Debug），此时整个进程共享一套CRT实例与全局堆，跨模块的内存分配/释放可以正常协作，这是最简便的解决方式。

2. 封装DLL接口，避免直接暴露STL类型 #

把包含STL的结构体封装在DLL内部，对外提供C风格的创建/销毁接口，确保所有内存操作都在DLL中完成：

// DLL导出代码
extern "C" __declspec(dllexport) MyData* createMyData() {
    return new MyData();
}

extern "C" __declspec(dllexport) void destroyMyData(MyData* data) {
    delete data;
}

宿主仅调用上述接口获取和销毁对象，不直接执行析构操作。

3. 为STL容器指定跨模块兼容的分配器 #

自定义基于进程全局堆的分配器，让STL容器的动态内存从全局堆分配，确保宿主与DLL使用同一堆空间：

#include <windows.h>
#include <vector>
#include <string>

struct GlobalHeapAllocator {
    using value_type = char;

    char* allocate(std::size_t n) {
        return static_cast<char*>(HeapAlloc(GetProcessHeap(), 0, n));
    }

    void deallocate(char* p, std::size_t) {
        HeapFree(GetProcessHeap(), 0, p);
    }
};

// 分配器相等性判断（STL要求）
bool operator==(const GlobalHeapAllocator&, const GlobalHeapAllocator&) { return true; }
bool operator!=(const GlobalHeapAllocator&, const GlobalHeapAllocator&) { return false; }

struct MyData {
    std::vector<std::string, GlobalHeapAllocator> entries;
};

这种方式下，容器的内存分配与释放都基于进程全局堆，跨模块操作不会触发堆断言。

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