不可变对象的核心判断标准是其所有public可访问状态在构造完成后无法被外部修改。这取决于是否可通过公开方法或引用路径改变逻辑状态，而非仅字段是否final；string不可变而stringbuilder不可变，因后者append()会修改内部数组内容。

不可变对象的核心判断标准

一个Java对象是否不可变，关键看它的所有public可访问状态在构造完成后是否**无法被外部修改**。这不取决于字段是否用final修饰，而在于能否通过任何公开方法或引用路径改变其逻辑状态。比如String是不可变的，但StringBuilder不是——哪怕它内部也用了final char[]，因为append()等方法会修改数组内容。

如何手写一个真正不可变的类

要确保不可变性，必须同时满足几个硬性条件：

• 类声明为final（防止子类覆写行为）
• 所有字段声明为private final
• 构造器完成全部初始化，且不泄露this引用
• 如果字段是可变对象（如ArrayList、Date），必须做防御性拷贝：

  private final List<string> items;
  public Person(List<string> input) {
      this.items = Collections.unmodifiableList(new ArrayList(input));
  }</string></string>

• 不提供任何修改状态的方法（如setXxx()、add()）

常见“伪不可变”陷阱

很多开发者以为加了final就安全了，其实不然：

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

• final List<string> list = new ArrayList();</string> —— 引用不可变，但list.add("x")仍可修改内容
• 返回内部可变对象引用：public List<string> getItems() { return items; }</string> —— 外部拿到后直接修改，破坏封装
• 使用可变类型作为public static final常量，比如public static final Date UNIX_EPOCH = new Date(0); —— Date本身可变，调用setTime()就能改
• 序列化/反序列化绕过构造逻辑：若没重写readObject()，可能生成非法状态实例

为什么String和LocalDateTime能放心用

它们的设计严格遵循不可变契约：

• String内部的value字段是private final byte[]，所有“修改”方法（如substring()、toUpperCase()）都返回新对象
• LocalDateTime所有字段都是final，且所有withXxx()、plusXxx()方法都返回新实例，原对象不受影响
• 二者都不提供任何setter，也不暴露内部可变组件的引用
• JVM和并发工具（如ConcurrentHashMap）对不可变对象有专门优化，读操作无需同步

真正难的不是写一个不可变类，而是守住边界：一旦引入第三方可变类型、或为了“方便”暴露内部容器，整个不可变性就崩塌了。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南