避免 final 字段被修改

Tue, 28 Apr 2026 23:06:45 +0800

本文翻译自 Avoiding Final Field Mutation，版权归原作者所有，作者 Nicolai Parlog。

Java 语言要求 final 字段必须在对象构造期间完成赋值，并且禁止后续重新赋值，但 JDK 仍然提供了一些机制允许这样做。JDK 26 迈出了让 final 字段真正不可变的第一步——当通过反射 API 修改 final 字段时发出警告。JEP 500 详细解释了这一举措的原理和影响，以及如何使用新的命令行参数 --enable-final-field-mutation 和 --illegal-final-field-mutation。虽然这些参数允许修改 final 字段，但这应被视为最后的手段，项目应该逐步摆脱这种做法。

本文讨论了通过反射修改 final 字段的常见场景，以及每种场景对应的替代方案。这些场景可能出现在框架、库和应用程序中，因此本文面向所有这些类型的开发者。

我们的指导原则来自默认完整性 JEP 中的以下陈述，该原则不仅适用于序列化：

一般来说，库在没有对象所属类的配合下对对象进行序列化和反序列化是一种错误。

注意：本文使用序列化作为通用术语，泛指能够将 Java 实例转换为外部格式（如 JSON、YAML 或 protobuf）以及反向转换的机制。对于 Java 内置的围绕 Serializable 接口以及 ObjectInputStream 和 ObjectOutputStream 类运行的机制，本文使用平台序列化这一术语。

实例初始化

final 字段最常被非法修改的情况是在构造完成后立即初始化实例（而非在实例生命周期后期重新赋值）。这可能发生在依赖注入、反序列化、克隆或其他需要在将实例交给用户之前创建可用实例的初始化过程中。其中一些用例与字段值的来源（例如来自 JSON 字符串或其他序列化形式）紧密相关，我们将在后面的章节中讨论这些联系。尽管如此，这些解决方案之间存在一些共性，因此值得单独讨论实例初始化问题。

绕过构造函数

一些初始化机制通常的做法是先构造所有字段为 null 的"空"对象，然后在构造完成后再赋值。Java 自身的平台反序列化就是这样工作的（底层如此，如果实现了 readObject 方法则更是显式如此），Java Bean 普遍遵循这种模式，依赖注入也曾如此。

然而，这种"先构造后赋值"的方式与 final 字段直接冲突，因为 Java 语言承诺 final 字段在构造期间恰好赋值一次（无论是在字段初始化器、构造函数还是初始化块中），之后绝不会被修改。因此，这些过程不得不诉诸强制赋值，无论是通过反射调用 setAccessible、使用 Unsafe 还是 JNI，从而破坏了 final 关键字的完整性，带来了 JEP 500 中列出的所有系统性弊端。

Jdk26 on Code talks

避免 final 字段被修改

实例初始化

绕过构造函数