单例模式的五种实现看似丧心病狂,其实是一个由浅入深,再到化繁为简的过程。
什么是单例模式
单例模式(Singleton Pattern,也称为单件模式),使用最广泛的设计模式之一。其意图是保证一个类仅有一个实例,并提供一个访问它的全局访问点,该实例被所有程序模块共享。
定义一个单例类:
私有化它的构造函数,以防止外界创建单例类的对象;
使用类的私有静态指针变量指向类的唯一实例;
使用一个公有的静态方法获取该实例。
懒汉版(Lazy Singleton)
教学版,即懒汉版(Lazy Singleton):单例实例在第一次被使用时才进行初始化,这叫做延迟初始化。
// version 1.0
class Singleton
{
private:
static Singleton* instance;
private:
Singleton() {};
~Singleton() {};
Singleton(const Singleton&);
Singleton& operator=(const Singleton&);
public:
static Singleton* getInstance()
{
if(instance == NULL)
instance = new Singleton();
return instance;
}
};
// init static member
Singleton* Singleton::instance = NULL;
问题1:Lazy Singleton存在内存泄露的问题,有两种解决方法:
使用智能指针
使用静态的嵌套类对象
对于第二种解决方法,代码如下:
// version 1.1
class Singleton
{
private:
static Singleton* instance;
private:
Singleton() { };
~Singleton() { };
Singleton(const Singleton&);
Singleton& operator=(const Singleton&);
private:
class Deletor {
public:
~Deletor() {
if(Singleton::instance != NULL)
delete Singleton::instance;
}
};
static Deletor deletor;
public:
static Singleton* getInstance() {
if(instance == NULL) {
instance = new Singleton();
}
return instance;
}
};
// init static member
Singleton* Singleton::instance = NULL;
在程序运行结束时,系统会调用静态成员deletor的析构函数,该析构函数会删除单例的唯一实例。使用这种方法释放单例对象有以下特征:
在单例类内部定义专有的嵌套类。
在单例类内定义私有的专门用于释放的静态成员。
利用程序在结束时析构全局变量的特性,选择最终的释放时机。
在单例类内再定义一个嵌套类,总是感觉很麻烦。
问题2:这个代码在单线程环境下是正确无误的,但是当拿到多线程环境下时这份代码就会出现race condition,注意version 1.0与version 1.1都不是线程安全的。要使其线程安全,能在多线程环境下实现单例模式,我们首先想到的是利用同步机制来正确的保护我们的shared data。可以使用双检测锁模式(DCL: Double-Checked Locking Pattern):
static Singleton* getInstance() {
if(instance == NULL) {
Lock lock; // 基于作用域的加锁,超出作用域,自动调用析构函数解锁
if(instance == NULL) {
instance = new Singleton();
}
}
return instance;
}
注意,线程安全问题仅出现在第一次初始化(new)过程中,而在后面获取该实例的时候并不会遇到,也就没有必要再使用lock。双检测锁很好地解决了这个问题,它通过加锁前检测是否已经初始化,避免了每次获取实例时都要首先获取锁资源。
加入DCL后,其实还是有问题的,关于memory model。在某些内存模型中(虽然不常见)或者是由于编译器的优化以及运行时优化等等原因,使得instance虽然已经不是nullptr但是其所指对象还没有完成构造,这种情况下,另一个线程如果调用getInstance()就有可能使用到一个不完全初始化的对象。换句话说,就是代码中第2行:if(instance == NULL)和第六行instance = new Singleton();没有正确的同步,在某种情况下会出现new返回了地址赋值给instance变量而Singleton此时还没有构造完全,当另一个线程随后运行到第2行时将不会进入if从而返回了不完全的实例对象给用户使用,造成了严重的错误。在C++11没有出来的时候,只能靠插入两个memory barrier(内存屏障)来解决这个错误,但是C++11引进了memory model,提供了Atomic实现内存的同步访问,即不同线程总是获取对象修改前或修改后的值,无法在对象修改期间获得该对象。
因此,在有了C++11后就可以正确的跨平台的实现DCL模式了,利用atomic,代码如下:
atomic<Widget*> Widget::pInstance{ nullptr };
Widget* Widget::Instance() {
if (pInstance == nullptr) {
lock_guard<mutex> lock{ mutW };
if (pInstance == nullptr) {
pInstance = new Widget();
}
}
return pInstance;
}
C++11中的atomic类的默认memory_order_seq_cst保证了3、6行代码的正确同步,由于上面的atomic需要一些性能上的损失,因此我们可以写一个优化的版本:
atomic<Widget*> Widget::pInstance{ nullptr };
Widget* Widget::Instance() {
Widget* p = pInstance;
if (p == nullptr) {
lock_guard<mutex> lock{ mutW };
if ((p = pInstance) == nullptr) {
pInstance = p = new Widget();
}
}
return p;
}
Best of All:
C++11规定了local static在多线程条件下的初始化行为,要求编译器保证了内部静态变量的线程安全性。在C++11标准下,《Effective C++》提出了一种更优雅的单例模式实现,使用函数内的 local static 对象。这样,只有当第一次访问getInstance()方法时才创建实例。这种方法也被称为Meyers’ Singleton。C++0x之后该实现是线程安全的,C++0x之前仍需加锁。
// version 1.2
class Singleton
{
private:
Singleton() { };
~Singleton() { };
Singleton(const Singleton&);
Singleton& operator=(const Singleton&);
public:
static Singleton& getInstance()
{
static Singleton instance;
return instance;
}
};
- 饿汉版(Eager Singleton)
饿汉版(Eager Singleton):指单例实例在程序运行时被立即执行初始化
// version 1.3
class Singleton
{
private:
static Singleton instance;
private:
Singleton();
~Singleton();
Singleton(const Singleton&);
Singleton& operator=(const Singleton&);
public:
static Singleton& getInstance() {
return instance;
}
}
// initialize defaultly
Singleton Singleton::instance;
由于在main函数之前初始化,所以没有线程安全的问题。但是潜在问题在于no-local static对象(函数外的static对象)在不同编译单元中的初始化顺序是未定义的。也即,static Singleton instance;和static Singleton& getInstance()二者的初始化顺序不确定,如果在初始化完成之前调用 getInstance() 方法会返回一个未定义的实例。
总结:
Eager Singleton 虽然是线程安全的,但存在潜在问题;
Lazy Singleton通常需要加锁来保证线程安全,但局部静态变量版本在C++11后是线程安全的;
局部静态变量版本(Meyers Singleton)最优雅。
饿汉式
饿汉式的实现思路是初始化的过程中就加载完成单例,而不是延迟再加载,有一种饥不择食的感觉,代码如下。
import java.util.concurrent.atomic.AtomicLong;
public class IdGen {
private AtomicLong id = new AtomicLong(0);
private static final IdGen instance = new IdGen();
private IdGen() {
}
public static IdGen getInstance() {
return instance;
}
public long getId() {
var r = id.incrementAndGet();
System.out.println(r);
return r;
}
}
这就适合一些业务加载时间长或者必须提前加载的使用场景。不少人觉得业务加载时间长应该延迟加载,这样才能加快启动速度。其实延迟加载会影响用户体验,因为延迟加载后,用户请求发过来,服务器还没加载完一直卡着响应,体验极差。
注意看,Runtime
类中的单例模式是用饿汉式实现的。
/**
* Every Java application has a single instance of class
* <code>Runtime</code> that allows the application to interface with
* the environment in which the application is running. The current
* runtime can be obtained from the <code>getRuntime</code> method.
* <p>
* An application cannot create its own instance of this class.
*
* @author unascribed
* @see java.lang.Runtime#getRuntime()
* @since JDK1.0
*/
public class Runtime {
private static Runtime currentRuntime = new Runtime();
public static Runtime getRuntime() {
return currentRuntime;
}
/** Don't let anyone else instantiate this class */
private Runtime() {
}
// ....
public void addShutdownHook(Thread hook) {
SecurityManager sm = System.getSecurityManager();
if (sm != null) {
sm.checkPermission(new RuntimePermission("shutdownHooks"));
}
ApplicationShutdownHooks.add(hook);
}
// ...
}
懒汉式
最原始的懒汉式单例给方法加锁,实现延迟加载。但这种方法根本就不支持并发,是个串行操作。如果你用这种方法实现,一旦遇到并发的资源访问,系统根本hold不住,背锅概率99%。
import java.util.concurrent.atomic.AtomicLong;
public class IdGen {
private AtomicLong id = new AtomicLong(0);
private static IdGen instance;
private IdGen() {
}
public static synchronized IdGen getInstance() {
if (instance == null) {
instance = new IdGen();
}
return instance;
}
public long getId() {
var r = id.incrementAndGet();
return r;
}
}
双重检测
双重检测既实现了延迟加载,又支持了并发。不少人可能会疑惑,为什么要检测两次instance==null
,原因其实很简单,如果只检测一次,假设两个线程调用getInstance()
,其中一个线程new
出了单例,另一个线程等待第一个释放锁之后仍然可以new
出单例,那这就破坏了单例模式,因此需要检测两次。
有的人可能会说创建对象singleton = new Singleton()
的底层是分为三个步骤:
- 为对象分配内存空间;
- 初始化对象;
- 对象地址的引用。
因此要给 instance
成员变量加上 volatile
关键字,禁止指令重排序才行。实际上,只有很低版本的 Java 才会有这个问题。我们现在用的高版本的 Java 已经在 JDK 内部实现中解决了这个问题(解决的方法很简单,只要把对象 new
操作和初始化操作设计为原子操作,就自然能禁止重排序)。
import java.util.concurrent.atomic.AtomicLong;
public class IdGen {
private AtomicLong id = new AtomicLong(0);
private static IdGen instance;
private IdGen() {
}
public static IdGen getInstance() {
if (instance == null) {
synchronized (IdGen.class) {
if (instance == null) {
instance = new IdGen();
}
}
}
return instance;
}
public long getId() {
var r = id.incrementAndGet();
return r;
}
}
内部静态类
内部静态类的实现也实现了延迟加载,把并发的操作交给了JVM来处理,不过仍然有序列化和反射破坏单例模式的问题。
import java.util.concurrent.atomic.AtomicLong;
public class IdGen {
private AtomicLong id = new AtomicLong(0);
private IdGen() {
}
private static class SingletonHolder {
private static final IdGen instance = new IdGen();
}
public static IdGen getInstance() {
return SingletonHolder.instance;
}
public long getId() {
var r = id.incrementAndGet();
return r;
}
}
枚举
枚举也是实现了延迟加载,并发交由JVM处理,并且没有序列化和破坏单例模式的问题,可以说是延迟加载中的最优解。
import java.util.concurrent.atomic.AtomicLong;
// 测试类直接调用IdGen.INSTANCE
public enum IdGen {
INSTANCE;
private AtomicLong id = new AtomicLong(0);
public long getId() {
var r = id.incrementAndGet();
System.out.println(r);
return r;
}
}
总结
综上,我们不难发现单例大体可以分为提前加载和延迟加载两大类,饿汉式单例在指定的应用场景是无可替代的,枚举实现的单例简洁安全,双重检测能考察你对锁的理解,因此单例面试题深得面试官喜爱。