Singleton
"对象性能"模式
面向对象很好地解决了“抽象”的问题,但是必不可免地要付出一定的代价,对于通常情况来讲,面向对象的成本大都可以忽略不计。但是某些情况,面向对象所带来的成本必须谨慎处理。
典型模式:
- SIngleton
- Flyweight
动机
- 经常有这样一些特殊的类,必须保证它们在系统中只存在一个实例,才能确保它们的逻辑正确性、以及良好的效率。
- 如何绕过常规的构造器,提供一种机制来保证一个类只有一个实例?
- 这应该是类设计者的责任,而不是使用者的责任。
模式定义
保证一个类仅有一个实例,并提供一个该实例的全局访问点。 ——《设计模式》GoF
要点总结
- 实例构造器可以设置为protected以允许子类派生。
- 一般不要支持拷贝构造函数和Clone接口,因为这有可能导致多个对象实例,与Singleton模式的初中违背。
- 如何实现多线程环境下安全的Singleton?注意对双检查锁的正确实现。
Demo
Singleton.cpp:
class Singleton{
//1.设置构造函数、拷贝构造函数为私有
private:
Singleton();
Singleton(const Singleton& other);
//2.设置静态变量与静态获取方法
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;
}
//线程安全版本,但锁的代价过高,(高并发时需等待)
Singleton* Singleton::getInstance() {
Lock lock;
//...加锁
if (m_instance == nullptr) {
m_instance = new Singleton();
}
return m_instance;
//...解锁
}
//双检查锁,但由于内存读写reorder不安全
//预想的new过程:malloc --> 调用构造函数 --> 返回对象指针
//编译器有可能进行优化,reorder后的new过程:malloc --> 返回对象指针 --> 调用构造函数
//m_instance只是一个内存地址,没有经过构造器,不加volatile不能用
Singleton* Singleton::getInstance() {
if(m_instance == nullptr){ //假如单例已经创建,多个线程同时读该变量,则可不需加锁;都是读操作时不需要加锁的
Lock lock;
if (m_instance == nullptr) {
m_instance = new Singleton();
}
}
return m_instance;
}
//C++ 11版本之后的跨平台实现 (volatile,只有VSC++可以使用,防止编译器优化)
//也可以使用懒汉模式,不用这么多代码
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;
}
结构
懒汉式和饿汉式区别
所谓饿汉式,就是直接创建出类的实例化;
而对于懒汉式,就是在需要的时候再创建类的实例化
本文为懒汉式单例模式,具体差异请参考: 单例模式(懒汉式和饿汉式区别)