不可变对象指创建后状态不可更改的对象,如String、Integer等,通过final类、private final字段、无setter、构造函数初始化及防御性拷贝实现;因其状态不变,多线程读取时无需同步控制,避免了竞争条件,确保数据一致性与线程安全。

不可变对象在Java中通过其状态一旦创建后就不能被修改的特性,来保证线程安全和数据一致性。这种设计天然避免了多线程环境下的竞争条件,是构建安全并发程序的重要手段。
什么是不可变对象
一个类的对象在创建之后,其内部状态不能再被改变,这样的对象称为不可变对象。Java 中典型的例子是 String、Integer 等包装类。
要创建不可变对象,需满足以下几点:
- 类声明为 final,防止被继承修改行为
- 所有字段用 private 和 final 修饰
- 不提供任何可以修改字段的 setter 方法或可变接口
- 在构造函数中完成所有字段的初始化,且不泄漏 this 引用
- 如果包含可变对象字段(如数组、集合),必须进行深拷贝,并在访问时返回副本而非原始引用
为何不可变对象是线程安全的
由于对象的状态在创建后不再变化,多个线程同时读取该对象不会导致数据不一致问题,不需要额外的同步控制。
立即学习“Java免费学习笔记(深入)”;
具体体现在:
- 没有写操作,就不会有写-写冲突或读-写干扰
- 无需使用 synchronized 或 volatile 来保护字段
- 可以在不同线程间自由共享,不必担心状态被意外修改
实际应用中的安全性保障
以 String 为例,它被广泛用于多线程环境中作为键(key)或配置值,正是因为它的不可变性确保了哈希码的一致性和缓存的安全性。
再比如,开发者自定义一个不可变的值对象:
public final class Person {private final String name;
private final int age;
public Person(String name, int age) {
this.name = name;
this.age = age;
}
public String getName() { return name; }
public int getAge() { return age; }
}
这个类从设计上杜绝了状态变更的可能,任何“修改”都必须创建新实例,从而保证原有对象在并发访问中的完整性。
注意点:防御性拷贝
当不可变类中包含可变成员时,如 Date 或集合类型,必须小心处理引用传递问题。
例如:
- 构造函数接收外部传入的 Date 对象时,应使用 new Date(date.getTime()) 创建副本
- getter 返回 Date 时也应返回副本,防止调用者修改内部时间
否则即使类本身看似“不可变”,仍可能因外部修改内部引用而破坏安全性。
基本上就这些。不可变对象通过消除状态变化这一根本源头,简化了并发编程模型,提升了系统的可靠性和可维护性。合理使用不可变设计,能有效避免许多常见的线程安全问题。










