Java设计模式——单例模式（创建型模式）

概述

单例模式保证对于每一个类加载器，一个类仅有一个实例并且提供全局的访问。其是一种对象创建型模式。对于单例模式主要适用以下几个场景：

系统只需要一个实例对象，如提供一个唯一的序列号生成器
客户调用类的单个实例只允许使用一个公共访问点，除了该公共访问点，不能通过其他途径访问该实例

单例模式的缺点之一是在分布式环境中，如果因为单例模式而产生 bugs，那么很难通过调试找出问题所在，因为在单个类加载器下进行调试，并不会出现问题。

实现方式

一般来说，实现有五种方式：饿汉式、懒汉式、双重锁检验、静态内部类、枚举，而这里我将这五种方式分为三部分来介绍。

饿汉式加载

public final class Singleton {

    //私有构造器，所以无法实例化类对象

    private Singleton() {}

    //类静态实例域

    private static final Singleton INSTANCE = new Singleton();

    //返回类实例

    public static Singleton getInstance() {

        return INSTANCE;

    }

}

直接初始化静态实例保证了线程安全，但是此种方式不是懒加载的，单例一开始就初始化了，无法在我们需要的时候再进行初始化。

懒汉式加载

//实例在这个方法第一次被调用的时候进行初始化

public static synchronized Singleton getInstance() {

    if (instance == null) {

        instance = new Singleton();

    }

    return instance;

}

getInstance()方法设置为synchronized保证了线程安全，但是其效率并不高，因为在任何时候只有一个线程能够访问这个方法，而同步操作仅需在第一次被调用的时候才被需要。

此方法的一种改进是使用双重检验锁。

public final class ThreadSafeDoubleCheckLocking {

    private static volatile ThreadSafeDoubleCheckLocking instance;

    private ThreadSafeDoubleCheckLocking() {}

    public static ThreadSafeDoubleCheckLocking getInstance() {

        //局部变量可以提高25%的性能，这个局部变量确保instance只在已经被初始化的情况下读取一次

        //《Effective Java 第2版》P250页

        ThreadSafeDoubleCheckLocking result = instance;

        //检查实例是否已经别初始化

        if (result == null) {

            //未被初始化，但是无法确定这时其他线程是否已经对其初始化，因此添加对象锁进行互斥

            synchronized (ThreadSafeDoubleCheckLocking.class) {

                //再一次将instance赋值给局部变量来进行检查，因为有可能在当前线程阻塞的时候，其他线程对instance进行初始化

                result = instance;

                if (result == null) {

                    //此时还未被初始化的话，在这里初始化可以保证线程安全

                    instance = result = new ThreadSafeDoubleCheckLocking();

                }

            }

        }

        return result;

    }

}

上面的双重检验锁使用了《Effective Java 第2版》提出的一个优化方式，另外值得一提的是，对于instance域被声明为volatile是很重要的。当一个变量定义为volatile之后，它就具备了两种特性，第一是保证了此变量对所有线程的可见性，“可见性”指的是当一条线程修改了这个变量的值，新值对于其他线程来说是可以立即得知的（注意基于volatile变量的运算在并发编程下并非是安全的，例如：假设被volatile修饰的域进行自增运算，而自增运算并不是原子操作，那么第二个线程就可能在读取旧值和写回新值的期间读取到这个域，导致第二个线程看到的值与第一个线程未自增前的值一样，详细了解的话可查看《深入理解Java虚拟机第2版》P366 基于volatile型变量的特殊规则）；第二是禁止指令重排序优化。

在进行初始化的时候instance = result = new ThreadSafeDoubleCheckLocking()，此时 JVM 大致做了三件事：

1.给instance分配内存
2.调用构造函数进行初始化
3.instance对象指向被分配的内存

没有声明为volatile，那么指令重排序后，可能执行的顺序是 1-3-2，当线程一执行到3这个步骤，还未执行步骤2（instance非null，但未初始化），那么对于线程二，此时检测到 instance 并非是 null，直接返回 instance，就会出现错误。需要说明的一点是，JDK 1.5以后，volatile才真正发挥用处，因此在1.5以前，仍然是无法保证安全的，具体可查看 The "Double-Checked Locking is Broken" Declaration.

另外一种懒加载方式就是使用静态内部类的方法：

public final class InitializingOnDemandHolderIdiom {

    private InitializingOnDemandHolderIdiom() {}

    public static InitializingOnDemandHolderIdiom getInstance() {

        return HelperHolder.INSTANCE;

    }

    private static class HelperHolder {

        private static final InitializingOnDemandHolderIdiom INSTANCE =

                new InitializingOnDemandHolderIdiom();

    }

}

这种方式是线程安全的，同时也是懒加载的。HelperHolder是私有的，除了getInstance()外没有办法访问。这种方式不需要依赖其他语言特性（volatile，synchronized），也不依赖JDK版本。

枚举

《Effective Java 第2版》P15 中提到实现单例的一种新方式，使用枚举来实现单例。枚举类型是Java 5中新增特性的一部分，因此使用这种方式实现的枚举，要求至少是 JDK 1.5版本及其以上。枚举本身保证了线程安全，并且提供了序列化机制，因此这种方式写起来极为简洁。

public enum Singleton {

    INSTANCE;

}

当然，对于使用枚举来实现单例模式也有一些缺点，具体可以查看 StackExchange 的讨论。

典型使用场景

日志纪录类
管理与数据库的连接
文件管理系统

具体实例

java.lang.Runtime#getRuntime()

java.awt.Desktop#getDesktop()

java.lang.System#getSecurityManager()

参考资料

java-design-patterns
《Effective Java 第2版》