单例模式是设计模式中最简单、最常见、最容易实现的一种模式,单例模式的主要思想是保证整个系统中一个类只有一个实例对象,并提供一个访问它的全局访问点,该实例被整个程序模块共享。实现方法一般是将构造函数、拷贝构造函数和赋值运算符重载函数声明为私有,这样可以禁止他人创建实例,提供一个共有的静态方法获得这个类唯一的一个实例化对象。
单例模式一般有两种实现模式:
饿汉模式:所谓饿汉,就是饿了饥不择食,在类定义的时候就进行初始化,以空间换时间。
懒汉模式:所谓懒汉,就是不到万不得已就不是去实例化类,第一次用到类实例的时候才会去实例化,以时间换空间。
上一篇对饿汉模式进行了分析,本文对懒汉模式进行分析:
懒汉模式在第一次用到类实例的时候才会去实例化,如果程序定义了单例类但是却没有调用单例类的实例对象,采用饿汉模式的话,就会造成空间浪费,而懒汉模式在第一次用到类实例的时候才会去实例化。
1、单线程环境
根据上篇博客,由于定义的静态实例对象是一个类对象指针,会造成内存泄露,采用定义一个内部类的方法解决此问题。
class Singleton
{
private:
Singleton();
Singleton(const Singleton&);
Singleton& operator=(const Singleton&);
~Singleton();
static Singleton *_instance;//定义一个实例对象,它是一个类对象指针
public:
static Singleton* Instance();
private:
class Des
{
public:
Des(){}
~Des()
{
if(_instance != NULL)
{
delete _instance;
_instance = NULL;
}
}
};
static Des des;
};
Singleton :: Singleton()
{
cout << "创建了一个单例对象" << endl;
}
Singleton :: ~Singleton()
{
cout << "销毁了一个单例对象" << endl;
}
Singleton *Singleton :: _instance = NULL;
Singleton* Singleton :: Instance()
{
if(_instance == NULL)//判断是否是第一次调用
{
_instance = new Singleton();
}
return _instance;
}
Singleton ::Des Singleton::des;//初始化一个销毁资源的静态成员变量
int main()
{
cout<<"Now get a instance"<<endl;
Singleton* sgn1 = Singleton ::Instance();
cout<<"Now destroy a instance"<<endl;
return 0;
}
运行结果如下:
上面这种方法只适用于单线程,如果两个线程同时运行判断_instance是否为NULL的if语句,并且_instance的确没有创建时,那么两个线程都会创建一个实例,此时Singleton类就不满足单例模式的要求了。
2、多线程环境
1> 为了保证在多线程环境下还能只能得到类型的一个实例,可以加上一个同步锁,如下所示:
Singleton* Singleton :: Instance()
{
lock();//加锁
if(_instance == NULL)//判断是否是第一次调用
{
_instance = new Singleton();
}
unlock();//解锁
return _instance;
}
由于同一时刻只有一个线程可以得到同步锁,当第一个线程线程加上锁时,第二个线程只能等待,当第一个线程发现实例还没有创建时,它就会创建出一个实例,接着第一个线程释放同步锁,这时第二个线程就可以加上同步锁,由于实例已经被创建出来,第二个进程不会再去创建实例,这样就保证了在多线程环境只得到一个实例。但是每次都需要加同步锁,加锁是一个非常耗时的操作,在没有必要的时候应尽量避免。
2> 加同步锁前后两次判断实例是否已存在
Singleton* Singleton :: Instance()
{
if(_instance == NULL)//判断是否是第一次调用
{
lock();//加锁
if(_instance == NULL)//再次判断是否是第一次调用
{
_instance = new Singleton();
}
unlock();//解锁
}
return _instance;
}
当_instance为NULL时。需要加锁操作,当_instance创建出来之后,就不需要加锁了。因为只有在第一次的时候_instance为NULL,因此只在第一次创建实例的时候加锁,这样操作的时间效率比第一种方法好很多。