答案:双重检查锁定用于减少锁竞争,通过原子操作和内存屏障确保线程安全;C++11后推荐局部静态变量实现,更简洁安全。

在C++中实现线程安全的单例模式时,双重检查锁定(Double-Checked Locking Pattern, DCLP)是一种常见优化手段,旨在减少锁竞争,提高性能。它通过在加锁前后分别检查实例是否已创建,避免每次调用都进入临界区。
如果使用简单的懒加载加互斥锁:
Singleton* getInstance() {
std::lock_guard<std::mutex> lock(mutex_);
if (instance == nullptr) {
instance = new Singleton();
}
return instance;
}
每次调用都要加锁,开销较大。而大多数情况下实例已经创建,无需加锁。双重检查的思路是:先不加锁判断是否为空,若为空再加锁并再次检查。
经典DCLP容易出错,主要问题在于对象构造与指针赋值的重排序可能导致其他线程拿到未完全构造的实例。C++11之后,使用
std::atomic
立即学习“C++免费学习笔记(深入)”;
class Singleton {
private:
static std::atomic<Singleton*> instance;
static std::mutex mutex_;
<pre class='brush:php;toolbar:false;'>Singleton() = default;public: static Singleton getInstance() { Singleton tmp = instance.load(std::memory_order_relaxed); if (tmp == nullptr) { std::lockguard<std::mutex> lock(mutex); tmp = instance.load(std::memory_order_relaxed); if (tmp == nullptr) { tmp = new Singleton(); instance.store(tmp, std::memory_order_release); } } return tmp; } };
关键点:
std::atomic<Singleton*>
relaxed
release
relaxed
实际上,C++11标准规定:函数内的局部静态变量初始化是线程安全的,且只执行一次。这提供了一种更简单、更可靠的方式:
static Singleton& getInstance() {
static Singleton instance;
return instance;
}
编译器会自动插入必要的同步机制(如g++使用GOT和互斥锁),实现开销小且正确性有保障。这种方式避免了手动管理指针和原子操作的复杂性。
若仍需手动管理,建议使用智能指针配合
std::call_once
class Singleton {
private:
static std::unique_ptr<Singleton> instance;
static std::once_flag flag;
<pre class='brush:php;toolbar:false;'>Singleton() = default;public: static Singleton* getInstance() { std::call_once(flag, []() { instance = std::unique_ptr<Singleton>(new Singleton()); }); return instance.get(); } };
std::call_once
基本上就这些。对于现代C++,优先推荐局部静态变量方式,简洁高效又安全。双重检查锁定虽有理论价值,但易错,除非对性能极端敏感且有充分测试,否则不必手动实现。
以上就是C++单例模式线程安全 双重检查锁定优化的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号