设计模式之单例模式

本文主要介绍单例模式的定义，几种写法及各种写法优缺点。

单例模式

 定义：单例模式，顾名思义就是：一个类只有一个实例对象，并为其他类提供全局访问点。

写法实现

• 饿汉模式

/**
* 饿汉模式(创建类实例时就去创建对象)
* 线程安全，耗费资源
*/
class Singleton{
    private static Singleton instance = new Singleton();
    private Singleton(){


        }
        public Singleton getInstance(){
        return instance;
        }
    }

优点：线程安全，类加载的同时就创建好实例对象，加载速度快；

缺点：资源效率不高，有可能getInstance方法永远都不会执行，但执行该类的静态方法或者加载了该类，那么这个实例仍然初始化。

饿汉模式在类被初始化时就已经在内存中创建了对象，以空间换时间，故不存在线程安全问题。

• 懒汉模式

线程不安全

/**
* 懒汉模式（有需要时才去创建对象）（线程不安全）
* 线程不安全原因：若当两个线程调用getInstance方法，则会生成两个不同的实例对象
*/
class Singleton {
    private static Singleton instance;
    private Singleton() {


    }
    private Singleton getInstance() {
        if (instance == null) {
            instance = new Singleton();
        }
        return instance;
    }
}

优点：只在第一次调用时才会使用，一定程度上节省了资源；

缺点：第一次加载需要进行实例化，加载慢，线程不安全。

懒汉模式在方法被调用后才创建对象，以时间换空间，在多线程环境下存在风险。

线程安全

/**
* 懒汉模式（线程安全）
* 加锁保证线程安全,但是当多个线程调用getInstance方法时，一个线程调用时时，其他线程只能等待，消耗资源；
*/
class Singleton{
    private static Singleton instance;
    private Singleton(){


    }
    private synchronized Singleton getInstance(){
        if(instance == null){
            instance = new Singleton();
        }
        return instance;
    }
}

优点：只在第一次调用时才会使用，一定程度上节省了资源；

缺点：第一次加载需要进行实例化，加载慢，在调用getInstance方法时，每次都要进行同步，实际上不一定每次都需要同步，造成不必要的开销。

• 双重检查模式

/**
* 双重检查锁模式（同步代码块）
* 第一检查，是为了确保之前是空对象，非空对象就不用同步了，空对象进入同步代码块，而若不进行第二次检查，
* 则一个线程在调用时，另一个线程在等待，会创建两个实例对象，故空对象进入同步代码块后再进行空对象检查，
* 保证多个线程创建一个对象；
*/
class Singleton{
    //由于指令重排序问题，可能导致线程不安全，所以加上了volatile关键字
    private static volatile Singleton instance;
    private Singleton(){

    }
    private Singleton getInstance(){
        if(instance == null){
            synchronized (Singleton.class){
                if(instance == null){
                    instance = new Singleton();
                }
            }
        }
        return instance;
    }
}

优点：能在需要时才进行实例化，线程安全，单例对象调用getInstance方法不用进行同步，资源利用率高（每次getInstance时，才实例化）；

缺点：第一次加载反应稍慢，也由于Java内存模型的原因偶尔会失败，在高并发环境下也有一定的缺陷；

DCL模式的优点就是，只有在对象需要被使用时才创建，第一次判断 INSTANCE == null为了避免非必要加锁，当第一次加载时才对实例进行加锁再实例化。这样既可以节约内存空间，又可以保证线程安全。但是，由于jvm存在乱序执行功能，DCL也会出现线程不安全的情况。具体分析如下：

INSTANCE  = new SingleTon(); 
这个步骤，其实在jvm里面的执行分为三步：

1. 在堆内存开辟内存空间。
2. 在堆内存中实例化SingleTon里面的各个参数。
3. 把对象指向堆内存空间。

由于jvm存在乱序执行功能，所以可能在2还没执行时就先执行了3，如果此时再被切换到线程B上，由于执行了3，INSTANCE 已经非空了，会被直接拿出来用，这样的话，就会出现异常。这个就是著名的DCL失效问题。

不过在JDK1.5之后，官方也发现了这个问题，故而具体化了volatile，即在JDK1.6及以后，只要定义为private volatile static SingleTon  INSTANCE = null;就可解决DCL失效问题。volatile确保INSTANCE每次均在主内存中读取，这样虽然会牺牲一点效率，但也无伤大雅。

• 静态内部类单例模式

/**
* 静态内部类单例模式
* 利用静态内部类，某个线程在调用该方法会创建一个实例对象
*/
class Singleton{
    private static class SingletonHolder{
        private static Singleton instance = new Singleton();
    }
    private Singleton(){


    }
    private Singleton getInstance(){
        return SingletonHolder.instance;
    }
}

