设计模式 - 单例模式

单例模式

1.定义:保证一个类仅有一个实例,并提供一个访问它的全局访问点。

2.补充:类是无状态的。

              Singleton模式用在单线程应用中

               是否已经实例化由实例自己判断,或由它的管理者判断,而不是使用者的责任。

               私有化实例类的构造函数,使的使用者不可能违规来创建单例类的实例。

3.饿汉式单例类

即静态初始化方式,它在类加载时即实例化对象,要提前占用资源,线程安全。

4.懒汉式单例类

  单检查锁定:懒汉式单例类在第一次被引用时实例化,非线程安全,需要做同步处理。但单检查锁定每次调用时都有都锁定开销,效率低。

 双检查锁定:Double-Checked Locking模式,即第一次检查后再锁定,效率高。在检查到实例为null之后进行同步,在同步代码中再检查一次实例是否为null,确保实例尚未创建。意图是优化掉不必要的锁定,这种同步检查最多在实例创建前进行一次,因此不会成为瓶颈。

双重检查锁定模式不能100%保证实例唯一性,加上volatile易变限定符是必要的补充措施,有两个作用:

  • 保证实例引用变量在多个线程中的可见性,以防止出现多次创建实例。
  • 保证实例引用变量在多个线程中的不可重排序,以防止出现使用未初始化的对象。

双重检查锁定模式

Kotlin实现

  • 实现步骤:
    • 主构造方法私有化
    • 通过伴生对象创建实例
    • 使用lazy委托属性实现延迟初始化
  • 线程安全配置:通过LazyThreadSafetyMode.SYNCHRONIZED参数保证线程安全

使用静态内部类持有单例

在Java中使用静态内部类(也称为静态持有者)是推荐的一种方式,因为它既达到了单例的目的,又避免了在单例类被加载时立即实例化单例对象。

因为外部类加载时并不会立即加载内部类,进而不会立即创建内部类中的实例。只有当第一次显示访问内部类时才会加载内部类。

静态内部类类装载‌方式是更简洁安全的实现,无需 volatile 且天然线程安全。

静态内部类方式

  1. 定义一个静态内部类‌,该内部类持有对外部类的唯一实例。
  2. 在外部类中提供一个静态方法‌,该方法返回静态内部类中持有并实例化的单例对象。

登记式,也可以叫做“静态内部类”式。 

  • 只有调用内部类的时候,内部类才开始加载(延时加载)
  • 非静态内部类要依附于外部类,必须创建外部类对象才能使用非静态内部类
  • 静态内部类不用外部类创建对象就可以使用

  • 优点:
    • 线程安全:利用类加载机制
    • 延迟加载:外部类加载时不会立即加载内部类
    • 高效:不需要同步锁

示例代码‌:

// 单例类
public class Singleton {
    // 私有构造函数
    private Singleton() {
    }

    // 静态内部类,持有静态单例对象
    private static class SingletonHolder {
        private static final Singleton INSTANCE = new Singleton();
    }

    // 静态方法,返回静态单例对象
    public static Singleton getInstance() {
        return SingletonHolder.INSTANCE;
    }
}

Kotlin实现

  • 实现方式:
    • 使用伴生对象(companion object)
    • 创建私有对象声明SingletonProvider,其中声明并初始化单例属性
    • 通过lazy委托实现延迟加载
  • 特性对比:
    • 与Java区别:Kotlin使用对象声明替代静态内部类
    • 线程安全:默认使用LazyThreadSafetyMode.SYNCHRONIZED保证线程安全
    • 语法简洁:通过by lazy简化延迟初始化实现
class Singleton4Kotlin private constructor() {
    private object SingletonProvider {
        val holder = Singleton4Kotlin()
    }
    
    companion object {
        val instance: Singleton4Kotlin by lazy { SingletonProvider.holder }
    }
}

优点:

  • 线程安全‌:这种方式是线程安全的,在多线程环境中也能保证单例的唯一性。
  • 延迟加载‌:只有在调用getInstance()方法时,才会加载SingletonHolder类,从而创建Singleton的实例。这种方式也被称为“双重校验锁”模式的变种,但不是双重校验锁的实现方式。
  • 简单‌:实现简单,易于理解。

总结

静态内部类方式是实现单例模式的一种非常高效且简洁的方式,特别适合在需要确保线程安全同时又希望延迟加载实例的情况下使用。这种方法结合了懒加载和线程安全的优点。

为什么需要 volatile 防止指令重排序

