单例模式
单例模式是最常用到的设计模式之一,熟悉设计模式的朋友对单例模式都不会陌生。一般介绍单例模式的书籍都会提到 饿汉式 和 懒汉式 这两种实现方式。但是除了这两种方式,本文还会介绍其他几种实现单例的方式,让我们来一起看看吧。
一、简介
单例模式是一种常用的软件设计模式,其定义是单例对象的类只能允许一个实例存在。
许多时候整个系统只需要拥有一个的全局对象,这样有利于我们协调系统整体的行为。比如在某个服务器程序中,该服务器的配置信息存放在一个文件中,这些配置数据由一个单例对象统一读取,然后服务进程中的其他对象再通过这个单例对象获取这些配置信息。这种方式简化了在复杂环境下的配置管理。
二、基本的实现思路
单例模式要求类能够有返回对象一个引用(永远是同一个)和一个获得该实例的方法(必须是静态方法,通常使用initance
这个名称)。
单例的实现主要是通过以下两个步骤:
- 将该类的构造方法定义为私有方法,这样其他处的代码就无法通过调用该类的构造方法来实例化该类的对象,只有通过该类提供的静态方法来得到该类的唯一实例;
- 在该类内提供一个
静态方法
,当我们调用这个方法时,如果类持有的引用不为空就返回这个引用,如果类保持的引用为空就创建该类的实例并将实例的引用赋予该类保持的引用。
三、注意事项
单例模式在多线程的应用场合下必须小心使用。如果当唯一实例尚未创建时,有两个线程同时调用创建方法,那么它们同时没有检测到唯一实例的存在,从而同时各自创建了一个实例,这样就有两个实例被构造出来,从而违反了单例模式中实例唯一的原则。 解决这个问题的办法是为指示类是否已经实例化的变量提供一个互斥锁
(虽然这样会降低效率)。
单例模式的五种写法:
1、饿汉式(静态常量)
class Singleton
{
private:
Singleton();
static Singleton* p;
public:
static Singleton* initance();
};
Singleton* Singleton::p = new Singleton();
Singleton* Singleton::initance()
{
return p;
}
优点:这种写法比较简单,就是在类装载的时候就完成实例化。避免了线程同步问题。
缺点:在类装载的时候就完成实例化。如果从始至终从未使用过这个实例,则会造成
内存的浪费
。
2、懒汉式(线程不安全)[不可用]
class Singleton
{
private:
Singleton();
static Singleton* p;
public:
static Singleton* initance();
};
Singleton* Singleton::p = nullptr;
Singleton* Singleton::initance()
{
if (p == nullptr)
p = new Singleton();
return p;
}
缺点:对于高并发的系统来说,当一个线程创建一个实例时,另一个系统也在创建实例,这会造成实例被修改造成很大的麻烦。
3、懒汉式(线程安全,同步方法)[不推荐用]
class Singleton
{
private:
Singleton();
static Singleton* p;
public:
static Singleton* initance();
static mutex mu;
};
Singleton* Singleton::p = nullptr;
mutex Singleton::mu;
Singleton* Singleton::initance()
{
lock_guard<mutex> lock(mu); //对互斥量进行上锁
if (p == nullptr)
p = new Singleton();
return p;
}
优点:解决了线程不安全的问题,当初始化一个单例模式时,对象p的读,写只能允许一个线程操作。
缺点:对于一个高并发的系统而言,当p已经初始化,每个线程还要一个一个的进行
initance()
,导致读写的效率太低。
4、懒汉式双重检查[不可用]
class Singleton
{
private:
Singleton();
static Singleton* p;
public:
static Singleton* initance();
static mutex mu;
};
Singleton* Singleton::p = nullptr;
mutex Singleton::mu;
Singleton* Singleton::initance()
{
if (p == nullptr)
{
lock_guard<mutex> lock(mu); //对互斥量进行上锁
if (p == nullptr)
p = new Singleton();
}
return p;
}
优点:当调用
initance()
时,先对实例p进行非空的判断,解决了方法三在高并发时效率低的问题,之后在p
的实例化之前进行加锁,再进行非空的判断,防止多个线程同时实例化。
缺点:看上去这个方法是可行的,但是他的缺点是无法通用,对不同的编译器而言,内存读写会出现reorder的情况,当进行
p = new Singleton()
时,有的先分配内存,然后调用构造函数Singleton()
,在将地址赋值给指针p
;而有的编译器会先分配内存,然后将地址赋值给指针p
,再调用构造函数。这个时候指针p
虽然不为NULL
,但是返回的p所指向的内存数据是不对的。
4、懒汉式双重检查[推荐使用]【volatile】
class Singleton
{
private:
Singleton();
static Singleton* volatile p;
public:
static Singleton* initance();
static mutex mu;
};
Singleton* volatile Singleton::p = nullptr;
mutex Singleton::mu;
Singleton* Singleton::initance()
{
if (p == nullptr)
{
lock_guard<mutex> lock(mu); //对互斥量进行上锁
if (p == nullptr)
p = new Singleton();
}
return p;
}
优点:使用
volatile
关键字对指针p声明,这样编译器在运行时就不会对该变量进行优化,也就不会出现4的问题