java中控制对象可变性的核心是让对象状态创建后无法修改，需通过类final、字段private final、防御性拷贝、避免this逃逸及合理使用不可变api等协同实现。
Java中控制对象可变性的核心，是让对象状态在创建后无法被修改。这不单靠final关键字，而是一整套设计约束：类不可继承、字段不可变、对外暴露不可变视图、内部状态不泄露。
用final封住关键环节
final不是万能的，但它是不可变性的基础支撑：
- 类声明为
final（如String），防止子类重写方法破坏不变性 - 所有字段声明为
private final，禁止外部赋值和子类访问 - 构造器内完成全部初始化，且不调用可被重写的方法（避免this逃逸）
防御性拷贝：阻断外部对内部状态的篡改
当对象持有可变组件（如ArrayList、数组、Date等），必须做防御性拷贝：
- 构造器中接收外部传入的集合或数组时，不直接赋值，而是新建副本：
this.items = new ArrayList(originalItems) - getter方法返回不可变视图或新副本，而非原始引用：
return Collections.unmodifiableList(items)或return items.toArray(new String[0]) - 尤其注意日期类（
java.util.Date）——它本身可变，必须用clone()或转为Instant再封装
避免this引用逃逸，守住构造安全
构造过程中若将this发布出去（如注册监听、启动线程、传给静态方法），可能让未构造完成的对象被其他线程看到，破坏不可变前提：
立即学习“Java免费学习笔记（深入）”；
- 不要在构造器中调用可被重写的方法（因子类可能已重写，而此时子类字段还未初始化）
- 避免在构造器中开启新线程或向全局容器注册当前实例
- 必要时用私有构造器 + 静态工厂方法，把对象完全构造完毕后再对外发布
合理使用不可变工具类与API
JDK提供了大量支持不可变设计的设施，应优先采用：
- 集合：用
List.of()、Set.of()、Map.of()（Java 9+）创建不可变集合；旧版本可用Collections.unmodifiableXxx() - 时间：用
java.time包类型（如LocalDateTime、Instant），它们天然不可变 - 字符串：复用
String的不可变特性，拼接用StringBuilder在局部构造，不污染原对象 - 记录类（
record，Java 14+）：默认提供不可变语义（字段隐式final、无setter、自动防御性拷贝组件）
不可变不是教条，而是权衡后的选择：它简化并发、提升可预测性、利于缓存与哈希，但也带来额外拷贝开销。真正关键的是——明确哪些状态必须锁定，然后用封装+final+防御拷贝三者协同守住边界。
