//线程不安全惰性单件
template <typename T>
class CSingleton
{
protected:
CSingleton(){}
virtual ~CSingleton()
{
if(m_instance)
delete m_instance;
m_instance = 0;
}
public:
static T* Instance()
{
static CSingleton<T> i;
if(i.m_instance==0)
i.m_instance=new T();
return i.m_instance;
}
private:
T *m_instance;
};
#define INSTANCE(CLASS) CSingleton<CLASS>::Instance()
1:KDL问题:采用static构造的类在初始化时会调用atexit注册其析构函数,当进程终止时,会采用后进先出方式析构atexit中注册的函数,如果按KDL顺序初始化单件,但在析构K的时候又要用L,就可能会出问题
解决方案:初始化时显式按照已知逻辑初始化单件,或者构建一个对象生命管理器
2:DCL问题:要么编写线程安全单件,要么采用在进入main之前所有单件都让他初始化好
//先于main之前被初始化线程安全非惰性单件
template<typename T >
class CSingleton
{
private:
CSingleton(){};
public:
static T* Instance()
{
return &m_instance;
}
private:
static T m_instance;
};
template<typename T > T CSingleton<T >::m_instance;
#define INSTANCE(Class) CSingleton<Class >::Instance()
上面是动态初始化
静态成员变量分为动态初始化和静态初始化两种方式,动态初始化用于调用函数初始化,静态初始化是对常量的直接初始化,静态初始化是编译期确定,动态初始化是运行期确定
上面单件是先于main函数初始化,但所有动态初始化顺序是不确定的,如果单件之间初始化时相互引用会出问题
//一个关于线程安全惰性初始化例子
//采用memory barrier实现
Singleton* Singleton::instance ()
{
Singleton* tmp = pInstance;
// insert memory barrier
if (tmp == 0)
{
Lock lock;
tmp = pInstance;
if (tmp == 0)
{
tmp = new Singleton;
// insert memory barrier
pInstance = tmp;
}
}
return tmp;
}