volatile是DCL单例必需的修饰符，用于保证可见性和禁止指令重排序，防止多线程下返回未初始化完成的对象；漏写volatile会导致“引用提前暴露”问题。
在双重检查锁定（DCL）单例模式中，volatile关键字不是可选项，而是**必须添加的关键修饰符**，否则会导致多线程环境下可能返回未完全初始化的对象实例。
为什么需要 volatile？
DCL 的核心逻辑是：第一次调用时加锁创建实例，后续调用直接返回已创建的实例。但若不加 volatile，JVM 可能因指令重排序，让其他线程看到一个“已分配内存但尚未完成构造”的对象引用——即引用不为 null，但内部字段仍是默认值（如 int=0、Object=null），造成诡异的空指针或逻辑错误。
volatile 能同时提供两方面保障：
- 可见性：确保一个线程对 instance 的写操作对其他线程立即可见；
- 禁止重排序：禁止 JVM 将 new Singleton() 的三步（分配内存 → 初始化对象 → 将引用赋值给 instance）中的第2、3步重排，从而杜绝“引用提前暴露”问题。
正确写法示例
以下是标准、安全的 DCL 单例实现：
public class Singleton {
private static volatile Singleton instance;
private Singleton() {}
public static Singleton getInstance() {
if (instance == null) { // 第一次检查（无锁）
synchronized (Singleton.class) {
if (instance == null) { // 第二次检查（加锁后）
instance = new Singleton(); // 关键：volatile 保证此处安全
}
}
}
return instance;
}
}
注意：volatile 必须修饰 instance 字段本身，不能放在方法或构造器上；且 不能省略 synchronized 块内的第二次判空，否则无法避免重复初始化。
常见错误写法
- 漏写 volatile：导致重排序风险，是 DCL 最典型的 bug；
- 把 volatile 加在 getInstance 方法上（无效，Java 不允许）；
- 用 static final 替代 volatile（不可行，final 要求编译期确定值，而 DCL 是运行时延迟初始化）；
- 去掉内层 if 判断（会破坏单例语义，每次都要加锁，失去 DCL 意义）。
替代方案提醒
如果追求更简洁、绝对安全的单例，推荐使用静态内部类方式（利用类加载机制保证线程安全且无同步开销），或枚举单例（天然防反射、序列化攻击）。DCL + volatile 虽然可行，但对理解内存模型要求高，容易写错。
