Qt下实现支持多线程的单例模式

1. 代码介绍

实现单例模式的代码很多。
本文的单例模式实现代码是本人一直在工程项目中使用的,现拿出和大家交流分享。
本文实现的单例模式,支持多线程,采用双重校验检索的方式,集成析构类,杜绝内存泄漏,稳定性好。 使用C++/Qt的朋友们可以了解一下。
不再废话,直接上代码。

2. 代码之路

头文件makelog.h

#include <QMutex>
#include <QObject>
class Makelog: public QObject
{
  	Q_OBJECT
  public:
  	static Makelog* getInstance()
  	{
  		if (m_pInstance == NULL)
  		{
  			QMutexLocker mlocker(&m_Mutex);  //双检索,支持多线程
  			if (m_pInstance == NULL)
  			{
  				m_pInstance = new Makelog();
  			}
  		}
  		return m_pInstance;
  	}
  private:
  	Makelog(){}
  	Makelog(const Makelog&){}
  	Makelog& operator ==(const Makelog&){}

  	static Makelog* m_pInstance;   //类的指针
  	static QMutex m_Mutex;
  public:
  	class CGarbo  //专用来析构m_pInstance指针的类
  	{
  		public:
  		~CGarbo()
  		{
  			if (m_pInstance != NULL)
  			{
  				delete m_pInstance;
  				m_pInstance = NULL;
  			}
  		}
  	};
  	static CGarbo m_Garbo; 					
};

makelog.cpp文件

Makelog* Makelog::m_pInstance = NULL;
Makelog::CGarbo m_Garbo;
QMutex Makelog::m_Mutex;

支持多线程,无内存泄漏的单例模式就实现了。
下面举例说明具体的使用:
在头文件中加入一个public函数、一个public变量。

public:
void readFile();
QString m_config;

在源文件中加入函数具体实现,使得readFile()或m_config有实际的意义。
那么,在一个工程内的其他类中,只需做两个步骤,就可以使用这个readFile()函数和m_config变量了。
步骤1:包含头文件

#include “makefile.h”

步骤2:通过单例类入口调用函数或变量

Makelog::getInstance()->readFile(); //使用函数
Makelog::getInstance()->m_config; //使用变量

3. 详细分析

3.1 什么是单例

单例是一种软件设计模式,采用单例模式书写的类可以确保在一个工程中只有一个对象实例。再通俗点,就是一个类写好了之后,就不需要也无法再把这个类实例化了,因为写这个类的时候已经确保了有且仅有一个已经实例化的对象。
这样不是很蠢么?花了这么多功夫写了一个类,你告诉我这个类没法用来new出对象了?那我怎么使用这个类?我写个配合静态变量的静态函数,使用起来不是更方便?
当然不蠢,非但不蠢,而且单例模式是所有设计模式中使用最为频繁的一个设计模式。没法new出对象,因为单例模式已经帮你new了一个对象,而且让你的工程中只有这个对象了;使用这个对象只需要包含头文件,然后调用接口指针函数就可以了;静态的全局函数或变量代码实现起来方便,但是不具有类的封装性和灵活性。

3.2 如何让类无法实例化

首先要清楚类实例化无非就是三种方式:
1)采用构造函数实例化;
2)用拷贝函数实现实例化;
3)赋值操作实现实例化。
所以,只需要把这个类的构造函数、拷贝函数、赋值操作写成私有的,就无法调用这些函数,自然就无法实例化了。
正如上文所示的几个函数:

private:
Makelog(){} //构造函数
Makelog(const Makelog&){} //拷贝函数
Makelog& operator ==(const Makelog&){} //赋值操作符重写

当然,如果有一些初始化的操作,也可以写在私有构造函数的双括号内。

3.3 如何调用这个唯一实例

广泛采用的做法就是在写一个public的函数作为接口,这个函数返回单例类唯一实例的指针。
最简单的写法如下:

Makelog* getInstance()
{
if (m_pInstance == NULL)
{
m_pInstance = new Makelog(); //调用private构造函数,把唯一实例的指针实例化
}
return m_pInstance;
}
Makelog* m_pInstance; //唯一实例的指针

这个写法看着真不错,可是这么写遇到了一个小小的悖论。
“我如何去调用执行这个getInstance()函数啊,对,我需要一个实例化对象才能去执行!那我去new个对象,等等,唯一的实例化对象是通过这个函数才能找到的啊!”
有方法解决么,当然,类的静态方法不需要实例化对象,用

类名::方法()

的形式就可以调用执行了,所以把getInstance()函数前加一个static就好了。
但是静态方法只能使用静态成员变量啊,那就把唯一实例的指针m_pInstance也变成static的吧。
Ok,这样有没有隐患啊?隐患?static类型的instance存在静态存储区,每次调用时,都指向的同一个对象。非但没有隐患,简直堪称完美!
现在上面的代码就变成这样:

public:
static Makelog* getInstance()
{
if (m_pInstance == NULL )
{
m_pInstance = new Makelog(); //用私有构造函数new出了这个类的唯一对象
}
return m_pInstance;
}
private:
static Makelog* m_pInstance; //唯一实例指针

这样写完全没有问题,但是不支持多线程的调用。因为new Makelog()需要时间,所以当两个线程同时判断m_pInstance ==NULL,同时执行了m_pInstance = new Makelog()这句代码,问题就大了。

3.4 如何支持多线程

为了解决3.3节产生的bug,广泛采用的方式是双重校验检索的方法。
就是利用互斥锁(用来保证锁内代码最多只有一个线程在同时执行)的方式,确保不会出现两个线程同时new出这个单例类的唯一实例的情况发生。
具体代码如下:

static Makelog* getInstance()
{
if (m_pInstance == NULL)
{
QMutexLocker mlocker(&m_Mutex); //加锁,锁内代码只有一个线程执行
if (m_pInstance == NULL) //先执行的线程会进入内部new对象,后一个线程判断m_pInstance就不是NULL了
{
m_pInstance = new Makelog();
}
}
return m_pInstance;
}

至此双重校验检索解决多线程问题的单例问题就解决了。当然还可以用原子锁的方法来解决,但是灵活性不强(也可能是我太外行,灵活不起来—。—),这里就不介绍了。

3.5 如何解决内存泄漏

解决单例类的内存析构主要就是解决static Makelog* m_pInstance这个指针的析构问题(毕竟其他的可以不用指针的嘛)。我总结觉得写一个专门用来析构的类是最方便有效和无脑的方法了,推荐给大家。
具体就是在单例类中写一个类:

public:
class CGarbo //专用来析构m_pInstance指针的类
{
public:
~CGarbo() //这个类只有析构函数
{
if (m_pInstance != NULL)
{
delete m_pInstance;
m_pInstance = NULL;
}
}
};
static CGarbo m_Garbo; //声明一个静态的对象

然后在cpp文件中声明一下 Makelog::CGarbo m_Garbo就可以了。
这个类只有析构函数,析构函数的作用就是delete单例唯一对象的指针。
析构类声明一个static对象,因为静态对象系统会在关闭程序时自动析构,就可以执行到析构函数内部的代码了。

4. 结束语

单例模式是非常常用而基础的一个设计模式,本文作者第一次写博客,有不详或错误之处还请大家指正。对于还在使用C++/Qt的初学者,请不要因为害怕而不去深究和掌握单例模式这个好用实用的工具。

猜你喜欢

转载自blog.csdn.net/lusanshui/article/details/84142869