1. “对象性能”模式
- 面向对象很好地解决了“抽象”的问题,但是必不可免地要付出一定的代价。对于通常情况来讲,面向对象的成本大都可以忽略不计。但是某些情况,面向对象所带来的成本必须谨慎处理。[继承本身并不会带来额外的开销,但是只要有虚函数存在,就会带来巨大开销]
- 典型模式
- Singleton
- Flyweight
2. 动机(Motivation)
- 在软件系统中,经常有这样一些特殊的类,必须保证它们在系统中只存在一个实例,才能确保它们的逻辑正确性、以及良好的效率。
- 如何绕过常规的构造器,提供一种机制来保证一个类只有一个实例?
- 这应该是类设计者的责任,而不是使用者的责任。
辨析:通过工厂模式和使用单例模式绕过new
的不同点?注意在“对象创建模块”中的工厂方法和抽象工厂模式绕开new
是为了避免new
带来的紧耦合。但这里绕开new
是为了提高性能。
3. 代码实例
// code01
class Singleton{
private:
Singleton();
Singleton(const Singleton& other);
public:
static Singleton* getInstance();
static Singleton* m_instance;
};
Singleton* Singleton::m_instance=nullptr;
//线程非安全版本
Singleton* Singleton::getInstance() {
if (m_instance == nullptr) {
m_instance = new Singleton();
}
return m_instance;
}
code02
中创建了锁,作用范围为函数结束位置,函数结束释放锁对象。但是这种方法代价过高,主要原因在于多个线程读操作是没有必要添加锁。
// code02
//线程安全版本,但锁的代价过高
Singleton* Singleton::getInstance() {
Lock lock;
if (m_instance == nullptr) {
m_instance = new Singleton();
}
return m_instance;
}
code03
使用双检查锁来提高效率,即如果对象不为空,那么直接读取对象即可不用添加锁,如果对象为空则触发锁机制。相比于上述代码就是在函数体前四行添加了一个非空判断来隔绝不需要加锁的读操作。
看似完美,实则有问题,有漏洞——内存读写会出现reorder
问题。我们假定的m_instance = new Singleton()
的执行被分为三步:1)分配内存;2)调用构造函数;3)指针赋值;但在CPU层,很有可能被reorder
为1–3--2,即先分配内存,然后直接赋值。这样当threadA
第一次调用在执行到构造函数之前threadB
检查发现m_instance
已经被赋值了,直接返回了对象,其实返回的对象是原生对象,没有被赋值的对象。也就是说双检查锁欺骗了我们。
// code03
//双检查锁,但由于内存读写reorder不安全
Singleton* Singleton::getInstance() {
if(m_instance==nullptr){
Lock lock;
if (m_instance == nullptr) {
m_instance = new Singleton();
}
}
return m_instance;
}
code04
是对上述reorder
问题的解决,详细流程还没搞懂。。。
// code04
//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;
}
总之,在单线程中使用code01
可以满足要求,在多线程中,使用code02
可以满足要求,但是不可使用code03
,会产生错误,但可以使用code04
替代。
4. 模式定义
保证一个类仅有一个实例,并提供一个该实例的全局访问点。
5. 结构
6. 要点总结
- Singleton模式中的实例构造器可以设置为protected以允许子类派生。
- Singleton模式一般不要支持拷贝构造函数和Clone接口,因为这有可能导致多个对象实例,与Singleton模式的初衷违背。
- 如何实现多线程环境下安全的Singleton?注意对双检查锁的正确实现。