C++实现单例模式双重检查锁 _ volatile与atomic用法【源码】

阿辰吖_2334

阿辰吖_2334

2026-04-08

727人浏览

原创

dclp在c++11+必须用std::atomic,volatile无效:它仅禁编译器重排,不提供内存序保证,无法防止“半构造对象”问题;正确做法是用atomic指针配合acquire/release语义。

c++实现单例模式双重检查锁 _ volatile与atomic用法【源码】

双重检查锁(DCLP)在 C++11 及以后必须用 std::atomic,volatile 对线程安全完全无效,强行用它只会掩盖问题、误导自己。

为什么 volatile 在 DCLP 中毫无作用

volatile 只影响编译器优化(禁止读写重排到 volatile 访问之外),但不提供任何内存序保证,也不阻止 CPU 级重排序。多线程下,它既不能防止指令重排导致的“对象未构造完成就被其他线程看到”,也无法保证其他线程能及时看到指针更新——这正是 DCLP 的核心风险点。

常见错误现象:volatile Singleton* instance; 写法看似“加了防护”,实际仍可能返回一个 this 指针已发布、但成员变量尚未初始化完毕的对象(即“半构造对象”)。

  • volatile 不是 std::atomic,它不参与 C++ 内存模型的同步语义
  • 所有主流编译器(GCC/Clang/MSVC)都明确文档指出:volatile ≠ 线程安全
  • 即便加上 volatile,仍需手动插入 std::atomic_thread_fence 才能补全语义——那不如直接用 std::atomic

std::atomic + memory_order 的正确组合

DCLP 要求:第一次检查(无锁)、构造、第二次检查(有锁)三个阶段之间必须建立严格的 happens-before 关系。关键在于两次对指针的读写必须满足 acquire-release 语义。

实操建议:

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
  • 声明为 static std::atomic<singleton> instance{nullptr};</singleton>
  • 第一次读用 instance.load(std::memory_order_acquire) —— 防止后续读取被重排到它前面
  • 写入用 instance.store(tmp, std::memory_order_release) —— 防止构造动作被重排到它后面
  • 第二次读(锁内)可复用 load(acquire),或直接用 load(relaxed)(因已持锁,顺序由互斥量保证)

示例片段:

static Singleton* getInstance() {
    Singleton* tmp = instance.load(std::memory_order_acquire);
    if (tmp == nullptr) {
        std::lock_guard<: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;
}</:mutex>

为什么不能只用 memory_order_relaxed

单纯用 relaxed 会导致:线程 A 写入指针后,线程 B 读到非空指针,却仍看到 Singleton 的成员变量是零值(未初始化)。这是因为 relaxed 不阻止编译器/CPU 将构造函数中的写操作重排到 store 指针之后。

性能与兼容性影响:

  • acquire/release 在 x86 上几乎无额外开销(仅编译器屏障),ARM 等弱序架构会插入 dmb 指令
  • 若误用 memory_order_seq_cst,虽安全但可能引入不必要的全局内存序限制,轻微影响性能
  • C++11 是底线;C++03 不支持 std::atomic,DCLP 在该标准下本质上不可靠(即使加锁也难保安全)

构造函数与析构的隐含陷阱

单例对象的生命周期管理常被忽略。DCLP 只解决“首次创建”的线程安全,不解决“何时销毁”和“是否允许销毁”问题。

  • 若使用 new 分配,必须确保全局唯一且永不 delete(否则多线程下 delete 后其他线程可能继续访问)
  • 更推荐用局部静态变量实现(C++11 起线程安全):static Singleton& instance() { static Singleton inst; return inst; } —— 它比 DCLP 更简洁、无指针管理负担、且由语言保证初始化安全
  • 若必须用堆分配 + DCLP,请禁用拷贝/移动,并将析构函数设为 delete,避免意外释放

真正复杂的地方不在锁或原子操作本身,而在于你是否清楚这个单例到底该活多久、谁负责清理、以及所有使用方是否都认同这套生命周期契约。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

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

下载

相关标签:

c++

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

相关专题

更多
c++中volatile关键字的作用
c++中volatile关键字的作用

本专题整合了c++中volatile关键字的相关内容,阅读专题下面的文章了解更多详细内容。

2025.10.23

734

12

C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

2026.04.23

339

31

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

2023.07.18

5587

5

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

2023.08.10

2428

6

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

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

2023.08.10

4058

6

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

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

2025.12.24

1129

20

java多线程相关教程合集
java多线程相关教程合集

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

2026.01.21

383

30

C++多线程相关合集
C++多线程相关合集

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

2026.01.21

559

24

C# 多线程与异步编程
C# 多线程与异步编程

本专题深入讲解 C# 中多线程与异步编程的核心概念与实战技巧,包括线程池管理、Task 类的使用、async/await 异步编程模式、并发控制与线程同步、死锁与竞态条件的解决方案。通过实际项目,帮助开发者掌握 如何在 C# 中构建高并发、低延迟的异步系统,提升应用性能和响应速度。

2026.02.06

389

20

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习