什么是设计模式呢?
设计模式(Design Pattern)是一套被反复使用,多数人知晓的,经过分类编目的代码设计经验的总结。使用设计模式是为了可重用性代码,让代码更容易被他人理解,保证代码可靠性。
一些关键词:
- 单例:Singleton
- 实例:instance
- 同步:synchronized
- 类加载器:ClassLoader
单例模式的主要作用是保证在Java程序中,某个类只有一个实例存在。它使用一个私有的(private)构造函数、一个私有的(private)静态(static)变量和一个公有的(public)静态(static)方法来实现。
单例模式的优点:
【1】能够避免实例对象的重复创建。不仅可以减少每次创建对象的时间开销,还可以节约内存空间;
【2】能够避免由于操作多个实例导致的逻辑错误。
单例模式共分为两大类:
- 饿汉模式:实例在类加载时创建
- 懒汉模式:实例在第一次使用时创建
1. 饿汉模式【线程安全】
public class Singleton {
//由于不能使用构造方法创建实例,所以需要在类的内部创建该类的唯一实例
private static Singleton instance = new Singleton();
//使用private将构造方法私有化,以防外界通过该构造方法创建多个实例
private Singleton(){
}
public static Singleton getInstance(){
return instance;
}
}
从上述代码中可以看出,类的构造方法被定义为私有的(private),以确保其他类不能实例化此类。饿汉模式是最简单的一种实现方式,该模式在类加载时就对实例进行创建,实例在整个程序周期内都存在。它的好处是只在类加载时创建一次实例,不会存在多个线程创建多个实例的情况,避免了多线程同步的问题。它的缺点是即使这个实例没有用到也会被创建,浪费了内存。
这种实现方式适合单例占用内存比较小,在初始化时就会被用到的情况。但是,如果单例占用的内存比较大,或单例只是在某个特定场景下才会用到,这时候就需要用到懒汉模式进行延迟加载。
2. 懒汉模式
public class Singleton {
private static Singleton instance = null;
private Singleton(){
}
public static Singleton getInstance(){
if (instance == null) {
instance = new Singleton();
}
return instance;
}
}
懒汉模式中单例是在需要的时候才去创建的,如果单例已经创建,再次调用getInstance()方法将不会创建新的对象,而是直接返回之前创建的对象。如果某个单例使用的次数较少,并且创建单例消耗的资源较多,那么就需要实现单例的按需创建,这个时候使用懒汉模式就是一个不错的选择。但是,懒汉模式并没有考虑线程安全问题,多个线程可能会并发调用它的getInstance()方法,导致创建多个实例,因此就需要加锁解决线程同步的问题。实现如下:
public class Singleton {
private static Singleton instance = null;
private Singleton(){
}
public static synchronized Singleton getInstance(){
if (instance == null) {
instance = new Singleton();
}
return instance;
}
}
这样有一个问题:当一个线程进入该方法之后,其它线程试图进入该方法都必须等待,因此性能上有一定的损耗。
3. 双重校验锁【线程安全】
加锁的懒汉模式似乎既解决了线程并发的问题,又实现了延迟加载,然而它存在着性能问题。synchronized修饰的同步方法比一般方法要慢很多,如果多次调用getInstance()方法,累积的性能损耗就比较大了。于是就有了双重校验锁,首先判断instance是否已经被实例化了,如果没有,那么才对实例化语句进行加锁,代码实现如下:
public class Singleton {
private static Singleton instance = null;
private Singleton(){
}
public static Singleton getInstance(){
if (instance == null) {
synchronized (Singleton.class){
if (instance == null) {
instance = new Singleton();
}
}
}
return instance;
}
}
可以看到,在同步代码块外多了一层instance为空的判断。由于单例对象只需要创建一次,如果后面再次调用getInstance()方法只需要直接返回。因此,在大部分情况下,调用getInstance()都不会执行到同步代码块,从而提高了程序性能。不过还需要考虑一种情况,假如有两个线程A和B,线程A执行了if判断语句,它认为单例对象没有创建,此时线程切到B也执行了同样的语句,B也认为单例对象没有创建,然后两个线程依次执行同步代码块,并分别创建了一个单例对象。为了解决这个问题,还需要在同步代码块中添加if(instance==null)语句,即上面看到的代码。
双重校验锁既实现了延迟加载,又解决了线程并发问题,同时还解决了执行效率问题。但仍然存在一个问题。
这里要提到Java中的指令重排优化。所谓指令重排优化是指在不改变原语义的情况下,通过调整指令的执行顺序让程序运行的更快。简单来说,就是计算机为了提高执行效率会做的一些优化,在不影响最终结果的情况下,可能会对一些语句的执行顺序进行调整。JVM中并没有规定编译器优化相关的内容,也就是说JVM可以自由的进行指令重排序的优化。
这个问题的关键就在于指令重排优化的存在,导致初始化Singleton和将对象地址赋给instance字段的顺序是不确定的。在某个线程创建单例对象时,在构造方法被调用之前,就为该对象分配了内存空间并将对象的字段设置为默认值。此时就可以将分配的内存地址赋值给instance字段了,然而该对象可能还没有初始化。若紧接着另外一个线程来调用getInstance,取到的就是状态不正确的对象,程序就会出错。
具体来讲,instance = new Singleton(); 这条语句其实是分为三步执行:
分配内存空间 —> 初始化对象 —> 将引用指向分配的内存地址
但是由于JVM具有指令重排的特性,后两步执行顺序有可能发生变化,这在单线程的情况下自然是没有问题的,但如果是多线程,就可能出现B线程获得的是一个还没有被初始化的对象,致使程序出错。
以上就是双重校验锁会失效的原因,不过还好在JDK1.5及之后版本增加了volatile关键字。volatile的一个语义是禁止指令重排序优化,也就保证了instance变量被赋值的时候对象已经是初始化过的,从而避免了上面说到的问题。代码如下:
public class Singleton {
private static volatile Singleton instance = null;
private Singleton(){
}
public static Singleton getInstance(){
if (instance == null) {
synchronized (Singleton.class){
if (instance == null) {
instance = new Singleton();
}
}
}
return instance;
}
}
4. 静态内部类【线程安全】
public class Singleton {
private static class SingletonHolder{
public static final Singleton INSTANCE = new Singleton();
}
private Singleton(){
}
public static Singleton getInstance(){
return SingletonHolder.INSTANCE;
}
}
这种方式与饿汉模式一样,也是利用了类加载机制,因此不存在多线程并发的问题。所不同的是,它是在内部类里面去创建对象实例。这样的话,只要应用中不使用内部类,JVM就不会去加载这个单例类,也就不会创建单例对象,从而实现懒汉式的延迟加载。也就是说这种方式可以同时保证延迟加载和线程安全。
从内部看是一个饿汉式的单例,但是从外部看,又的确是懒汉式的实现!
5. 枚举【线程安全】
public enum Singleton {
INSTANCE;
public void whateverMethod() {
//do something
}
}
枚举除了线程安全和防止反射调用构造器之外,还提供了自动序列化机制,防止反序列化的时候创建新的对象。
参考文章:https://blog.csdn.net/goodlixueyong/article/details/51935526