怎么通过volatile禁止指令重排序防止单例模式初始化踩坑-java教程-PHP中文网

volatile的核心作用是禁止jvm和cpu对instance初始化指令重排序，防止线程获取到未构造完成的对象；其通过写屏障确保分配内存和初始化在赋值前完成。

怎么通过volatile禁止指令重排序防止单例模式初始化踩坑

在双重检查锁定（Double-Checked Locking）单例模式中，volatile 的核心作用不是保证可见性本身，而是**禁止 JVM 和 CPU 对 instance 初始化相关的指令重排序**，从而避免线程拿到一个“尚未构造完成”的对象引用。

为什么没加 volatile 会出问题？

不加 volatile 时，JVM 可能将以下三步操作重排序：

1. 分配内存空间（memory = allocate()）
2. 初始化对象（ctor(memory)）
3. 将 instance 引用指向该内存（instance = memory）

正常顺序是 1→2→3，但编译器或处理器可能优化为 1→3→2。此时，若线程 A 执行到第 3 步就切换，线程 B 进入 if (instance == null) 判断，发现 instance 不为 null，直接返回这个引用——但对象还没初始化完（字段仍为默认值），导致 NPE 或逻辑错误。

volatile 是如何阻止重排序的？

volatile 写操作具有「写屏障」语义：

禁止其之前的任何读写操作被重排序到它之后
禁止其之后的任何读写操作被重排序到它之前

所以当把 instance 声明为 volatile 后，JVM 必须保证：new 操作的「分配内存」和「初始化对象」一定在「赋值给 instance」之前完成，彻底堵住 1→3→2 这类危险重排序。

正确写法与关键细节

标准双重检查单例（以懒汉式为例）：

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;
    }
}

注意点：