0

0

c++中如何实现一个线程安全的单例模式? (Meyers' Singleton解析)

穿越時空

穿越時空

发布时间:2026-01-13 16:13:48

|

754人浏览过

|

来源于php中文网

原创

C++11起static局部变量初始化线程安全,编译器自动生成双重检查锁,确保首次调用时仅一个线程执行构造,其余等待;但仅限初始化过程,内部状态读写仍需手动同步。

c++中如何实现一个线程安全的单例模式? (meyers\' singleton解析)

为什么 static 局部变量能保证线程安全?

从 C++11 开始,static 局部变量的初始化是线程安全的——标准明确要求编译器生成带双重检查锁(double-checked locking)语义的代码。这意味着第一次调用时,多个线程同时进入函数,也只会有一个线程执行构造,其余阻塞等待,且无需手动加锁。

这是 Meyers' Singleton 的核心依据,也是它比手写 std::call_once 或互斥量更简洁的根本原因。

  • 必须使用 C++11 或更高标准(-std=c++11 及以上)
  • 构造函数不能是 explicit(否则无法隐式构造)
  • 不要在构造函数中抛异常:若初始化失败,后续调用会再次尝试,但行为未定义(可能 crash 或重复抛出)

getInstance() 的标准写法与常见误写

正确实现仅需一个函数、一个静态局部变量,返回引用:

class Singleton {
public:
    static Singleton& getInstance() {
        static Singleton instance;  // C++11 线程安全初始化
        return instance;
    }

private:
    Singleton() = default;           // 防止外部构造
    ~Singleton() = default;          // 非虚析构(无继承时 OK)
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;
};

常见错误包括:

立即学习C++免费学习笔记(深入)”;

玫瑰克隆工具
玫瑰克隆工具

AI图文笔记一键生成创作并自动发布助手

下载
  • 返回 Singleton* 并在堆上 new:失去自动生命周期管理,易内存泄漏,且破坏线程安全前提(new 本身不安全)
  • static Singleton instance; 提到类外全局作用域:C++98 风格,不保证线程安全(尤其 DLL/so 加载顺序复杂时)
  • getInstance() 中加 std::mutex:冗余,且可能引入死锁(比如构造函数内又调用 getInstance()

析构时机与静态对象生命周期风险

静态局部变量的析构发生在 main() 返回后、程序退出前,按构造逆序执行。这意味着:

  • 单例对象在 main() 结束后才被销毁,其他静态对象若在析构期访问它,会触发未定义行为(已析构访问)
  • 若单例持有资源(如线程、文件句柄、网络连接),应在析构函数中显式清理,不能依赖 RAII 自动释放(因为析构顺序不可控)
  • 跨 DLL 边界使用时,不同模块可能看到不同实例(Windows 下每个 DLL 有独立静态变量空间),此时需导出符号或改用指针+显式初始化

什么时候不该用 Meyers' Singleton?

它简单可靠,但不是万能解。以下情况需谨慎或换方案:

  • 需要控制析构顺序(例如日志单例必须最后销毁)→ 改用 std::unique_ptr + std::call_once 手动管理生命周期
  • 构造开销极大,且 90% 场景下根本不会用到 → 考虑延迟初始化 + 原子指针(std::atomic),避免首次调用卡顿
  • 测试时需替换实现(mock)→ Meyers 版本无法重置或注入,应改用依赖注入或工厂接口
  • 目标平台不支持 C++11(如某些嵌入式环境)→ 必须退回到 Pthreads / Win32 API + 双重检查锁

最常被忽略的一点:Meyers 单例的“线程安全”仅限于初始化过程。如果单例内部状态可变,所有读写操作仍需自行同步(比如加 std::mutex 或用原子变量)。

相关专题

更多
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

硬盘接口类型介绍
硬盘接口类型介绍

硬盘接口类型有IDE、SATA、SCSI、Fibre Channel、USB、eSATA、mSATA、PCIe等等。详细介绍:1、IDE接口是一种并行接口,主要用于连接硬盘和光驱等设备,它主要有两种类型:ATA和ATAPI,IDE接口已经逐渐被SATA接口;2、SATA接口是一种串行接口,相较于IDE接口,它具有更高的传输速度、更低的功耗和更小的体积;3、SCSI接口等等。

1016

2023.10.19

PHP接口编写教程
PHP接口编写教程

本专题整合了PHP接口编写教程,阅读专题下面的文章了解更多详细内容。

62

2025.10.17

php8.4实现接口限流的教程
php8.4实现接口限流的教程

PHP8.4本身不内置限流功能,需借助Redis(令牌桶)或Swoole(漏桶)实现;文件锁因I/O瓶颈、无跨机共享、秒级精度等缺陷不适用高并发场景。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

389

2025.12.29

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

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

387

2023.07.18

堆和栈区别
堆和栈区别

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

571

2023.08.10

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

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

480

2023.08.10

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

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

3

2026.01.13

热门下载

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

精品课程

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

共48课时 | 7.1万人学习

Excel 教程
Excel 教程

共162课时 | 11.6万人学习

PHP基础入门课程
PHP基础入门课程

共33课时 | 1.9万人学习

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

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