Java不可变类设计：String启发与实现方法

Java中实现真正的不可变类远不止简单声明final字段，String类的精髓在于通过私有构造、入参防御性拷贝、禁止继承、安全序列化、getter返回副本等一整套协同机制，确保对象图对外完全封闭——任何外部代码都无法观测或引发内部状态变更；忽视这些细节，哪怕字段全为final，仍可能被反射篡改、子类绕过、数组元素被修改或序列化破坏，导致“伪不可变”陷阱。

为什么 String 的 final 字段还不够

很多人照着 String 写个只有 final 字段的类，就以为不可变了——结果发现反射能改、子类能绕过、甚至内部数组被外部持有后直接被篡改。关键不是字段是否 final，而是整个对象图（object graph）对外不可观测的变更。

• final 只防字段重新赋值，不防字段指向的对象内容被修改（比如 final byte[] value 里的元素仍可写）
• String 真正靠的是：私有构造 + 拷贝入参 + 不暴露可变内部（如不返回 value 数组引用）
• 如果类里持有 ArrayList、HashMap 或自定义可变对象，必须用防御性拷贝（defensive copy），不能只 final 引用

构造函数里必须做防御性拷贝

传入可变对象（如 int[]、List、Date）时，直接赋给 final 字段等于把后门焊死了。看这个典型翻车现场：

public class BadImmutable {
    private final int[] data;
    public BadImmutable(int[] input) {
        this.data = input; // 错！外部仍能改 data[0] = 999
    }
}

正确做法是立即拷贝：

• 数组用 Arrays.copyOf(input, input.length) 或 input.clone()
• Collection 用 new ArrayList(input)（别用 Collections.unmodifiableList，它只是包装，底层数组仍可变）
• 时间类型优先用 java.time（如 LocalDateTime），避免 Date；若必须用 Date，构造时 new Date(date.getTime())

getter 方法不能返回可变内部状态引用

哪怕字段本身是 final，getter 如果直接返回数组或集合引用，调用方就能改你的“不可变”对象：

public int[] getData() {
    return this.data; // 危险！外部拿到后 data[0]++ 就破功
}

该返回副本，且注意性能权衡：

• 小数组/短列表：每次 getter 都 clone() 或 Arrays.copyOf()，简单安全
• 大数组/高频访问：考虑缓存副本（但要确保线程安全），或改用不可变容器（如 ImmutableList from Guava）
• 永远不要返回 this 或内部可变对象的引用，包括 toString() 里拼接用的临时 StringBuilder

继承与序列化是两个隐藏雷区

不可变类通常不该被继承——否则子类可能加可变字段或重写方法破坏契约。而序列化更隐蔽：readObject 可跳过构造函数，直接写字段。

• 声明类为 final（像 String 那样），一劳永逸防继承破坏
• 若必须可序列化，必须提供 private void readObject(ObjectInputStream in)，里面手动校验并重新拷贝所有字段
• 避免实现 Serializable 除非真需要；优先用 JSON 或现代序列化（如 Jackson + 不可变 builder）

真正难的从来不是写几个 final，而是每一步都得问：这个引用会不会逃逸？这个对象图里还有没有可变节点？连 hashCode() 缓存都要小心——如果基于可变字段计算，缓存就成定时炸弹。

到这里，我们也就讲完了《Java不可变类设计：String启发与实现方法》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！