C++多线程编程——call_once和单例模式

目录

[1. 前言](#1. 前言)

[2. call_once和once_flag](#2. call_once和once_flag)

[3. 后记](#3. 后记)

[3.1 单例类的析构问题](#3.1 单例类的析构问题)

[3.2 饿汉式单例模式的线程安全问题](#3.2 饿汉式单例模式的线程安全问题)


1. 前言

之前在讲解单例模式时,有提到懒汉式单例模式使用了双重检测Double-Checked Locking Pattern (DCLP) 来解决多线程的安全访问问题。但是该方法也存在安全隐患**。**

双重检查之所以有问题,是因为CPU会进行指令重排序。

instance = new Singleton;这条语句 一般会理解为构造一个对象并初始化后,然后赋值给instance 。

但是实际上CPU有可能先构造一个空对象 ,把这个空对象的地址赋值给instance , 最后才调用构造函数进行初始化。如果在调用构造函数对这片内存进行初始化之前发生了线程切换,另一个线程检查instance发现不为nullptr,进而使用instance,就会导致程序崩溃。

2. call_once和once_flag

在C++11中提供了call_once和once_flag,通过它们的配合使用,可以保证在多线程环境下某个可调用对象只执行一次。

这样,我们就可以把instance的初始化单独放到一个静态函数中,并通过call_once来执行。

具体请看以下代码:

cpp 复制代码
#include <iostream>
#include <thread>


using namespace std;

class Singleton
{
private:
	static Singleton* instance;
	static once_flag init_flag;
	Singleton() = default;
	static void init_instance()
	{
		instance = new Singleton();
	}
public:
	~Singleton() = default;
	static Singleton* getInstance()
	{
		call_once(init_flag, &Singleton::init_instance);
		return instance;
	}
};

Singleton* Singleton::instance = nullptr;
once_flag Singleton::init_flag;

int main()
{
	Singleton* s1 = Singleton::getInstance();
}

3. 后记

3.1 单例类的析构问题

关于单例类的析构问题,可以采用之前介绍过的嵌套类的方式实现。也可以采用智能指针的方式实现,把instance类型改成shared_ptr<Singleton>,在静态对象消亡时,引用计数归零,会自动调用析构函数。

3.2 饿汉式单例模式的线程安全问题

在C++11之后,静态对象和全局对象的初始化一定是线程安全的,所以可以放心地使用。

相关推荐
oioihoii2 天前
C++实战案例:从static成员到线程安全的单例模式
java·c++·单例模式
归云鹤3 天前
设计模式十:单件模式 (Singleton Pattern)
单例模式·设计模式
YxVoyager6 天前
C++设计模式:单例模式 (现代C++主流实现方式Meyer‘s Singleton + 使用CRTP模板化)
c++·单例模式·设计模式
不愧是你呀7 天前
Muduo库中单例模式详解
开发语言·c++·单例模式
数字芯片实验室7 天前
单例模式的智慧:从UVM看控制的艺术
单例模式
Dxy12393102169 天前
Python单例模式详解:从原理到实战的完整指南
javascript·python·单例模式
寒士obj9 天前
单例模式的设计与实现
java·单例模式
经典199210 天前
Java 设计模式及应用场景
java·单例模式·设计模式
不修×蝙蝠10 天前
设计模式深度解析:单例、工厂、适配器与代理模式
单例模式·设计模式·代理模式·适配器模式·工厂
猪蹄手11 天前
单例模式详细讲解
开发语言·c++·单例模式