C++设计模式1：单例模式(懒汉模式和饿汉模式，以及多线程问题处理)

咩咩大主教2024-08-23 19:44

饿汉单例模式

程序还没有主动获取实例对象，该对象就产生了，也就是程序刚开始运行，这个对象就已经初始化了。

cpp 复制代码 
class Singleton
{
public:
	~Singleton()
	{
		std::cout << "~Singleton()" << std::endl;
	}
	static Singleton* get_instance()
	{
		return &singleton;
	}
private:
	Singleton() {};
	Singleton(const Singleton& othersingle) = delete;
	Singleton& operator=(const Singleton& othersingle) = delete;
	static Singleton singleton;
};
Singleton Singleton::singleton;//类的静态成员变量要在类外定义
int main()
{
	Singleton* s1 = Singleton::get_instance();
	Singleton* s2 = Singleton::get_instance();
	Singleton* s3 = Singleton::get_instance();
	std::cout << "s1:" << s1 << std::endl;
	std::cout << "s2:" << s2 << std::endl;
	std::cout << "s3:" << s3 << std::endl;
}

显然饿汉模式是线程安全的，因为单例对象的初始化发生在.bss段，和栈无关，而线程的启动依赖于函数，函数需要开辟栈内存，所以是线程安全的。但是饿汉模式也有缺点，如果这个单例类的构造函数过于复杂，包含了线程和数据库等等一系列的初始化过程，需要进行大量操作，就会导致程序启动变慢。

运行结果如下： 三个对象的地址是一样的，说明是同一个对象，并且最后也只是析构了一次。

懒汉模式

实例对象直到程序中有模块获取它时，才会初始化这个对象。

cpp 复制代码 
#include<iostream>
class Singleton
{
public:
	~Singleton()
	{
		std::cout << "~Singleton()" << std::endl;
	}
	static Singleton* get_instance()
	{
		if (singleton == nullptr)
		{
			singleton = new Singleton();
		}
		return singleton;
	}
private:
	Singleton() {};
	Singleton(const Singleton& othersingle) = delete;
	Singleton& operator=(const Singleton& othersingle) = delete;
	static Singleton* singleton;
};
Singleton* Singleton::singleton=nullptr;//类的静态成员变量要在类外定义
int main()
{
	Singleton* s1 = Singleton::get_instance();
	Singleton* s2 = Singleton::get_instance();
	Singleton* s3 = Singleton::get_instance();
	std::cout << "s1:" << s1 << std::endl;
	std::cout << "s2:" << s2 << std::endl;
	std::cout << "s3:" << s3 << std::endl;
}

运行结果。

上面这种写法显然是线程不安全的，因为要构造一个单例，构造函数里面可能需要进行大量的操作。这段代码就会产生竞态条件，我们需要通过线程间的互斥操作来解决。

cpp 复制代码 
#include<iostream>
#include<memory>
#include<thread>
#include<mutex>
std::mutex mtx;
class Singleton
{
public:
	~Singleton()
	{
		std::cout << "~Singleton()" << std::endl;
	}
	static Singleton* get_instance()
	{
		std::lock_guard<std::mutex>loc(mtx);
		if (singleton == nullptr)
		{
			singleton = new Singleton();
		}
		return singleton;
	}
private:
	Singleton() {};
	Singleton(const Singleton& othersingle) = delete;
	Singleton& operator=(const Singleton& othersingle) = delete;
	static Singleton* singleton;
};
Singleton* Singleton::singleton=nullptr;//类的静态成员变量要在类外定义
int main()
{
	Singleton* s1 = Singleton::get_instance();
	Singleton* s2 = Singleton::get_instance();
	Singleton* s3 = Singleton::get_instance();
	std::cout << "s1:" << s1 << std::endl;
	std::cout << "s2:" << s2 << std::endl;
	std::cout << "s3:" << s3 << std::endl;
}

这种写法虽然可以解决问题，但是加锁的位置，对程序的性能损耗较大，每次要先拿到锁才去判断是否为nullptr，如果不是，这把锁就白拿了，换一下加锁的位置。

cpp 复制代码 
#include<iostream>
#include<memory>
#include<thread>
#include<mutex>
std::mutex mtx;
class Singleton
{
public:
	~Singleton()
	{
		std::cout << "~Singleton()" << std::endl;
	}
	static Singleton* get_instance()
	{
		if (singleton == nullptr)
		{
			std::lock_guard<std::mutex>loc(mtx);
			singleton = new Singleton();
		}
		return singleton;
	}
private:
	Singleton() {};
	Singleton(const Singleton& othersingle) = delete;
	Singleton& operator=(const Singleton& othersingle) = delete;
	static Singleton* singleton;
};
Singleton* Singleton::singleton=nullptr;//类的静态成员变量要在类外定义
int main()
{
	Singleton* s1 = Singleton::get_instance();
	Singleton* s2 = Singleton::get_instance();
	Singleton* s3 = Singleton::get_instance();
	std::cout << "s1:" << s1 << std::endl;
	std::cout << "s2:" << s2 << std::endl;
	std::cout << "s3:" << s3 << std::endl;
}

