0

0

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 可以防止数据竞争,并通过内存序控制可见性。

Codiga
Codiga

可自定义的静态代码分析检测工具

下载
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++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

52

2025.08.29

C++中int、float和double的区别
C++中int、float和double的区别

本专题整合了c++中int和double的区别,阅读专题下面的文章了解更多详细内容。

98

2025.10.23

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

480

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

143

2025.12.24

Java 桌面应用开发(JavaFX 实战)
Java 桌面应用开发(JavaFX 实战)

本专题系统讲解 Java 在桌面应用开发领域的实战应用,重点围绕 JavaFX 框架,涵盖界面布局、控件使用、事件处理、FXML、样式美化(CSS)、多线程与UI响应优化,以及桌面应用的打包与发布。通过完整示例项目,帮助学习者掌握 使用 Java 构建现代化、跨平台桌面应用程序的核心能力。

34

2026.01.14

php与html混编教程大全
php与html混编教程大全

本专题整合了php和html混编相关教程,阅读专题下面的文章了解更多详细内容。

14

2026.01.13

PHP 高性能
PHP 高性能

本专题整合了PHP高性能相关教程大全,阅读专题下面的文章了解更多详细内容。

33

2026.01.13

MySQL数据库报错常见问题及解决方法大全
MySQL数据库报错常见问题及解决方法大全

本专题整合了MySQL数据库报错常见问题及解决方法,阅读专题下面的文章了解更多详细内容。

18

2026.01.13

PHP 文件上传
PHP 文件上传

本专题整合了PHP实现文件上传相关教程,阅读专题下面的文章了解更多详细内容。

12

2026.01.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Django 教程
Django 教程

共28课时 | 3.1万人学习

SciPy 教程
SciPy 教程

共10课时 | 1.1万人学习

Sass 教程
Sass 教程

共14课时 | 0.8万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号