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之后，静态对象和全局对象的初始化一定是线程安全的，所以可以放心地使用。