C++设计模式——单例模式

单例模式

类的定义：

class Singleton{
private:
    Singleton();
    Singleton(const Singleton& other);
public:
    static Singleton* getInstance();
    static Singleton* m_instance;
};
Singleton* Singleton::m_instance=nullptr;

要点：
1、无参数和有参数的构造函数私有化(防止系统自动生成或者用户调用)
2、定义静态的对象，类外初始化
2、定义静态的函数方法获取静态的对象

方式一

//线程非安全版本，只适用于单线程的程序中
Singleton* Singleton::getInstance() {
    if (m_instance == nullptr) {
        m_instance = new Singleton();
    }
    return m_instance;
}

要点：
只适用单线程，多线程程序会由于时间片的问题，导致if语句内部被执行多次或其他错误的行为。

方式二

//线程安全版本，但锁的代价过高
Singleton* Singleton::getInstance() {
    Lock lock;
    if (m_instance == nullptr) {
        m_instance = new Singleton();
    }
    return m_instance;
}

要点：
通过加锁来避免多线程的执行问题。但是在高并发的程序中，由于if之前每次都需要加锁，带来了大量的开销问题。

方式三(不能用)

//双检查锁，但由于内存读写reorder不安全
Singleton* Singleton::getInstance() {
    if(m_instance==nullptr){
        Lock lock;
        if (m_instance == nullptr) {
            m_instance = new Singleton();//内存执行顺序问题
        }
    }
    return m_instance;
}

要点：通过在加锁前判断对象是否已被创建来减少锁的开销。但是m_instance = new Singleton()在内存中分为3步：分配内存、执行构造器、赋值给m_instance。在多线程中会出现顺序混乱的情况，如按照132的顺序，那么对象在未执行构造器的情况下被直接返回。

方式四

对m_instance对象直接加volatile修饰，告诉编译器按照顺序执行该语句。在C++语言中中无法实现跨平台，只能在windows下实现。

方式五

//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);//屏蔽编译器reorder
    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;
}