这次加锁位置明显可以减少程序的性能损耗，但是会出现一个问题，假如开始单例是nullptr，一个线程通过if语句，并且拿到了锁，它只是开辟了内存，并且构造了单例对象，但是构造过程没有执行完全，还没有给这个单例对象赋值， 这时候这个单例还是nullptr，另一个线程这时候也可以通过if语句了，因为单例是nullptr，但是它不能构造单例，因为没有拿到锁，这时候第一个线程给单例赋值完成后，释放了锁，第二个线程拿到锁，就又构造了一次单例。

要解决这个问题也简单，那就是双重if语句判断。

cpp 复制代码 
#include<iostream>
#include<memory>
#include<thread>
#include<mutex>
std::mutex mtx;
class Singleton
{
public:
	~Singleton()
	{
		std::cout << "~Singleton()" << std::endl;
	}
	static Singleton* get_instance()
	{
		if (singleton == nullptr)
		{
			std::lock_guard<std::mutex>loc(mtx);
			if (singleton == nullptr)
			{
				singleton = new Singleton();
			}
		}
		return singleton;
	}
private:
	Singleton() {};
	Singleton(const Singleton& othersingle) = delete;
	Singleton& operator=(const Singleton& othersingle) = delete;
	static Singleton* singleton;
};
Singleton* Singleton::singleton=nullptr;//类的静态成员变量要在类外定义
int main()
{
	Singleton* s1 = Singleton::get_instance();
	Singleton* s2 = Singleton::get_instance();
	Singleton* s3 = Singleton::get_instance();
	std::cout << "s1:" << s1 << std::endl;
	std::cout << "s2:" << s2 << std::endl;
	std::cout << "s3:" << s3 << std::endl;
}

运行结果还是一样的。

如果我们要简化上面的写法呢？我们可以使用到函数静态局部变量的初始化机制，函数静态局部变量在初始化的时候，底层的汇编指令会自动添加上线程互斥的指令，就可以省去我们加锁的步骤了。而且只有当程序主动调用get_instance函数的时候，单例才会被初始化，也省去了我们的nullptr双重判断了。

cpp 复制代码 
#include<iostream>
#include<memory>
#include<thread>
#include<mutex>
std::mutex mtx;
class Singleton
{
public:
	~Singleton()
	{
		std::cout << "~Singleton()" << std::endl;
	}
	static Singleton* get_instance()
	{
		static Singleton singleton;
		return &singleton;
	}
private:
	Singleton() {};
	Singleton(const Singleton& othersingle) = delete;
	Singleton& operator=(const Singleton& othersingle) = delete;
	static Singleton* singleton;
};
int main()
{
	Singleton* s1 = Singleton::get_instance();
	Singleton* s2 = Singleton::get_instance();
	Singleton* s3 = Singleton::get_instance();
	std::cout << "s1:" << s1 << std::endl;
	std::cout << "s2:" << s2 << std::endl;
	std::cout << "s3:" << s3 << std::endl;
}

运行效果一样。

相关推荐
小白不太白950几秒前
设计模式之 责任链模式
python·设计模式·责任链模式
古月居GYH11 分钟前
在C++上实现反射用法
java·开发语言·c++
Betty’s Sweet14 分钟前
[C++]：IO流
c++·文件·fstream·sstream·iostream
敲上瘾27 分钟前
操作系统的理解
linux·运维·服务器·c++·大模型·操作系统·aigc
吾与谁归in29 分钟前
【C#设计模式(13)——代理模式(Proxy Pattern)】
设计模式·c#·代理模式
吾与谁归in30 分钟前
【C#设计模式(14)——责任链模式( Chain-of-responsibility Pattern)】
设计模式·c#·责任链模式
不会写代码的ys34 分钟前
【类与对象】--对象之舞，类之华章，共绘C++之美
c++
兵哥工控36 分钟前
MFC工控项目实例三十二模拟量校正值添加修改删除
c++·mfc
闲人一枚（学习中）38 分钟前
设计模式-创建型-原型模式
设计模式
长弓聊编程1 小时前
Linux系统使用valgrind分析C++程序内存资源使用情况
linux·c++
热门推荐
01(欧拉)openEuler系统添加网卡文件配置流程、(欧拉)openEuler系统手动配置ipv6地址流程、(欧拉)openEuler系统网络管理说明02PyTorch机器学习实现液态神经网络03【HarmonyOS】HUAWEI DevEco Studio 下载地址汇总04玄机平台应急响应—webshell查杀05Coze扣子平台完整体验和实践（附国内和国际版对比）06Ubuntu 20.04使用Livox mid 360 测试 FAST_LIO07【目标跟踪】相机运动补偿08Unity中PICO实现 隔空取物 和 接触抓取物体09RAG 实践- Ollama+RagFlow 部署本地知识库10量化方法怎么选？如何评估量化后的大模型LLM？