优：确保线程安全，也能够保证单例对象的唯一性，同时也延迟了单例的实例化，所以这是推荐使用的单例模式实现方式 。

静态内部类的优点是：外部类加载时并不需要立即加载内部类，内部类不被加载则不去初始化INSTANCE，故而不占内存。即当SingleTon第一次被加载时，并不需要去加载SingleTonHoler，只有当getInstance()方法第一次被调用时，才会去初始化INSTANCE,第一次调用getInstance()方法会导致虚拟机加载SingleTonHoler类，这种方法不仅能确保线程安全，也能保证单例的唯一性，同时也延迟了单例的实例化。

那么，静态内部类又是如何实现线程安全的呢？首先，我们先了解下类的加载时机。

类加载时机：JAVA虚拟机在有且仅有的5种场景下会对类进行初始化。
1.遇到new、getstatic、setstatic或者invokestatic这4个字节码指令时，对应的java代码场景为：new一个关键字或者一个实例化对象时、读取或设置一个静态字段时(final修饰、已在编译期把结果放入常量池的除外)、调用一个类的静态方法时。
2.使用java.lang.reflect包的方法对类进行反射调用的时候，如果类没进行初始化，需要先调用其初始化方法进行初始化。
3.当初始化一个类时，如果其父类还未进行初始化，会先触发其父类的初始化。
4.当虚拟机启动时，用户需要指定一个要执行的主类(包含main()方法的类)，虚拟机会先初始化这个类。
5.当使用JDK 1.7等动态语言支持时，如果一个java.lang.invoke.MethodHandle实例最后的解析结果REF_getStatic、REF_putStatic、REF_invokeStatic的方法句柄，并且这个方法句柄所对应的类没有进行过初始化，则需要先触发其初始化。
这5种情况被称为是类的主动引用，注意，这里《虚拟机规范》中使用的限定词是"有且仅有"，那么，除此之外的所有引用类都不会对类进行初始化，称为被动引用。静态内部类就属于被动引用的行列。

 

我们再回头看下getInstance()方法，调用的是SingleTonHoler.INSTANCE，取的是SingleTonHoler里的INSTANCE对象，跟上面那个DCL方法不同的是，getInstance()方法并没有多次去new对象，故不管多少个线程去调用getInstance()方法，取的都是同一个INSTANCE对象，而不用去重新创建。当getInstance()方法被调用时，SingleTonHoler才在SingleTon的运行时常量池里，把符号引用替换为直接引用，这时静态对象INSTANCE也真正被创建，然后再被getInstance()方法返回出去，这点同饿汉模式。那么INSTANCE在创建过程中又是如何保证线程安全的呢？在《深入理解JAVA虚拟机》中，有这么一句话:

 虚拟机会保证一个类的<clinit>()方法在多线程环境中被正确地加锁、同步，如果多个线程同时去初始化一个类，那么只会有一个线程去执行这个类的<clinit>()方法，其他线程都需要阻塞等待，直到活动线程执行<clinit>()方法完毕。如果在一个类的<clinit>()方法中有耗时很长的操作，就可能造成多个进程阻塞(需要注意的是，其他线程虽然会被阻塞，但如果执行<clinit>()方法后，其他线程唤醒之后不会再次进入<clinit>()方法。同一个加载器下，一个类型只会初始化一次。)，在实际应用中，这种阻塞往往是很隐蔽的。

故而，可以看出INSTANCE在创建过程中是线程安全的，所以说静态内部类形式的单例可保证线程安全，也能保证单例的唯一性，同时也延迟了单例的实例化。

那么，是不是可以说静态内部类单例就是最完美的单例模式了呢？其实不然，静态内部类也有着一个致命的缺点，就是传参的问题，由于是静态内部类的形式去创建单例的，故外部无法传递参数进去，例如Context这种参数，所以，我们创建单例时，可以在静态内部类与DCL模式里自己斟酌。

• 枚举实现

/**
* 枚举模式
* 这种方式能避免多线程同步问题，而且可以防止反序列化重新创建对象（使用不多）
*/
enum  Singleton{
    INSTANCE;
    public void method(){

    }
}

枚举在java中与普通类一样，都能拥有字段与方法，而且枚举实例创建是线程安全的，在任何情况下，它都是一个单例。我们可直接以

SingleTon.INSTANCE

的方式调用。

 由于设计模式在面向对象程序设计中有着举足轻重的作用，在面试中也会经常涉及到，而单例模式使用较少的代码就能实现的，考察较多。

参考：https://blog.csdn.net/mnb65482/article/details/80458571