如何实现一个线程安全的单例类(双重检查锁)

梦芳大大_9448

梦芳大大_9448

2026-01-21

667人浏览

原创

双重检查锁实现单例需用volatile修饰实例,防止指令重排序导致线程看到未初始化对象;标准写法含两次null检查与synchronized块;推荐静态内部类或枚举替代。

如何实现一个线程安全的单例类(双重检查锁)

用双重检查锁(Double-Checked Locking)实现线程安全的单例,核心是减少同步开销,同时保证实例只被创建一次且可见性正确。关键在于 volatile 修饰实例变量,防止指令重排序导致其他线程看到未初始化完成的对象。

为什么需要 volatile

在没有 volatile 时,JVM 可能将单例对象的构造过程(分配内存 → 初始化 → 赋值给静态引用)重排序为:分配内存 → 赋值给静态引用 → 初始化。此时另一个线程可能读到非 null 的引用,但对象尚未初始化完毕,造成空指针或异常状态。

加上 volatile 后,禁止了该重排序,并确保后续读操作能看到初始化后的全部字段值(happens-before 语义)。

标准双重检查锁写法(Java)

以下是推荐的实现方式:

Alibabacloud Sdk Client Initialization For Java
Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

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

注意点:

  • 构造函数必须私有,防止外部 new 实例
  • instance 必须用 volatile 修饰,不可省略
  • 两个 if (instance == null) 缺一不可:外层避免不必要的同步,内层防止重复创建
  • synchronized 锁的是类对象(Singleton.class),确保全局唯一锁

其他安全且更简洁的替代方案

双重检查锁虽经典,但易出错。以下方式更推荐:

  • 静态内部类(推荐):利用类加载机制保证线程安全与懒加载,无同步开销
  • 枚举单例:天然线程安全、防反射/反序列化攻击,但不支持延迟加载
  • 使用 Holder 模式(即静态内部类):代码简洁,JVM 保证仅在首次调用 getInstance 时才加载内部类并初始化实例

常见误区提醒

以下写法是错误或不安全的:

  • 去掉 volatile —— 可能导致部分线程看到半初始化对象
  • 把 synchronized 加在整个方法上(synchronized static getInstance)—— 效率低,每次调用都阻塞
  • 用普通成员变量代替 static + volatile —— 不满足单例要求
  • 在 getInstance 中直接 new 并赋值,无任何检查 —— 完全非线程安全

双重检查锁不是最简单的方式,但理解它有助于掌握并发编程中的可见性、有序性与同步粒度问题。实际项目中,优先考虑静态内部类或枚举方式。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

java 并发编程

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

509

3

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

2024.03.01

1638

6

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

2025.08.29

3108

10

C++中int、float和double的区别
C++中int、float和double的区别

本专题整合了c++中int和double的区别,阅读专题下面的文章了解更多详细内容。

2025.10.23

564

4

c++中volatile关键字的作用
c++中volatile关键字的作用

本专题整合了c++中volatile关键字的相关内容,阅读专题下面的文章了解更多详细内容。

2025.10.23

654

12

C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

2026.04.23

299

31

class在c语言中的意思
class在c语言中的意思

在C语言中,"class" 是一个关键字,用于定义一个类。想了解更多class的相关内容,可以阅读本专题下面的文章。

2024.01.03

3056

7

python中class的含义
python中class的含义

本专题整合了python中class的相关内容,阅读专题下面的文章了解更多详细内容。

2025.12.06

286

9

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

2023.08.10

3398

6

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
dev.java 官方:Learn Java
dev.java 官方:Learn Java

共0课时 | 0人学习

Java JDBC数据库连接官方教程
Java JDBC数据库连接官方教程

共0课时 | 0人学习