在 Java 多线程编程中,‌静态变量若被多个线程共享且涉及对象初始化(如单例模式),确实建议使用 volatile 修饰,以防止因指令重排序导致未完全初始化的对象被其他线程引用‌。

对象创建过程在 JVM 底层并非原子操作,通常分为以下三步:

  1. 分配内存空间
  2. 初始化对象‌(调用构造方法)
  3. 将对象引用赋值给变量

若无 volatile 修饰,JVM 或 CPU 可能为优化性能而将步骤 2 和 3 ‌重排序‌为:
1 → 3 → 2‌,即:

  • 先分配内存;
  • 立即将引用赋值给变量(此时对象尚未初始化);
  • 再执行构造函数初始化。

此时,若另一个线程第一次检查变量,会发现它 ‌不为 null‌,于是直接返回一个 ‌未初始化的“半成品”对象,可能导致空指针异常、数据错误等难以复现的并发 Bug ‌‌。

volatile 如何解决?

volatile 通过以下机制确保安全:

  • 禁止指令重排序‌:在 volatile 变量的写操作前后插入 ‌内存屏障(Memory Barrier)‌,确保初始化操作(步骤 2)必须在引用赋值(步骤 3)之前完成 ‌‌。
  • 保证可见性‌:一个线程完成对象初始化并写入 volatile 变量后,其他线程能立即看到最新值,不会读到缓存中的 null 或部分初始化状态 ‌‌。

典型应用场景:双重检查锁定(DCL)单例模式

public class Singleton {
    private static volatile Singleton instance; // 关键:volatile 修饰

    private Singleton() {}

    public static Singleton getInstance() {
        if (instance == null) { // 第一次检查
            synchronized (Singleton.class) {
                if (instance == null) { // 第二次检查
                    instance = new Singleton(); // 若无 volatile,可能重排序
                }
            }
        }
        return instance;
    }
}

✅ ‌加 volatile‌:确保 instance = new Singleton() 按 ‌分配 → 初始化 → 赋值‌ 顺序执行,避免返回未初始化对象。
❌ ‌不加 volatile‌:在高并发下极可能返回半初始化对象,引发不可预测错误 ‌‌。

补充说明

  • volatile ‌不保证原子性‌,因此不能替代锁(如 synchronized 或 ReentrantLock)用于复合操作(如 count++)‌‌。
  • 在单例模式中,若追求更简洁安全的实现,可考虑 ‌静态内部类‌ 方式,无需 volatile 且天然线程安全 ‌‌:
public class Singleton {
    private Singleton() {}

    private static class Holder {
        private static final Singleton INSTANCE = new Singleton();
    }

    public static Singleton getInstance() {
        return Holder.INSTANCE;
    }
}

总结

  • 静态变量是否需用 volatile 修饰?
    → ‌仅在多线程环境下,该变量涉及对象引用赋值且存在初始化过程时,才需要‌(如 DCL 单例)。
  • 核心目的‌:‌禁止指令重排序,防止未初始化对象被引用‌,同时保证可见性 ‌‌。

单例模式

特点:全局唯一,在整个程序中,只有一个对象。

什么样的类适合单例?

单例可以在其它模式中使用。

  • 全局使用的类
  • 创建和销毁会消耗很多系统资源的类
    • 数据库连接池
    • 工厂类
    • 数据源

应用:

  • Spring的Bean默认情况下是单例
  • 项目中,读取配置文件的类,一般也只有一个对象。没有必要每次使用配置文件数据,每次new一个对象去读取。
  • 应用程序的日志应用,一般都何用单例模式实现,这一般是由于共享的日志文件一直处于打开状态,因为只能有一个实例去操作,否则内容不好追加。
  • 数据库连接池的设计一般也是采用单例模式,因为数据库连接是一种数据库资源。
  • 操作系统的文件系统,也是大的单例模式实现的具体例子,一个操作系统只能有一个文件系统。
  • Application 也是单例的典型应用(Servlet编程中会涉及到)
  • 在servlet编程中,每个Servlet也是单例
  • 在spring MVC框架/struts1框架中,控制器对象也是单例

反射和反序列化都可能破坏单例模式的唯一性

反射和反序列化都可能破坏单例模式的唯一性‌,导致一个类产生多个实例,违背单例设计初衷。

反射如何破坏单例?

  • 单例模式通常通过将构造函数设为 private 来防止外部直接实例化。
  • 但 Java 的反射机制可以在运行时绕过访问控制,‌强制调用私有构造函数‌,从而创建新实例。
Constructor<Singleton> constructor = Singleton.class.getDeclaredConstructor();
constructor.setAccessible(true);
Singleton evilInstance = constructor.newInstance(); // 破坏单例

