详解Java中如何正确书写单例模式

详解Java中如何正确书写单例模式

单例模式算是设计模式中最容易理解，也是最容易手写代码的模式，但是其中涉及的知识点却一点也不少，所以经常作为面试题来考。一般单例都是五种写法：懒汉，饿汉，双重校验锁，静态内部类和枚举。为了记录学习过程的过程，这里整理了几种常见的单例写法，

青铜5：（Lazy-loaded，但线程不安全）

当被问到要实现一个单例模式时，很多人的第一反应是写出如下的代码，包括教科书上也是这样教我们的。

public class Singleton {

private static Singleton instance;

private Singleton(){}

public static Singlhttp://eton getInstance() {

if (instance == null) {

instance = new Singleton();

}

return instance;

}

}

这段代码简单明了，而且使用了延迟加载模式，但是线程不安全。多线程环境下调用 getInstance() 方法，可能会发生多个线程进入if语句的程序代码块。

懒汉式：synchronized（Lazy-loaded，线程安全，但不高效）

为了解决上面的问题，最简单的方法是将整个 getInstance() 方法设为同步（synchronized）。

public class Singleton {

private static Singleton instance;

private Singleton() {}

public static synchronized Singleton getInstance() {

if (instance == null) {

instance = new Singleton();

}

return instance;

}

}

虽然做到了线程安全、延迟加载，但是它并不高效。因为在任何时候只能有一个线程调用 getInstance() 方法。但是synchronized操作只需要在第一次调用时才被需要，即第一次创建单例实例对象时。这种模式导致即使在单例创建完成后，每次依然只有一个线程可以访问getInstance（）方法，会导致潜在的性能问题。这就引出了双重检验锁。

饿汉式：static final field（非Lazy-loaded）

这种方法非常简单，因为单例的实例被声明成 static final，在第一次加载类到内存中时就会初始化，所以创建实例对象是线程安全的（由JVM实现保证）。

public class Singleton{

//类加载时就初始化

private static final Singleton instance = new Singleton();

private Singleton(){}

public static Singleton getInstance(){ // Singleton with static factory

return instance;

}

}

它不是一种懒加载模式，instance会在加载类后一开始就被初始化，即使客户端没有调用 getInstance()方法。这会导致一些使用限制：譬如 Singleton 实例的创建是依赖参数或者配置文件的，在 getInstance() 之前必须调用某个方法设置参数给它，那样这种单例写法就无法使用了。类似的方法还有：

public class Singleton{

public static final Singleton instance = new Singleton(); // Singleton with public final field

private Singleton(){}

}

// 第14页讲诉了两者的差异

双重检验锁 + volatile（Lazyload，线程安全，但晦涩）

双重检验锁模式（double checked locking pattern），是一种使用同步块加锁的方法。程序员称其为双重检查锁，因为会有两次检查 instance == null，一次是在同步块外，一次是在同步块内。为什么在同步块内还要再检验一次？因为可能会有多个线程一起进入同步块外的 if，如果在同步块内不进行二次检验的话就会生成多个实例对象了。

public static Singleton getSingleton() {

if (instance == null) { //Single Checked

synchronized (Singleton.class) {

if (instance == null) { //Double Checked

instance = new Singleton();

}

}

}

return instance ;

}

这段代码看起来很完美，很可惜它是有问题的。主要在于instance = new Singleton()这句，这并非是一个原子操作，事实上在 JVM 中这句话大概做了下面 3 件事情。

给 instance 分配内存

调用 Singleton 的构造函数来初始化成员变量

将instance对象指向分配的内存空间（执行完这步 instance 就为非 null 了）

但是在 JVM 的JIT编译器中存在指令重排序的优化。也就是说上面的第二步和第三步的顺序是不能保证的，最终的执行顺序可能是 1-2-3 也可能是 1-3-2。如果是后者，则在 3 执行完毕、2未执行之前，被线程二抢占了，这时 instance 已经是非 null 了（但却没有初始化），所以线程二会直接返回 instance，然后使用，然后顺理成章地报错。为此，我们需要将 instance 变量声明成 volatile 。

public class Singleton {

private volatile static Singleton instance; //声明为 volatile

private Singleton(){}

public static Singleton getSingleton() {

if (instance == null) {

synchronized (Singleton.class) {

if (instance == null) {

instance = new Singleton();

}

}

}

return instance;

}

}

但是特别注意在 Java 1.5 以前的版本使用了 volatile 的双检锁还是有问题的，这个问题在 Java 1.5 中才得以修复，所以在这之后才可以放心使用 volatile。

静态内部类：IoDH，initialization-on-demand holder

这个模式综合使用了Java的静态内部类和多线程缺省同步锁的知识，很巧妙地同时实现了延迟加载和线程安全。

public class Singleton {

private Singleton() {}

private static class LazyHolder {

private static final Singleton INSTANCE = new Singleton();

}

public static Singleton getInstance() { // From wikipedia

return LazyHolder.INSTANCE;

}

}

多线程缺省同步锁

大家都知道，在多线程开发中，为了解决并发问题，主要是通过使用synchronized来加互斥锁进行同步控制。但是在某些情况中，JVM已经隐含地为您执行了同步，这些情况下就不需要手动进行同步控制了。这些情况包括：

1.由静态初始化器（在静态字段上或static{}块中的初始化器）初始化数据时

2.访问final字段时

3.在创建线程之前创建对象时

4.线程可以看见它将要处理的对象时

枚举 Enum

从Java 1.5起，只需编写一个包含单个元素的枚举类型：

public enum Singleton {

INSTANCE;

}

这种方法在功能上与公有域方法相近，但是它更加简洁http://，无偿地提供了序列化机制，绝对防止多次实例化，即使是在面向复杂的序列化或者反射攻击的时候。虽然这种方法还没有广泛采用，但是单元素的枚举类型以及成为实现Singleton的最佳方法。

--------------------以下是几个细节存疑的实现方法---------------------

1.static final到底有哪些细节

2.static field处的赋值初始化到底和static代码块有先后吗?

3.静态内部类的单例模式到底怎么写

4.P50 in Java EE设计模式解析与应用中的例子真的有Lazyload效果吗?

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。