单例模式确保类仅一个实例并提供全局访问,C++中推荐使用局部静态变量实现线程安全单例,因C++11保证其初始化线程安全、简洁高效;双重检查锁定模式虽性能优但易错,需原子操作与内存序控制,复杂不推荐。

单例模式确保一个类只有一个实例,并提供全局访问点。在C++中,实现线程安全的单例模式需要考虑多线程环境下的初始化竞争问题。最经典且高效的方式是使用“延迟初始化 + 局部静态变量”或“双重检查锁定模式(DCLP)”,但两者有重要区别。
局部静态变量实现(推荐方式)
C++11 起,局部静态变量的初始化具有线程安全性,由编译器保证。这是目前最简洁、安全且高效的单例写法:代码示例:
class Singleton {
public:
static Singleton& getInstance() {
static Singleton instance; // 线程安全,C++11标准保证
return instance;
}
Singleton(const Singleton&) = delete;
Singleton& operator=(const Singleton&) = delete;
private:
Singleton() = default;
~Singleton() = default;
};
优点:简洁、无需手动加锁、自动析构、线程安全。强烈推荐用于现代C++项目。
双重检查锁定模式(DCLP)详解
在C++11之前,DCLP常用于避免每次调用都加锁。但由于内存可见性和指令重排问题,原始DCLP存在缺陷。错误示例(非线程安全):
class SingletonBad {
static SingletonBad* instance;
static std::mutex mtx;
public:
static SingletonBad* getInstance() {
if (instance == nullptr) { // 第一次检查
std::lock_guard lock(mtx);
if (instance == nullptr) { // 第二次检查
instance = new SingletonBad;
}
}
return instance;
}
};
问题:new操作包含三步——分配内存、构造对象、赋值指针。编译器或CPU可能重排序,导致其他线程拿到未完全构造的实例。正确的DCLP写法(使用原子操作和内存屏障)
通过std::atomic和memory_order确保顺序正确:#include
#include
class SingletonDCLP {
static std::atomic instance;
static std::mutex mtx;
public:
static SingletonDCLP getInstance() {
SingletonDCLP tmp = instance.load(std::memory_order_relaxed);
if (tmp == nullptr) {
std::lock_guard lock(mtx);
tmp = instance.load(std::memory_order_relaxed);
if (tmp == nullptr) {
tmp = new SingletonDCLP();
instance.store(tmp, std::memory_order_release);
}
}
return tmp;
}
SingletonDCLP(const SingletonDCLP&) = delete;
SingletonDCLP& operator=(const SingletonDCLP&) = delete;
private:
SingletonDCLP() = default;
};
// 静态成员定义
std::atomic SingletonDCLP::instance{nullptr};
说明:使用原子指针配合互斥锁和内存序控制,可实现高性能线程安全DCLP。但复杂度高,易出错。
总结与建议
虽然DCLP理论上有性能优势,但在现代C++中,局部静态变量方式更优:
- 代码更简洁,不易出错
- C++11标准明确保证线程安全
- 编译器通常使用类似DCLP的优化机制
- 自动管理生命周期,无需手动释放
除非在极端性能场景且无法使用C++11特性,否则应优先选择局部静态变量方式实现单例。基本上就这些。
立即学习“C++免费学习笔记(深入)”;










