不可变对象是创建后内部状态无法修改的对象，其核心要求包括类为final、字段private final、无setter方法、对可变组件做防御性拷贝，并合理实现equals/hashCode；String通过private final char[]和全量新建操作实现不可变性；它在并发中无需同步、无副作用、适合缓存与函数式编程；常见误区有final引用不等于不可变对象、不可变类放入可变容器仍不安全、防御性拷贝需权衡性能。
不可变对象，是指一旦创建完成，其内部状态（所有字段的值）就无法被修改的对象。它不是“不能被赋新值”的变量，而是对象自身数据在构造后彻底固化——任何看似“修改”的操作，比如 str.toUpperCase() 或 list.add()，实际都返回一个新对象，原对象毫发无损。
不可变对象的核心特征
一个真正不可变的对象必须同时满足以下条件：
- 类是 final 的：防止子类继承后引入可变字段或覆盖方法破坏契约
- 所有字段是 private + final 的：确保字段只能在构造时初始化，且外部无法直接访问或重赋值
- 不提供任何 setter 或状态变更方法：包括不暴露能修改内部集合、数组、日期等引用类型的方法
-
对可变组件做防御性拷贝：若字段是
Date、int[]、ArrayList等可变类型，构造时和 getter 中都要深拷贝，避免外部通过引用篡改内部状态 - 合理实现 equals() 和 hashCode()：因状态恒定，哈希值可缓存复用，适合做 Map 键或 Set 元素
为什么 String 是不可变的？
String 的不可变性不是靠语言魔法，而是精心设计的结果：
- 内部
char[] value被声明为private final，且没有对外暴露修改它的任何 public 方法 - 所有字符串操作（如
substring、replace、concat）都新建对象，绝不复用或修改原数组 - 配合字符串常量池，使相同内容的字符串可安全共享，节省内存并提升性能
- hashCode 在首次调用时计算并缓存，后续直接返回——这只有在状态绝对不变的前提下才成立
不可变对象在并发中的价值
它天然解决多线程中最棘手的问题：
立即学习“Java免费学习笔记（深入）”；
- 无需同步：多个线程可自由读取同一实例，不存在竞态条件或脏读
- 消除副作用：方法调用不会意外改变共享状态，便于推理和调试
- 简化缓存与共享：比如作为 HashMap 的 key，即使被多个线程频繁访问，也绝不会因 key 内容突变导致哈希槽错位或查找失败
- 支持函数式风格：配合 Stream、Optional 等 API，构建无状态、可组合、易测试的逻辑链
常见误区与注意事项
容易误以为“不可变”只是加了 final，其实关键在整体行为：
-
final 引用 ≠ 不可变对象：例如
private final List中，list 变量本身不可重赋值，但 list 内容仍可被 add/remove —— 必须用list; Collections.unmodifiableList()或ImmutableList.of() - 包装类不是绝对安全：Integer、LocalDateTime 等虽不可变，但若你把它们放进可变容器（如普通 ArrayList），容器本身仍是可变的
- 防御性拷贝成本需权衡：对大数组或复杂嵌套对象做深拷贝可能影响性能，应结合场景评估是否必要
