17370845950

不可变类通过final修饰类和字段确保状态不可变，如Person类；需对可变对象进行防御性拷贝，如ImmutableDate中复制Date对象；不提供setter或修改方法，仅保留getter；构造函数避免this引用泄露，保证初始化安全。String和Integer是典型示例。

在Java中，不可变类（Immutable Class）是指一旦创建实例后，其状态就不能被修改的类。使用final关键字是设计不可变类的重要手段之一。合理使用final可以有效防止对象状态被篡改，提升线程安全性和代码可靠性。

1. 使用final修饰类和字段

将类声明为final可以防止被继承，避免子类破坏不可变性。同时，把所有字段声明为final，确保它们只能在构造函数中初始化，且之后不能更改。

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

2. 避免暴露可变对象引用

即使字段用final修饰，如果它引用的是可变对象（如数组、集合、Date等），外部仍可能通过引用修改内部状态。因此需要做防御性拷贝。

• 构造函数中对传入的可变对象进行深拷贝
• getter方法返回可变字段的副本，而不是原始引用

final class ImmutableDate {
    private final java.util.Date birthDate;

    public ImmutableDate(java.util.Date birthDate) {
        // 防御性拷贝
        this.birthDate = new java.util.Date(birthDate.getTime());
    }

    public java.util.Date getBirthDate() {
        // 返回副本
        return new java.util.Date(birthDate.getTime());
    }
}

3. 不提供setter方法和修改状态的方法

不可变类不应提供任何能改变字段值的方法。只保留用于读取数据的getter方法。

• 不要写setName()、setAge()这类方法
• 避免提供modifyXXX()或update()操作
• 若需“修改”功能，应返回一个新的实例

4. 确保构造过程的安全性

在构造函数执行完成前，对象尚未完全构建，此时若this引用泄露，可能导致不可变性被破坏。

• 不要在构造函数中将this传递出去（如注册监听器）
• 避免在构造函数中启动线程并引用未完成初始化的对象

基本上就这些。通过final类、final字段、私有化构造、防御性拷贝以及不暴露修改途径，就能写出安全可靠的不可变类。像String、Integer等包装类就是典型的不可变设计，值得参考。不复杂但容易忽略细节。