0

0

c++中如何实现单例模式的懒汉与饿汉式_c++线程安全单例实现【汇总】

裘德小鎮的故事

裘德小鎮的故事

发布时间:2026-01-15 12:12:10

|

804人浏览过

|

来源于php中文网

原创

C++单例推荐静态局部变量实现:线程安全、懒加载、自动析构;饿汉式启动即构造但浪费资源;DCLP易出错,std::call_once非首选。

c++中如何实现单例模式的懒汉与饿汉式_c++线程安全单例实现【汇总】

饿汉式单例:启动即构造,天然线程安全

饿汉式在程序加载时就完成实例初始化,static局部变量或全局静态对象在main()执行前已构造完毕,不存在多线程竞争问题。但缺点是无论是否用到都会占用资源。

常见写法是用静态成员变量:

class Singleton {
private:
    static Singleton instance;
    Singleton() = default;
public:
    static Singleton& getInstance() { return instance; }
};

注意必须在类外定义该静态成员:Singleton Singleton::instance;,否则链接时报undefined reference

更推荐 C++11 起的静态局部变量写法(更简洁、有明确初始化时机):

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

class Singleton {
private:
    Singleton() = default;
public:
    static Singleton& getInstance() {
        static Singleton instance;  // C++11 guaranteed thread-safe initialization
        return instance;
    }
};

这个版本由编译器保证首次调用getInstance()时线程安全地构造,且只构造一次——本质仍是饿汉语义(延迟到首次调用,但属“懒”得有限),但无需手动管理静态变量定义位置。

懒汉式 + 双重检查锁定(DCLP):手动控制构造时机,需显式加锁

传统懒汉式在getInstance()中判断指针是否为空再new,但多线程下存在竞态:两个线程同时通过第一层if (ptr == nullptr),都进入临界区,可能重复构造。

解决方案是双重检查锁定(Double-Checked Locking Pattern),配合std::mutexstd::atomic

  • 第一层检查不加锁,快速返回已有实例
  • 未初始化时加锁,再做第二层检查(防止锁内重复构造)
  • ptr必须声明为std::atomic,避免指令重排导致其他线程看到未构造完成的对象

典型实现:

class Singleton {
private:
    static std::atomic ptr;
    static std::mutex mtx;
    Singleton() = default;
public:
    static Singleton& getInstance() {
        Singleton* p = ptr.load(std::memory_order_acquire);
        if (p == nullptr) {
            std::lock_guard lock(mtx);
            p = ptr.load(std::memory_order_relaxed);
            if (p == nullptr) {
                p = new Singleton();
                ptr.store(p, std::memory_order_release);
            }
        }
        return *p;
    }
};

注意:ptr需在类外定义:std::atomic Singleton::ptr{nullptr};std::mutex同理。

聚蜂消防BeesFPD
聚蜂消防BeesFPD

关注消防领域的智慧云平台

下载

漏掉std::memory_order_acquire/release或用错顺序,可能导致其他线程读到部分构造的对象——这是最易被忽略的坑。

C++11 后更推荐:静态局部变量 + 函数内联,省心又安全

上面饿汉式提到的静态局部变量方案,其实是 C++11 标准明确要求线程安全的实现方式([stmt.dcl]#4)。它既满足懒加载(首次调用才初始化),又无需手写锁、原子操作或内存序,编译器自动插入保护逻辑。

关键点:

  • 必须是函数作用域内的static变量,不能是类内static数据成员
  • 初始化语句必须是表达式(如static T x{...}),不能是赋值语句
  • 析构也自动注册,在程序退出时按逆序调用

示例无任何额外依赖:

class Singleton {
private:
    Singleton() = default;
public:
    Singleton(const Singleton&) = delete;
    Singleton& operator=(const Singleton&) = delete;
    static Singleton& getInstance() {
        static Singleton instance;  // ✅ 线程安全、懒加载、自动析构
        return instance;
    }
};

GCC/Clang/MSVC 均已完整支持。如果你的项目最低要求 C++11 或更高,就别自己实现 DCLP 了——容易出错,还未必比编译器生成的快。

为什么 std::call_once + std::once_flag 是备选,但非首选

std::call_once确实能保证某段代码仅执行一次,可用于懒汉式构造:

class Singleton {
private:
    static Singleton* ptr;
    static std::once_flag flag;
    Singleton() = default;
public:
    static Singleton& getInstance() {
        std::call_once(flag, []() {
            ptr = new Singleton();
        });
        return *ptr;
    }
};

但它比静态局部变量方案多一次函数调用开销,且仍需手动管理ptr生命周期(没自动析构)、需额外声明std::once_flag和指针,还容易忘记加delete或泄漏。

除非你有特殊需求(比如想把构造逻辑抽离成独立函数,或需要在构造失败时重试),否则没必要绕开静态局部变量直接上std::call_once

真正复杂的地方从来不是“怎么写”,而是“怎么让析构时机可控、怎么防止静态初始化顺序问题、怎么在 DLL/so 中安全使用”——这些在静态局部变量方案里也依然存在,只是被掩盖了。

相关专题

更多
if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

738

2023.08.22

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

数据库Delete用法
数据库Delete用法

数据库Delete用法:1、删除单条记录;2、删除多条记录;3、删除所有记录;4、删除特定条件的记录。更多关于数据库Delete的内容,大家可以访问下面的文章。

269

2023.11.13

drop和delete的区别
drop和delete的区别

drop和delete的区别:1、功能与用途;2、操作对象;3、可逆性;4、空间释放;5、执行速度与效率;6、与其他命令的交互;7、影响的持久性;8、语法和执行;9、触发器与约束;10、事务处理。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

208

2023.12.29

undefined是什么
undefined是什么

undefined是代表一个值或变量不存在或未定义的状态。它可以作为默认值来判断一个变量是否已经被赋值,也可以用于设置默认参数值。尽管在不同的编程语言中,undefined可能具有不同的含义和用法,但理解undefined的概念可以帮助我们更好地理解和编写程序。本专题为大家提供undefined相关的各种文章、以及下载和课程。

4618

2023.07.31

Golang gRPC 服务开发与Protobuf实战
Golang gRPC 服务开发与Protobuf实战

本专题系统讲解 Golang 在 gRPC 服务开发中的完整实践,涵盖 Protobuf 定义与代码生成、gRPC 服务端与客户端实现、流式 RPC(Unary/Server/Client/Bidirectional)、错误处理、拦截器、中间件以及与 HTTP/REST 的对接方案。通过实际案例,帮助学习者掌握 使用 Go 构建高性能、强类型、可扩展的 RPC 服务体系,适用于微服务与内部系统通信场景。

0

2026.01.15

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
nginx浅谈
nginx浅谈

共15课时 | 0.8万人学习

前端开发(基础+实战项目合集)
前端开发(基础+实战项目合集)

共60课时 | 3.8万人学习

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

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