动机(Motivation)
在软件系统中,经常有这样一些特殊的类,必须保证它们在系统中只存在一个实例,才能保证它们的逻辑正确性以及良好的效率。
如何绕过常规的构造器,提供一种机制来保证一个类只有一个实例?
这应该是类设计者的责任,而不是使用者的责任。
模式定义:
保证一个类仅有一个实例,并提供一个该实例的全局访问点。
例子:
为了保证只能存在一个实例,并且防止生成默认的构造函数和默认的拷贝构造函数,必须声明这两个函数并设为private,并要设置静态的成员函数和静态的指针变量
class Singleton{
private:
Singleton();
Singleton(const Singleton& other);
public:
static Singleton* getInstance();//静态成员函数
static Singleton* m_instance;//静态指针变量
};
Singleton* Singleton::m_instance=nullptr;
//线程非安全版本
//可能还没new时,就有2个线程进入了{ m_instance = new Singleton();}内,导致多次new
Singleton* Singleton::getInstance() {
if (m_instance == nullptr) {
m_instance = new Singleton();
}
return m_instance;
}
//线程安全版本,但锁的代价过高
//读操作不需要加锁
//假如m_instance 已经不是nullptr,如果线程1进入加了锁,线程2进来一直等着锁解开,所以对读操作会造成浪费,在某些高并发的场景可能会影响比较大
Singleton* Singleton::getInstance() {
Lock lock;
if (m_instance == nullptr) {
m_instance = new Singleton();
}
return m_instance;
}
//双检查锁,但由于内存读写reorder不安全
//理想情况:分配内存-内存初始化-发送内存地址
//但是内存读写是无序的,可能分配完内存就发送内存地址,内存内容还未初始化,从而导致读取的内容会出错
Singleton* Singleton::getInstance() {
if(m_instance==nullptr){
Lock lock;
if (m_instance == nullptr) {
m_instance = new Singleton();
}
}
return m_instance;
}
//C++ 11版本之后的跨平台实现 (volatile)
std::atomic<Singleton*> Singleton::m_instance;
std::mutex Singleton::m_mutex;
Singleton* Singleton::getInstance() {
Singleton* tmp = m_instance.load(std::memory_order_relaxed);
std::atomic_thread_fence(std::memory_order_acquire);//获取内存fence
if (tmp == nullptr) {
std::lock_guard<std::mutex> lock(m_mutex);
tmp = m_instance.load(std::memory_order_relaxed);
if (tmp == nullptr) {
tmp = new Singleton;
std::atomic_thread_fence(std::memory_order_release);//释放内存fence
m_instance.store(tmp, std::memory_order_relaxed);
}
}
return tmp;
}
要点总结:
Singleton模式中的实例构造器可以设置为protected以允许子类派生。
Singleton模式一般不要支持拷贝构造函数和Close接口因为这有可能导致多个对象实例,与Singleton模式的初衷违背。
如何实现多线程环境下的安全的Singleton?注意对双检查锁的实现。