c++中的双重检查锁定(DCLP)的陷阱_c++线程安全的单例模式再探讨

裘德小鎮的故事

发布时间：2026-01-04 13:58:04

364人浏览过

来源于php中文网

原创

DCLP因指令重排和内存可见性问题可能导致未初始化对象被访问，C++11前难以正确实现；使用std::atomic配合acquire-release内存序可修复，但推荐更简洁安全的Meyers单例，即局部静态变量方式，由标准保证线程安全，避免复杂同步逻辑。

c++中的双重检查锁定(dclp)的陷阱_c++线程安全的单例模式再探讨

双重检查锁定模式（Double-Checked Locking Pattern, DCLP）在C++中常被用于实现线程安全的单例模式，初衷是避免每次调用都加锁带来的性能损耗。然而，在早期C++标准（尤其是C++11之前）中，DCLP存在严重的内存可见性和指令重排问题，导致其在多线程环境下可能失效。

为什么DCLP会出问题？

DCLP的核心逻辑是在返回单例实例前进行两次判空：一次无锁判断，一次加锁后判断。看似合理，但问题出在对象构造和指针赋值的顺序上。

考虑以下典型错误实现：

Singleton* Singleton::getInstance() {
    if (instance == nullptr) {                    // 第一次检查
        std::lock_guard lock(mutex_);
        if (instance == nullptr) {                // 第二次检查
            instance = new Singleton();          // 危险！
        }
    }
    return instance;
}

这段代码的问题在于：new Singleton() 实际包含三个步骤：

立即学习“C++免费学习笔记（深入）”；

分配内存
调用构造函数初始化对象
将指针赋给 instance

由于编译器或处理器可能进行指令重排，第3步可能早于第2步完成。此时若另一个线程恰好执行第一次检查，会看到非空的 instance 指针，但该对象尚未完成构造，访问它将导致未定义行为。

C++11之后的解决方案

C++11引入了内存模型和原子操作，使得我们能正确实现DCLP。使用 std::atomic 可以防止数据竞争，并通过内存序控制可见性。

360智图

AI驱动的图片版权查询平台

下载

std::atomic Singleton::instance{nullptr};
std::mutex Singleton::mutex_;
Singleton Singleton::getInstance() {
Singleton tmp = instance.load(std::memory_order_acquire);
if (tmp == nullptr) {
std::lockguard lock(mutex);
tmp = instance.load(std::memory_order_relaxed);
if (tmp == nullptr) {
tmp = new Singleton();
instance.store(tmp, std::memory_order_release);
}
}
return tmp;
}

这里的关键是使用 acquire-release 内存序来保证：在释放锁之前完成的所有写操作（包括对象构造），对后续以 acquire 方式读取 instance 的线程可见。

更推荐的方式：Meyers 单例

其实，对于大多数场景，更简洁且线程安全的方法是使用局部静态变量——Meyers 单例：

Singleton& Singleton::getInstance() {
    static Singleton instance;
    return instance;
}

C++11标准规定：局部静态变量的初始化是线程安全的，由编译器自动保证。首次调用时才创建，且只创建一次。这种方式既免除了显式加锁，又避免了DCLP的所有陷阱，代码更短，语义清晰。

总结

DCLP是一个典型的“看似正确却极易出错”的模式。在C++11之前，因缺乏标准化的内存模型，其实现几乎不可能跨平台正确。如今虽然可用原子操作修复，但没必要自找麻烦。除非有特殊需求（如延迟加载+频繁访问+极致性能要求），否则应优先选择 Meyers 单例。

基本上就这些。简单、安全、高效才是好设计。DCLP可以作为学习内存模型的案例，但不建议在实际项目中手动实现。

c++如何连接MySQL数据库 c++ MySQL Connector/C++教程【实例】

c++如何自定义allocator c++ STL容器内存管理【进阶】

如何在Visual Studio中配置OpenCV for c++ 图像处理环境搭建【入门教程】

c++ Core Guidelines是什么 c++核心准则解读【规范】

c++ std::optional怎么用 c++处理可选返回值【详解】

c++速学教程(入门到精通)

c++怎么学习？c++怎么入门？c++在哪学？c++怎么学才快？不用担心，这里为大家提供了c++速学教程(入门到精通)，有需要的小伙伴保存下载就能学习啦！

下载

相关标签:

处理器 c++ 延迟加载无锁为什么构造函数 double 指针线程多线程对象

本站声明：本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系admin@php.cn

上一篇：c++如何与Java交互 c++ JNI入门教程【指南】下一篇：c++如何进行线性代数计算_c++ Eigen库矩阵运算与特征值分解【方法】

作者最新文章

c++中如何求矩阵的转置_c++二维数组矩阵转置代码

2026-01-08 18:36

C++如何实现一个有理数类_C++通过操作符重载实现分数的精确计算

2026-01-08 18:37

C++中的explicit关键字是做什么用的？（防止隐式转换）

2026-01-08 18:42

必访小说网页地址必访官网极速链接

2026-01-08 18:43

c++ round函数详解_c++四舍五入取整

2026-01-08 18:45

Laravel如何实现多态关联（Polymorphic Relations）_Eloquent多态关系示例

2026-01-08 18:47

C++如何实现一个解释器模式_C++设计模式之构建语言解释器的实践

2026-01-08 18:48

Mac的声音突然没了怎么办？（音频问题排查指南）

2026-01-08 18:48

c++如何实现动态加载dll/so插件_c++ dlopen与GetProcAddress使用【实战】

2026-01-08 18:53

浏览器F12开发者工具怎么用_网页审查元素修改文字教程【技巧】

2026-01-08 19:00

热门AI工具

DeepSeek

幻方量化公司旗下的开源大模型平台

AI大模型

开放平台

豆包大模型

字节跳动自主研发的一系列大型语言模型

AI大模型

通义千问

阿里巴巴推出的全能AI助手

AI大模型

腾讯元宝

腾讯混元平台推出的AI助手

文档处理

Excel 表格

文心一言

文心一言是百度开发的AI聊天机器人，通过对话可以生成各种形式的内容。

AI大模型

中文写作

讯飞写作

基于讯飞星火大模型的AI写作工具，可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

中文写作

写作工具

即梦AI

一站式AI创作平台，免费AI图片和视频生成。

图片拼接

图画生成

ChatGPT

最最强大的AI聊天机器人程序，ChatGPT不单是聊天机器人，还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

AI大模型

中文写作

智谱清言 - 免费全能的AI助手

AI大模型

PDF 文档