C++设计模式-李建忠
12-Singleton 单件模式
1. “对象性能”模式
面向对象很好地解决了“抽象”的问题,但是必不可免地要付出一定的代价。对于通常情况来讲,面向对象的成本大都可以忽略不计。但是某些情况,面向对象所带来的成本必须谨慎处理。
- 典型模式
- Singleton
- Flyweight
2. 动机(Motivation)
在软件系统中,经常有这样一些特殊的类,必须保证它们在系统中只存在一个实例,才能确保它们的逻辑正确性、以及良好的效率。
如何绕过常规的构造器,提供一种机制来保证一个类只有一个实例?
这应该是类设计者的责任,而不是使用者的责任。
3. 模式定义
保证一个类仅有一个实例,并提供一个该实例的全局访问点。——《设计模式》GoF
4. 结构(Structure)
C++伪代码
#include <iostream>
#include <mutex>
#include <atomic>
using namespace std;
typedef mutex Lock;
class Singleton
{
private:
Singleton();
Singleton(const Singleton &other);
public:
static Singleton *getInstance1();
static Singleton *getInstance2();
static Singleton *getInstance3();
static Singleton *getInstance4();
static Singleton *m_instance;
};
Singleton *Singleton::m_instance = nullptr;
//线程非安全版本(单线程时可以使用,多线程时不行)
Singleton *Singleton::getInstance1()
{
if (m_instance == nullptr)
{
m_instance = new Singleton();
}
return m_instance;
}
//线程安全版本,但锁的代价过高(多线程时,很多读取操作的话,会影响性能)
Singleton *Singleton::getInstance2()
{
Lock lock;
if (m_instance == nullptr)
{
m_instance = new Singleton();
}
return m_instance;
}
//双检查锁,但由于内存读写reorder不安全
Singleton *Singleton::getInstance3()
{
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;
std::mutex m_mutex;
Singleton *Singleton::getInstance4()
{
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;
}
6. 要点总结
Singleton模式中的实例构造器可以设置为protected以允许子类派生。
Singleton模式一般不要支持拷贝构造函数和Clone接口,因为这有可能导致多个对象实例,与Singleton模式的初衷违背。
如何实现多线程环境下安全的Singleton?注意对双检查锁的正确实现。