主要分为两种:
- 直接初始化
- 延迟初始化
直接初始化
直接初始化final静态成员
线程安全:JVM保证final静态成员只会被初始化一次
公有静态成员是个final域,直接引用成员获取单例
1 | /** |
公有的成员是个静态工厂方法,通过该方法获取单例。
提供了灵活性,在不改变API的前提下,可以改变该类是否应该为单例的想法。
比如改成为每个调用该方法的线程返回一个唯一的实例(ThreadLocal<T>
)
1 | /** |
包含单个元素的枚举类型(enum)
由枚举类型的性质保证枚举常量INSTANCE
是唯一实例1
2
3
4
5
6
7
8
9
10
11
12/**
* 一个包含单个元素的枚举类型
* 枚举类型保证每个枚举常量都是一个单例
*/
public enum EnumSingleton {
INSTANCE;
public void someMethod() { /** .... */}
public static void main(String[] args) {
EnumSingleton.INSTANCE.someMethod();
}
}
延迟初始化
直接在静态工厂方法上加 synchronized
。缺点:每次调用都有线程开销
1 | /** |
lazy initialization holder class 模式。(参考《Effective Java》第71条:慎用延迟初始化
优点:避免同步方法的开销。getInstance
第一次被调用时,读取SingletonHolder.field
,导致SingletonHolder
类得到初始化1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17/**
* lazy initialization holder class 模式
* 避免同步方法的开销
*/
public class LazyInitSingleton2 {
private static class SingletonHolder {
static final LazyInitSingleton2 field = computeFieldValue();
private static LazyInitSingleton2 computeFieldValue() {
return new LazyInitSingleton2();
}
}
private LazyInitSingleton2() {}
public static LazyInitSingleton2 getInstance() {
return SingletonHolder.field;
}
}
双重检测,降低同步方法开销。(参考《Effective Java》第71条:慎用延迟初始化)
INSTANCE 使用 volatile 修饰符:防止JVM的即时编译器对INSTANCE = new LazyInitSingleton3()
操作进行指令重排序。
1 | /** |
为什么INSTANCE要使用volatile
修饰符
在JVM中,new操作做了下面3件事:
- 给要
new
的对象LazyInitSingleton3
分配内存空间 - 调用
LazyInitSingleton3
的构造函数来初始化对象 - 将INSTANCE指向步骤1中分配的内存空间
由于JVM存在指令重排序的优化,上面第2步和第3步顺序是无法保证的(1-2-3或者1-3-2)。
如果执行步骤是1-3-2,那么假设线程A执行到第3步,但第2步还未执行,此时线程B调用getInstance()
发现INSTANCE
非空(但未被初始化),直接返回INSTANCE
,之后线程B对INSTANCE
操作可能会发生错误(由于对象还未被初始化)。volatile
修饰符防止指令重排序的优化,保证执行顺序是1-2-3。