深究跨dll的资源分配和释放问题

一直都在说stl库最好不要跨模块传递,因为以前没有遇到过类似的问题,所以一直都没有仔细研究过为什么,最近写了一个代码,遇到这个问题了,我们就来研究一下

是下面类似代码出的问题:

// a.dll
std:: string  a;                         //在a.dll里面分配的内存
AddString(a);                        //这是调用b.dll里面的函数

// b.dll
void  AddString( string &  val)
... {
    val += "test";                     //这是在b.dll里面的函数,因为+=一般会动态增长内存,所以这里的内存是在b.dll里面分配的
}

我们来把问题简化一下,我们看看new函数到底干了什么，跟踪进去之后可以看到有这么一个代码，进行内存分配（下面的代码去掉次要的，只有我们需要的代码）

__forceinline  void   *  __cdecl _heap_alloc (size_t size)

... {
    return HeapAlloc(_crtheap, 0, size ? size : 1);　　　　//这里调用api在_crtheap上分配内存
}

那么上面的_crtheap是哪里来的呐，我们来看下真正的dll入口函数_DllMainCRTStartup（在这个函数里面会调用DllMain，但是除此之外还完成了全局变量初始化之类的工作，同时也完成了这里要说到的内存管理），检查下汇编代码，就会发现实际的dll入口是在DllMainCRTStartup，里面有个函数_heap_init，里面

         if  ( (_crtheap  =  HeapCreate( mtflag  ?   0  : HEAP_NO_SERIALIZE,
                                     BYTES_PER_PAGE,  0  ))  ==  NULL )

大家看到了，_crtheap登场了，那么可以理解了，new和delete操作都是和模块相关的，每个模块都会管理自己的堆，如果跨模块的话，就会导致堆内存管理的混乱，出错再所难免了．解决的办法可以动态连接crt库，这样管理new和delete都在同一个堆里（因为动态连接，代码都会在crt的dll里面执行，当然不会有堆内存的问题），不会出任何问题．还可以利用虚函数技术，反正都是为了保证资源的分配和释放不能在不同模块里面，这个上vc++的crt决定的，没有研究过其它IDE的crt，不知道是否也有类似的问题，over