不可变类设计及Java实现方法

本文深入剖析了Java中不可变类设计的核心原则与实践陷阱，强调真正的不可变性远不止于声明`private final`字段——它要求从构造器不泄露`this`、引用类型必须防御性拷贝、getter严格返回不可变视图或副本，到类本身必须`final`以杜绝继承破坏，环环相扣；任何一处疏忽（如直接暴露内部列表引用或在构造中注册监听）都会让看似安全的“不可变”沦为形同虚设的幻觉，堪称Java并发与API设计中既精妙又脆弱的关键艺术。

所有字段必须用 private final 修饰

不可变性的第一道防线是编译期锁定。只要有一个字段不是 final，哪怕逻辑上不改，JVM 和其他线程也无法保证它不会被意外修改。更危险的是非 private 字段——外部可直接赋值，final 形同虚设。

• 基本类型（int、boolean 等）用 private final 即可，赋值后彻底安全
• 引用类型（如 List、Map、自定义对象）必须同时满足：① private final；② 构造时传入副本（而非原引用）；③ getter 返回不可变视图或深拷贝
• 常见错误：private final List items; + 直接在构造器里赋值 this.items = items; → 外部仍可通过原列表修改内容

构造器必须完成全部状态初始化，且不泄露 this

构造器是对象唯一合法的“写入窗口”。如果在构造过程中把 this 引用逃逸出去（比如注册监听、启动线程、存入静态集合），外部可能在对象还没构造完时就拿到引用并修改内部状态——这直接破坏不可变前提。

• 禁止在构造器中调用可被子类重写的非 final 方法（可能访问未初始化字段）
• 禁止将 this 传给任何外部方法或静态容器
• 如果必须初始化复杂依赖，优先用静态工厂方法封装构造逻辑，避免构造器过重
• 示例错误：public Person(String name) { this.name = name; EventManager.register(this); } → this 已逃逸

getter 不能返回可变内部对象的原始引用

即使字段是 final，如果 getter 直接返回一个 ArrayList 或数组引用，调用方就能通过它修改内部状态。Java 没有“只读引用”概念，只能靠封装切断修改通路。

• 对于 List/Set/Map：用 Collections.unmodifiableList() 包装，或返回 new ArrayList(original)
• 对于数组：永远返回 Arrays.copyOf(array, array.length)，绝不用 array.clone()（对多维数组无效）
• 对于自定义对象字段：如果该类本身可变，getter 必须返回其不可变副本（或确保该类也是不可变的）
• 性能提示：频繁调用 getter 返回新副本会影响性能，若确定调用方只读，可考虑文档约定 + @Immutable 注解辅助检查

类本身必须声明为 final，或禁止继承

如果不加 final，子类可以添加新字段、重写方法、甚至提供 setter，整个不可变契约瞬间失效。即使父类所有字段都 final，子类也能破坏语义一致性。

• 最稳妥做法：把类声明为 final —— 这是 JDK 中 String、LocalDateTime 等标准不可变类的做法
• 替代方案：将构造器设为 private，仅提供静态工厂方法，并把类设为 package-private（但限制了使用范围）
• 常见疏忽：忘了把 toString()、equals()、hashCode() 声明为 final，导致子类可能改变行为影响哈希集合表现

今天关于《不可变类设计及Java实现方法》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！