17370845950

答案是通过使用final类、私有final字段、避免setter、防御性拷贝、无副作用方法和安全构造，可设计线程安全的不可变类。

在Java中设计不可变类（Immutable Class）是面向对象编程中的一个重要实践，尤其适用于多线程环境和需要保证数据一致性的场景。使用 final 关键字是实现不可变性的核心手段之一。下面介绍如何通过 final 和其他机制来正确设计不可变类。

1. 使用 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. 将字段声明为 private 和 final

所有字段应使用 private 限制访问，并用 final 确保一旦赋值就不能更改。

• final 字段必须在构造函数或声明时初始化
• 防止内部状态被修改

这一步是构建不可变对象的基础。

3. 不提供 setter 方法

不可变类不应暴露任何修改字段的方法。

• 只提供 getter 方法获取值
• 避免 public 或 protected 的 setXxx() 方法

例如：不要写 setName(String name) 这样的方法。

4. 防止引用泄漏（防御性拷贝）

当类包含可变对象（如数组、集合、Date等）时，必须进行防御性拷贝，防止外部修改内部状态。

private final Date birthDate;

public Person(String name, Date birthDate) {
    this.name = name;
    this.birthDate = new Date(birthDate.getTime()); // 拷贝
}

public Date getBirthDate() {
    return new Date(birthDate.getTime()); // 返回拷贝
}

这样即使外部修改了传入的 Date，也不会影响对象内部状态。

5. 确保所有方法不会改变状态

所有方法都应该是无副作用的，即不修改对象本身，而是返回新实例（如 String 的操作方式）。

• 比如实现 withName(String newName) 方法时，返回新的 Person 实例
• 原有对象保持不变

6. 正确初始化对象

在构造函数中完成所有字段的初始化，且不能让 this 引用逸出（this escape）。

• 不要在构造过程中启动线程或注册监听器使用 this
• 确保对象完全构建好后再被其他代码访问

基本上就这些。通过合理使用 final、私有化字段、防御性拷贝和禁止状态修改，就能设计出安全可靠的不可变类。这种设计不仅提升代码安全性，也简化并发编程。不复杂但容易忽略细节。