C++单例模式在多线程环境下如何保证线程安全?

在多线程环境下保证单例模式的线程安全,可以采用以下几种方法:

饿汉式:在程序启动时就创建单例实例,这种方式简单且线程安全,因为实例是在程序启动时创建的,所以不会有线程安全问题。但是它的缺点是不管是否使用实例都会占用资源。

cpp 复制代码
class Singleton {
public:
    static Singleton& getInstance() {
        return instance;
    }

private:
    Singleton() {}
    ~Singleton() {}
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;

    static Singleton instance;
};

// 在类外初始化静态成员变量
Singleton Singleton::instance;

懒汉式 :在第一次使用时才创建实例,这种方式需要额外的同步机制来保证线程安全。可以通过加锁(互斥锁)来实现,例如使用std::mutexstd::lock_guard来确保线程安全。

cpp 复制代码
#include <mutex>

class Singleton {
public:
    static Singleton& getInstance() {
        static std::mutex mutex;
        if (instance == nullptr) {
            std::lock_guard<std::mutex> lock(mutex);
            if (instance == nullptr) {
                instance = new Singleton();
            }
        }
        return *instance;
    }

private:
    Singleton() {}
    ~Singleton() {}
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;

    static Singleton* instance;
};

// 在类外初始化静态成员指针
Singleton* Singleton::instance = nullptr;

双重检查锁定(Double-Checked Locking) :在获取实例的方法中,先检查实例是否已经创建,如果未创建则加锁并再次检查,这样可以减少锁的开销。但是这种方式需要配合std::atomic来保证内存的可见性和防止指令重排。

cpp 复制代码
#include <atomic>

class Singleton {
public:
    static Singleton& getInstance() {
        if (instance == nullptr) {
            std::lock_guard<std::mutex> lock(mutex);
            if (instance == nullptr) {
                instance = new Singleton();
            }
        }
        return *instance;
    }

private:
    Singleton() {}
    ~Singleton() {}
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;

    static std::atomic<Singleton*> instance;
    static std::mutex mutex;
};

// 在类外初始化静态成员变量
std::atomic<Singleton*> Singleton::instance(nullptr);
std::mutex Singleton::mutex;

局部静态变量:在C++11及以后的版本中,局部静态变量的初始化是线程安全的。因此,可以在一个静态方法中创建一个局部静态变量来实现单例,这种方式既简单又线程安全。

cpp 复制代码
class Singleton {
public:
    static Singleton& getInstance() {
        static Singleton instance;
        return instance;
    }

private:
    Singleton() {}
    ~Singleton() {}
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;
};

使用std::call_once:这是一种线程安全的方式来保证代码只执行一次,通常用于懒汉式的单例模式实现中。

cpp 复制代码
#include <mutex>

class Singleton {
public:
    static Singleton& getInstance() {
        static std::once_flag onceFlag;
        std::call_once(onceFlag, &Singleton::initInstance);
        return *_instance;
    }

private:
    static void initInstance() {
        _instance = new Singleton();
    }

    Singleton() {}
    ~Singleton() {}
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;

    static Singleton* _instance;
    static std::once_flag onceFlag;
};

// 在类外初始化静态成员变量和once_flag
Singleton* Singleton::_instance = nullptr;
std::once_flag Singleton::onceFlag;

使用std::atomicstd::mutex:通过原子操作来确保只有一个线程可以执行实例创建的代码块。

cpp 复制代码
#include <atomic>
#include <mutex>

class Singleton {
public:
    static Singleton& getInstance() {
        if (instance == nullptr) {
            std::lock_guard<std::mutex> lock(mutex);
            if (instance == nullptr) {
                instance = new Singleton();
            }
        }
        return *instance;
    }

private:
    Singleton() {}
    ~Singleton() {}
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;

    static std::atomic<Singleton*> instance;
    static std::mutex mutex;
};

// 在类外初始化静态成员变量
std::atomic<Singleton*> Singleton::instance(nullptr);
std::mutex Singleton::mutex;
相关推荐
做人不要太理性12 分钟前
【C++】深入哈希表核心:从改造到封装,解锁 unordered_set 与 unordered_map 的终极奥义!
c++·哈希算法·散列表·unordered_map·unordered_set
程序员-King.21 分钟前
2、桥接模式
c++·桥接模式
chnming198725 分钟前
STL关联式容器之map
开发语言·c++
程序伍六七38 分钟前
day16
开发语言·c++
小陈phd1 小时前
Vscode LinuxC++环境配置
linux·c++·vscode
火山口车神丶1 小时前
某车企ASW面试笔试题
c++·matlab
是阿建吖!2 小时前
【优选算法】二分查找
c++·算法
Ajiang28247353044 小时前
对于C++中stack和queue的认识以及priority_queue的模拟实现
开发语言·c++
‘’林花谢了春红‘’8 小时前
C++ list (链表)容器
c++·链表·list
机器视觉知识推荐、就业指导10 小时前
C++设计模式:建造者模式(Builder) 房屋建造案例
c++