不可变类必须满足：①所有字段private final；②构造器完成初始化且不泄露this；③getter返回不可变视图或副本；④类声明为final。任一环节泄漏可变引用都会破坏不可变性。
所有字段必须用 private final 修饰
不可变性的第一道防线是编译期锁定。只要有一个字段不是 final，哪怕逻辑上不改，JVM 和其他线程也无法保证它不会被意外修改。更危险的是非 private 字段——外部可直接赋值，final 形同虚设。
- 基本类型（
int、boolean等）用private final即可，赋值后彻底安全 - 引用类型（如
List、Map、自定义对象）必须同时满足：①private final；② 构造时传入副本（而非原引用）；③ getter 返回不可变视图或深拷贝 - 常见错误：
private final List<string> items;</string>+ 直接在构造器里赋值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，子类也能破坏语义一致性。
立即学习“Java免费学习笔记（深入）”；
- 最稳妥做法：把类声明为
final—— 这是 JDK 中String、LocalDateTime等标准不可变类的做法 - 替代方案：将构造器设为
private，仅提供静态工厂方法，并把类设为package-private（但限制了使用范围） - 常见疏忽：忘了把
toString()、equals()、hashCode()声明为final，导致子类可能改变行为影响哈希集合表现
