针对AutoMsg 析构函数存在缺陷的优化

  昨天在讨论需求时提到了google的一款开源软件，突然想起来在深圳工作那半年遇到该软件在搭配CUB库中AutoMsg使用时存在内存泄漏的问题。于是撰写本文对问题进行阐述，并给出解决方案。

  cub 已经开源，其中封装了很多有用的组件例如链表,锁以及DCI框架。有兴趣的同学可以浏览下。本文主要探讨其中的一个组件AutoMsg.

  AutoMsg主要是解决大对象占用较大栈内内存，可能导致栈溢出的问题。其原理如下：

• 1，构造对象（在全局数据区分配内存---> 构造对象）
• 2，销毁对象 （回收内存）

  由上可以看出对象的构造分为两个阶段：分配内存和对象构造。然而在销毁时就只剩内存回收，也就是说缺省了对象析构这个过程。如果存在非默认的析构函数，那么我们设置的扫尾工作可能就没有人做了。例如动态内存释放。

  ~AutoMsg()
  {
        if(msg != 0)
        {
            typedef typename IS_POD::value_type type;

            _Destroy(getPointer(), type());

            msg->operator delete((void*)msg);
            msg = 0;
        }
  }

在最小修改以及不影响原有业务代码的情前提下，我们对原有的代码只是添加了如下两行：

          typedef typename IS_POD::value_type  type;
         _Destroy(getPointer(), type());

IS_POD是我们实现的一个类型萃取器，其主要作用是判断当前的数据类型是否需要析构。如果不需要，为了提高效率也就没有必要调用析构函数。_Destroy主要是进行对象析构，其实现如下：

template void _Destroy(T* ptr, __false_type)
{
    ptr->~T();
}

template void _Destory(T* ptr, __true_type){}

  综上的修改只是在内存回收的前面调用了下析构函数。当然在此也做了稍许的性能优化，毕竟对于我们来说性能还是很重要的。上述IS_POD类型萃取器的实现，这个比较简单主要就是使用了模板的特化在此就不作展开了。该问题看似实现简单，实际上用到了很多实现技巧，例如模板特化、类型萃取等。有兴趣的同学可以研究下