Singleton

// This doesn't detect inherited member functions!
// http://stackoverflow.com/questions/1966362/sfinae-to-check-for-inherited-member-functions
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;
};
}  // namespace detail

template<typename T>
class Singleton : noncopyable
{
 public:
  Singleton() = delete;
  ~Singleton() = delete;

  static T& instance()
  {
    pthread_once(&ponce_, &Singleton::init);
    assert(value_ != NULL);
    return *value_;
  }

 private:
  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 T*             value_;
};

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

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

关于has_no_destroy的部分参看上一篇博客，这里不再说明。

Singleton是一个单例类模板，用来生成单例。单例功能是使用pthread_once实现的。首先先介绍一下该函数：

int pthread_once(pthread_once_t *once_control,
          void (*init_routine)(void));
pthread_once_t once_control = PTHREAD_ONCE_INIT;

一次性初始化

多线程程序有时有这样的需求：不关创建了多少线程，有些初始化动作只能发生一次。例如，可能需要执行pthread_mutex_init()对带有特殊属性的互斥量进行初始化，而且必须只能初始化一次。如果由主线程来创建新线程那么这一点易如反掌：可以在创建依赖于该初始化的线程之前进行初始化。不过，对于库函数而言，这样处理就不可行，因为调用者在初次调用库函数之前可能已经创建了这些线程。故而需要这样的库函数：无论首次为任何线程所调用，都会执行初始化动作。库函数可以通过调用pthread_once()实现一次性初始化。

利用参数once_control的状态，函数pthread_once()可以确保无论有多少线程对pthread_once()调用了多少次，也只会执行一次由init_routine指向的调用者定义函数。参数once_control必须是一指针，指向初始化为PTHREAD_ONCE_INIT的静态变量。对该函数的首次调用将修改once_control所指向的内容，以便对其后续调用不再次执行init_routine。

 

回到Singleton，Singleton对外只提供了一个instance方法，用来返回创建的单例指针，在第一次调用instance的使用，通过pthread_once会调用init，在init中动态生成了一个T类型的对象。并且在T没有成员函数no_destroy时，还会调用atexit，注册退出处理程序。在进程终止时会调用destroy函数。以后再调用instance，不会再执行init，而是直接返回第一次创建的对象指针。

在destroy中，会定义一个T_must_be_complete_type数组，通过该数组判断T是否为完整的类型。如果T为完整的类型，那么sizeof(T)就不为0，T_must_be_complete_type数组的大小为1；如果T为不完整类型，sizeof(T) 等于0，想定义的T_must_be_complete_type数组的大小为-1，编译无法通过。

T不是不完全类型时，最终在进程终止时调用destroy，delete删除动态创建的对象。