muduo库源码学习(base)singleton

/*
SFINAE的意思是这样的，假如有一个特化会导致编译时错误(即出现编译失败)，只要还有别的选择可以被选择，
那么就无视这个特化错误而去选择另外的可选选择。
这个示例中，如果我们给传的参数T类型为POD类型，
当调用detail::has_no_destroy<T>::value时，T参数会在has_no_destroy类中实例化模板，
由于是POD类型，不具备no_destroy方法，不可以使用&C::no_destroy方式调用，意味这如果匹配这个会导致编译错误，
那么它会寻找下一个去实例化。
不过因为test(...)的存在，任何不匹配上一个的到这里都会被接收，所以我们声明出来的成员变量test会是int32_t类型，而不是char类型。
则下一行的value，由于测量test零初始化的字节数，相当于sizeof(int32_t) != 1，所以value的值被确定为false。
我们退出这个函数，回到调用处。
if(!detail::has_no_destroy<T>::value)此时if语句不成立，所以不用注册atexit时的destroy函数。
注意，no_destroy必须是public类型
*/


template<typename T>
struct has_no_destroy
{
  template <typename C> static char test(decltype(&C::no_destroy));
  template <typename C> static int32_t test(...);
  const static bool value = sizeof(test<T>(0)) == 1;
};
}

template<typename T>
class Singleton : noncopyable
{
 public:
  static T& instance()
  {
    pthread_once(&ponce_, &Singleton::init);//call_once(ponce_, &Singleton::init)
    assert(value_ != NULL);
    return *value_;
  }

 private:
  Singleton();
  ~Singleton();

  static void init()
  {
    value_ = new T();
    if (!detail::has_no_destroy<T>::value)
    {
      ::atexit(destroy);
    }
  }

  static void destroy()
  {
    typedef char T_must_be_complete_type[sizeof(T) == 0 ? -1 : 1];
    T_must_be_complete_type dummy; (void) dummy;

    delete value_;
    value_ = NULL;
  }

 private:
  static pthread_once_t ponce_;//static once_flag ponce_;
  static T*             value_;
};

template<typename T>
pthread_once_t Singleton<T>::ponce_ = PTHREAD_ONCE_INIT;//static once_flag ponce_;

template<typename T>
T* Singleton<T>::value_ = NULL;

}