Java不可变对象是创建后状态完全不可更改的对象，需满足类final、字段private final、全参构造、无setter、可变字段防御性拷贝五点；String、LocalDateTime等因严格实现而真不可变；适用于多线程共享、Map/Set键、函数式调用及事件快照场景；常见陷阱包括引用逃逸、可变集合未封装、防御性拷贝遗漏和依赖可变工具类。
Java 不可变对象是指创建后状态（所有字段值）完全不可更改的对象。它不是“看起来不能改”，而是从语言机制、内存模型和设计约束上确保修改不可能发生——这是线程安全、缓存可靠和逻辑可预测的基础。
不可变对象的硬性设计原则
要真正实现不可变，必须同时满足以下五点，缺一不可：
- 类声明为 final：防止子类通过继承覆盖方法或引入可变状态
- 所有字段声明为 private final：杜绝外部直接访问和内部重新赋值
- 仅提供全参数构造方法：确保所有字段在对象构建时一次性初始化完毕
- 不提供任何 setter 或状态变更方法：包括看似无害的 add/remove/clear 等操作；需返回新实例
- 对可变类型字段做防御性拷贝：如 Date、ArrayList、HashMap 等，构造时复制入参，getter 中复制返回值
为什么 String、LocalDateTime 是真不可变？
它们是 JDK 内置的典型范例，背后有严格保障：
- String：内部 char[] 被 final 修饰，且所有修改方法（如 substring、concat）均返回新 String 实例；JVM 还配合字符串常量池复用相同内容对象
- LocalDateTime：所有字段（year、month、day 等）均为 private final，plus()、with() 等方法全部返回新对象，无任何内部状态更新
- Integer / BigDecimal：基本类型包装类和高精度数值类，所有运算方法（如 intValue()、add()）都不改变原对象
不可变对象最适用的业务场景
它不是万能银弹，但在以下场景中优势突出、风险可控：
立即学习“Java免费学习笔记（深入）”；
- 多线程共享只读数据：如配置对象 Config、用户权限上下文 AuthContext，百个线程并发读取无需 synchronized 或 volatile
- 作为 Map 的 key 或 Set 元素：hashCode 和 equals 结果永不变化，避免因对象被意外修改导致哈希错位、查不到或重复插入
- 函数式链式调用：例如 Order.withDiscount(0.1).withAddress("xxx").build()，每步都生成新对象，无副作用、易测试、可回滚
- 事件快照与审计日志：库存扣减前保存当前 Stock 快照，订单创建时固化商品价格，状态变更全程可追溯
常见翻车点与规避方式
很多“伪不可变”类上线后在高并发下暴雷，关键陷阱有：
- 引用逃逸：构造器中把 this 传给静态集合、启动线程或注册监听器 → 改为延迟发布，确保构造完成后再暴露引用
- 可变集合未封装：字段是 final List<String>，但外部拿到后调用 list.add() → 应使用 Collections.unmodifiableList() 或 ImmutableList.of()
- 防御性拷贝遗漏：Date 字段只在构造时 copy，getBirthDate() 却直接 return birthDate → getter 也必须 new Date(birthDate.getTime())
- 依赖外部可变工具类：比如字段持有一个 final SimpleDateFormat —— 它本身是可变的，多线程共用必出错 → 改用 DateTimeFormatter（不可变）或每次新建