反序列化如何破坏单例?

  • 如果单例类实现了 Serializable 接口,序列化后通过 ObjectInputStream.readObject() 反序列化时,‌会重新创建一个新对象‌,而非返回原有实例。
  • 原因:反序列化底层使用反射调用无参构造函数(或特殊机制)重建对象,‌不经过 getInstance()‌ ‌‌。
  • 测试结果:序列化前后的对象引用不同,‌破坏单例‌。

如何防止破坏?

防止反射破坏
  • 在构造函数中添加实例检查:
    private Singleton() {
        if (instance != null) {
            throw new RuntimeException("不允许通过反射创建多个实例");
        }
    }
  • 注意‌:此方法对懒汉式单例在多线程下可能失效,因构造函数可能被多次调用 ‌‌。
防止反序列化破坏
  • 在单例类中实现 readResolve() 方法,返回原有实例:
    private Object readResolve() {
        return getInstance();
    }
  • 反序列化时,JVM 会自动调用该方法,‌返回原单例实例‌,而非新建对象 ‌‌。

更优解:使用枚举实现单例

  • 枚举是 Java 中最安全的单例实现方式‌,能天然抵御反射和反序列化破坏 ‌‌。
  • 原因:
    • 枚举类继承自 java.lang.Enum,‌没有无参构造器‌,反射调用 getDeclaredConstructor() 失败。
    • 即使强制反射创建,JVM 会抛出 IllegalArgumentException ‌‌。
    • 反序列化时,通过 Enum.valueOf() 返回‌已有枚举常量‌,不会新建对象 ‌‌。

示例:

public enum Singleton {
    INSTANCE;
    // 其他业务方法
}

✅ ‌推荐‌:若无特殊限制,‌优先使用枚举实现单例‌,简洁且安全 ‌‌。

总结

破坏方式是否可行防护措施推荐方案
反射✅ 是构造函数中抛异常枚举(最安全)
反序列化✅ 是实现 readResolve() 方法枚举(自动防护)

最终建议‌:除非有特殊需求,‌使用枚举实现单例‌,避免手动处理反射和序列化问题

核心优势

  • 线程安全‌:JVM 在类加载时保证枚举实例唯一创建,无需额外同步 ‌‌。
  • 防止反射攻击‌:java.lang.reflect.Constructor 对枚举类型显式禁止通过 setAccessible(true) 创建新实例,会抛出 IllegalArgumentException ‌‌。
  • 防止序列化破坏‌:枚举的序列化机制确保反序列化时始终返回同一个实例(通过 valueOf() 查找,而非新建)‌‌。
  • 代码简洁‌:仅需 1–3 行代码即可完成单例定义,无冗余逻辑 ‌‌。
  • java1.5之后出现 目前推荐实现单例的最佳方式 线程安全 立即初始化 自动支持序列化,防止反序列化创建新的对象 防止反射攻击

适用场景

✅ 全局唯一资源管理(如日志、配置、数据库连接池)
✅ 需防范反射或序列化攻击的系统
✅ 不需要延迟初始化(枚举为‌饿汉式‌加载)

❌ 若需‌懒加载‌,可考虑静态内部类方式 ‌‌
❌ 枚举不能继承其他类(但可实现接口)‌‌

ThreadLocal实现线程内单例

优点: 空间换时间 延时加载

缺点: 只能是在同一个线程中获得的两个对象才是单例

public class Singleton {
    private Singleton() {
    }
    private static ThreadLocal<Singleton> threadLocalSingleton = new ThreadLocal<Singleton>() {
        @Override
        protected Singleton initialValue(){ 
            return new Singleton();
        }
    };
    public static Singleton getInstance(){ 
        return threadLocalSingleton.get();
    }
}

通过CAS实现单例

缺点: 可能会产生垃圾对象

上述几种单例模式的比较

  • 饿汉式:线程安全、反射不安全、反序列化不安全、非延时加载。
  • 懒汉式:线程不安全、反射不安全、反序列化不安全、延时加载。
  • 双重检测锁:线程安全、反射不安全、反序列化不安全、延时加载。
  • 登记式:线程安全、反射安全、反序列化不安全、延时加载。
  • 枚举式:线程安全、反射安全、反序列化安全、非延时加载。
  • ThreadLocal:不加锁,以空间换时间,为每个线程提供独立副本,可以保证各自线程是单例的,但是不同线程之间不是单例的。
  • CAS:无锁乐观策略,线程安全。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值