【GeekBand】C++设计模式笔记12_Singleton_单件模式

1. “对象性能” 模式

• 面向对象很好地解决了 “抽象” 的问题， 但是必不可免地要付出一定的代价。对于通常情况来讲，面向对象的成本大都可以忽略不计。但是某些情况，面向对象所带来的成本必须谨慎处理。
• 典型模式
  • Singleton
  • Flyweight

2. Singleton 单件模式

2.1 动机（Motivation）

• 在软件系统中，经常有这样一些特殊的类，必须保证它们在系统中只存在一个实例，才能确保它们的逻辑正确性以及良好的效率。
• 如何绕过常规的构造器，提供一种机制来保证一个类只有一个实例？
• 这应该是类设计者的责任，而不是使用者的责任。

2.2 模式定义

保证一个类仅有一个实例，并提供一个该实例的全局访问点。
——《设计模式》GoF

2.3 实例代码

class Singleton {
private:// 将构造函数、拷贝构造函数设置成 private，不允许用户创建实例Singleton();Singleton(const Singleton& other);public:// 提供实例的全局访问点static Singleton* getInstance();private:// static 成员，唯一的实例static Singleton* m_instance;
};// static 成员初始化
Singleton* Singleton::m_instance = nullptr;/*
线程非安全版本，多线程环境下有可能创建出多个实例，
当线程A在执行完(1)、执行(2)之前，线程B抢到时间片，开始执行(1)，这样线程A和B都可以创建出实例，
所以在多线程环境中需要加锁。
*/ 
Singleton* Singleton::getInstance() {if (m_instance == nullptr) {		// (1)m_instance = new Singleton();	// (2)}return m_instance;
}/*
线程安全版本，但锁的代价过高，
因为锁的粒度粗，进入函数后立马加锁，整个函数过程都持有锁，
一般m_instance是只读的，当m_instance创建完成后，各线程可以直接获取该实例，
该代码既有问题：当线程A持有锁时，线程B无法获取m_instance，必须等待线程A释放锁。
*/
Singleton* Singleton::getInstance() {Lock lock;if (m_instance == nullptr) {m_instance = new Singleton();}return m_instance;
}/*
双检查锁，但由于内存读写reorder不安全
reorder含义：编译器可能改变对象构造的顺序
常规对象构造分为3个步骤：a.分配空间；b.调用构造函数完成对象初始化；c.返回对象的指针；但编译器有时会改变这3个顺序，变成a.c.b。
这样代码就会出现问题：当m_instance未初始化时，线程A需要对m_instance进行实例化，若当线程A完成步骤a和c，而未完成b时，线程B调用该函数，由于此刻 m_instance != nullptr，会直接返回m_instance，但该实例尚未完成初始化，直接使用该实例会产生未定义行为。
(2)处的二次检查必不可少：当AB两个线程都通过(1)后开始抢锁，假设A抢到了锁，A对m_instance进行实例化，当线程A释放锁线程B获得锁后，如果没有(2)处的检查，线程B将再次对m_instance初始化，不符合单例模式设计原则。
*/
Singleton* Singleton::getInstance() { if (m_instance == nullptr) {	// (1)Lock lock;if (m_instance == nullptr) {		// (2)，这里的二次检查必不可少m_instance = new Singleton();	// (3)}}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);	// 获取内存fenceif (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);	// 释放内存fencem_instance.store(tmp, std::memory_order_relaxed);}}return tmp;
}

2.4 结构（Structure）

2.5 要点总结

• Singleton 模式中的实例构造器可以设置为 protected 以允许子类派生。
• Singleton 模式一般不要支持拷贝构造函数和 Clone 接口，因为这有可能导致多个对象实例，与 Singleton 模式的初衷违背。
• 如何实现多线程环境下安全的 Singleton ？注意对双检查锁的正确实现。