Java 实现单例模式的双重检查锁定存在的问题代码详解

本篇博文，我将就上述这段代码存在 的不安全的双重检查锁定（Dual-Checked Locking）问题，在多线程环境下可能导致返回一个未完全初始化的Helper对象，详细介绍一下——

主要问题

1.指令重排序问题

在helper = new Helper();这一行，JVM 可能会进行指令重排序，导致以下执行顺序：

1. 分配内存空间
2. 将引用赋值给helper（此时对象还未初始化）
3. 执行构造函数初始化对象

如果另一个线程在步骤2之后、步骤3之前进入getHelper()方法，会看到helper != null，从而返回一个未完全初始化的对象。

2.内存可见性问题

helper变量没有使用volatile关键字修饰，一个线程对helper的写入可能对其他线程不可见，导致其他线程看不到最新的值。

正确的解决方案

方案1：使用 volatile（Java 5+）

classSingleton{privatevolatileHelperhelper=null;publicHelpergetHelper(){if(helper==null){synchronized(this){if(helper==null){helper=newHelper();}}}returnhelper;}}

方案2：使用静态内部类（推荐）

classSingleton{privatestaticclassHelperHolder{privatestaticfinalHelperINSTANCE=newHelper();}publicstaticHelpergetHelper(){returnHelperHolder.INSTANCE;}}

方案3：使用枚举（最简洁）

enumSingleton{INSTANCE;privatefinalHelperhelper=newHelper();publicHelpergetHelper(){returnhelper;}}

方案4：直接使用同步方法（简单但性能稍差）

classSingleton{privateHelperhelper=null;publicsynchronizedHelpergetHelper(){if(helper==null){helper=newHelper();}returnhelper;}}

总结

原代码的主要问题是缺少volatile关键字，这会导致指令重排序和内存可见性问题。在 Java 5 之前，双重检查锁定根本无法正确工作。建议使用静态内部类或枚举方式实现单例，这些方式既安全又简洁。