晓说智能指针shared_ptr为何可以实现跨模块分配和释放内存

最近做项目， 有个地方是外包人员写的， 其中有个函数，大致这样

void getInfo(std::shared_ptr<Info>& outInfo); 这个函数是一个dll(链接静态vc库， 使用/MT链接选项）。

我在exe（也是/MT选项）中使用这个函数， 一开始看了，感觉危险，为啥呢？因为我是这样调用的

f()

{

std::shared_ptr<Info> tmpInfo;

getInfo(tmpInfo);

}

所以，内存是在dll里面分配的，但是 内存在f退出时，析构 tmpInfo， 肯定会有释放的动作，这岂不是 dll分配  ， exe释放吗？而且还是静态链接， 必然会 堆冲突啊， 然而无论我怎么测试 ， 就是好的出奇， 没有任何挂掉的迹象。 我想了好几天， 也跟了好几次std::shared_ptr的代码， 明明最后看到有 delete p这样的类似语句， 那么delete不是释放了不该管的内存吗？

今天又跟踪， 突然发现一个诡异的问题，发现在f退出前， tmpInfo析构时竟然 代码最后进入到了dll里面进行内存释放的调用，大致就是调用了一个函数  _destroy()的。 我跟了几次， 中间停下来想了各种可能的原因， 后来看到了reset时的一个 调用

shared_ptr(px这是那个分配的指针).swap(*this)， 就是相当于 shared_ptr(px).swap(tmpInfo), 于是我就观察 ，跟踪， 发现在shared_ptr(px)临时对象析构时， 竟然进入了exe模块， 明明就是dll中reset内部的临时变量， 咋就跑到exe了呢？ 后来发现 跳转时， 有个 call eax的地方， eax经过了几次mov的计算， 所以猜测应该是虚函数指针寻址进行调用的过程。

后来想了想， 觉得可能就是在swap时 ， 临时的shared_ptr从(*this)中交换到了this对象初始化时所在模块的 delete地址， 所以才正确分配this相关的内存。

结合前几次看源代码的过程， 里面有几个对象定义了虚函数， 尤其是_destroy是虚函数， 而且使用了一个父类指针作为记忆的东西。 果然， 继续去看源码， shared_ptr有个 _Ref_cout_base*的成员变量，就是它记忆了相关分配时的信息。 他有个纯虚函数—_destroy，在 在 调用 reset时， 回调用 reset(px, new _Ref_count(px)),  这个 _Ref_count就是_Ref_cout_base的具体实现的子类，

这个子类又实现了接口_destroy()， 基本就是delete px的动作。 所以， 一切明了啦。 在reset时， 会同时调用一下类似的动作：

m_pRefCount = new _Ref_count(px); 这样m_pRefCount就跟调用shared_ptr的reset 时所在模块一致了, 所以， shared_ptr使用 临时对象和this对象的swap完成 reset函数的功能， 就可以保证， this对象的m_pRefCount对象所在模块就是reset调用时所在模块（我这里是dll中）， 所以，当f 函数退出时， 会调用 m_pRefCount的_destroy函数， 而这个函数会通过虚函数表中记忆的m_pRefCount对象被初始化时所在模块中定义的该类的_destroy函数（虽然exe也有这个类的所有函数定义）， 找到正确的_destroy地址， 而这个_destroy由于跟getInfo函数都是在dll定义的一个具体实现， 所以， 这个_destroy中所有的函数的直接调用（仅限于是直接调用（非虚函数的，有固定地址的），如果他也调用一个虚函数， 说不定通过虚函数表的寻址，又跑了其他模块去了，正如他自己就是这样跨模块的）， 就是调用了dll里面的函数（包括delete）, 所以， tmpInfo析构时， 调用tmpInfo.m_pRefCount的_destroy函数（虚的），会根据虚表指针走到dll函数里面真正的_destroy地址， 这样， 他所释放的也就跟他所包含的对象都在一个模块。这个关键还是 虚函数 的作用啦。

想一想， 如果m_pRefCount不是虚函数， 那么， 对象中就不会包含 他的成员函数地址， 就不会包含m_pRefCount地址（虚函数的地址间接存放在对象开头）， 那么reset就交换不到外部模块函数地址， 当调用_destroy时， 就是调用了所在模块的_destroy， 就会调用所在模块的delete， 这样释放就会有问题。 所以， 正式因为虚函数的作用， 我们可以在对象本身中存放函数地址（固定的cpu寻函数地址指令就可以找到地址）， 就可以记忆delete的地址（虽然delete很奇特的编译器实现的东西，语言上不可操控）， 这样才可以保证对象的一致释放~~~~ 好啦， 回去睡觉啦， 还在公司呢， 刚吃个水饺， 欧耶~~~~~~