单例模式
单例模式是What?
单例模式(Sington Pattern)是Java中最简单的设计模式之一。这种类型的设计模式属于创建型模式,他提供了一种创建对象的最佳方式。
这种模式涉及到一个单一的类,该类负责创建自己的对象,同时确保只有单个对象被创建。这个类提供了一种访问其唯一的对象的方式,可以直接访问,不需要实例化该类对象。
注意:
- 单例只能有一个实例
- 单例类必须创建自己的唯一实例
- 单例类必须给所有其他对象提供这一实例
单例模式详细介绍
单例模式有很多好处,它能够避免实例对象的重复创建,不仅可以减少每次创建对象的时间开销,还可以节约内存空间;能够避免由于操作多个实例导致的逻辑错误。如果一个对象有可能贯穿整个应用程序,而且起到了全局统一管理控制的作用,那么单例模式也许是一个值得考虑的选择。
- 意图:保证一个类仅有一个实例,并提供一个访问它的全局访问点。
- 解决:一个全局使用的类频繁的创建和销毁
- 何时使用:控制实例数目,减少资源消耗
- 一些管理器和控制器常被设计成单例模式
注意
getInstance() 方法中需要使用同步锁 synchronized (Singleton.class) 防止多线程同时进入造成 instance 被多次实例化。
单例模式实现
饿汉式(简单方便,线程安全,无延迟加载,使用较多)
public class Singleton {
private Singleton(){}
private static Singleton instance = new Singleton();
public static Singleton getInstance() {
return instance;
}
}
- 是否 Lazy 初始化:否(无延迟加载)
- 是否多线程安全:是
- 实现难度:易
- 描述:基于类的加载机制,伴随类的加载instance只实例化一次,从而避免了多线程同步的问题,所以他是线程安全的,类的构造函数定义为private的,保证其他类不能实例化此类,然后提供了一个静态实例并返回给调用者。这种方式比较常用,但容易产生垃圾对象,所以在单例对象占用内存比较小的时候可以使用。
- 优点:没有加锁,执行效率会提高。
- 缺点:类加载时就初始化,浪费内存。
懒汉式(简单方便,线程安全,延迟加载,使用并不频繁)
代码在饿汉式的基础上修改一下,也是对饿汉式的一种改进:
public class Singleton {
private Singleton(){}
private static Singleton instance = null;
public static synchronized Singleton getInstance() {
if (null == instance) {
instance = new Singleton();
}
return instance;
}
}
- 是否 Lazy 初始化:是(延迟加载)
- 是否多线程安全:是
- 实现难度:易
- 描述:这种方式可以很好的实现延迟加载,并且线程安全,但是因为加了Synchronized同步锁导致效率很低,99%的情况下不需要同步。
- 优点:第一次调用才初始化,避免内存浪费
- 缺点:必须加锁synchronized才能保证单例,但加锁会影响效率。
双重检查锁(jdk1.5以及之后可以使用。推荐,线程安全,延迟加载)
加锁的懒汉模式看起来即解决了线程并发问题,又实现了延迟加载,然而它存在着性能问题,依然不够完美。synchronized修饰的同步方法比一般方法要慢很多,如果多次调用getInstance(),累积的性能损耗就比较大了。因此就有了双重校验锁
public class Singleton {
private Singleton() {}
private volatile static Singleton instance = null;//改进2
public static Singleton getInstance() {
if (null == instance) {
synchronized (Singleton.class) {
if (null == instance) {//改进1
instance = new Singleton();
}
}
}
return instance;
}
}
- JDK 版本:JDK1.5 起
- 是否 Lazy 初始化:是
- 是否多线程安全:是
- 实现难度:较复杂
描述:这种方式采用双锁机制,安全且在多线程情况下能保持高性能。getInstance()的性能对应用程序很关键。
可以看到上面在同步代码块外多了一层instance为空的判断。由于单例对象只需要创建一次,如果后面再次调用getInstance()只需要直接返回单例对象。因此,大部分情况下,调用getInstance()都不会执行到同步代码块,从而提高了程序性能。
不过还需要考虑一种情况,假如两个线程A、B,A执行了if (instance == null)语句,它会认为单例对象没有创建,此时线程切到B也执行了同样的语句,B也认为单例对象没有创建,然后两个线程依次执行同步代码块,并分别创建了一个单例对象。为了解决这个问题,还需要在同步代码块中增加if(instance == null)语句,也就是上面看到的代码(改进1)。
我们看到双重校验锁即实现了延迟加载,又解决了线程并发问题,同时还解决了执行效率问题,是否真的就万无一失了呢?(改进2)
- 这里要提到Java中的指令重排优化。所谓指令重排优化是指在不改变原语义的情况下,通过调整指令的执行顺序让程序运行的更快。JVM中并没有规定编译器优化相关的内容,也就是说JVM可以自由的进行指令重排序的优化。
- 这个问题的关键就在于由于指令重排优化的存在,导致初始化Singleton和将对象地址赋给instance字段的顺序是不确定的。在某个线程创建单例对象时,在构造方法被调用之前,就为该对象分配了内存空间并将对象的字段设置为默认值。此时就可以将分配的内存地址赋值给instance字段了,然而该对象可能还没有初始化。若紧接着另外一个线程来调用getInstance,取到的就是状态不正确的对象,程序就会出错。
- 以上就是双重校验锁会失效的原因,不过还好在JDK1.5及之后版本增加了volatile关键字。volatile的一个语义是禁止指令重排序优化,也就保证了instance变量被赋值的时候对象已经是初始化过的,从而避免了上面说到的问题。
静态内部类(推荐使用,线程安全,延迟加载)
public class Singleton {
private Singleton() {}
private static class SingletonHolder {
public static Singleton instance = new Singleton();
}
public static Singleton getInstance(){
return SingletonHolder.instance;
}
}
- 是否 Lazy 初始化:是
- 是否多线程安全:是
- 实现难度:易
- 描述:这种方式同样利用了类加载机制来保证只创建一个instance实例。它与饿汉模式一样,也是利用了类加载机制,因此不存在多线程并发的问题。不一样的是,它是在内部类里面去创建对象实例。这样的话,只要应用中不使用内部类,JVM就不会去加载这个单例类,也就不会创建单例对象,从而实现懒汉式的延迟加载。也就是说这种方式可以同时保证延迟加载和线程安全。
枚举(也可以使用,线程安全,延迟加载)
public enum Singleton {
INSTANCE;
public void someMethod(){}
}
- JDK 版本:JDK1.5 起
- 是否 Lazy 初始化:否
- 是否多线程安全:是
- 实现难度:易
- 描述:
这种实现方式还没有被广泛采用,但这是实现单例模式的最佳方法。它更简洁,自动支持序列化机制,绝对防止多次实例化。而且不能通过reflection attack 来调用私有构造方法。这种方式是 Effective Java 作者Josh Bloch推荐使用的方法。
- 上面提到的四种实现单例的方式都有共同的缺点:
- 需要额外的工作来实现序列化,否则每次反序列化一个序列化的对象时都会创建一个新的实例。
- 可以使用反射强行调用私有构造器(如果要避免这种情况,可以修改构造器,让它在创建第二个实例的时候抛异常)。而枚举类很好的解决了这两个问题,使用枚举除了线程安全和防止反射调用构造器之外,还提供了自动序列化机制,防止反序列化的时候创建新的对象。因此,《Effective Java》作者推荐使用的方法。不过,在实际工作中,很少看见有人这么写。
参考《Effective Java》