String不可变的关键不仅是final字段，更在于对char[]的防御性拷贝和引用隔离：构造时复制数组、不暴露value引用、所有访问方法返回新副本。
为什么 String 类的字段全用 final 还不够
只把字段声明为 final 并不能保证类不可变——如果字段是可变引用类型（比如 char[]），外部仍可能通过该引用修改内容。String 内部的 value 字段确实是 final char[]，但真正关键的是：它从不对外暴露这个数组的引用，所有构造和操作都确保副本隔离。
- 构造时用
Arrays.copyOf或new char[...]复制入参数组，避免共享底层数组 - 所有返回字符串内容的方法（如
toCharArray()）都返回新数组，不返回value本身 - 没有提供任何 setter、或能访问/修改
value的 public 方法 - JVM 层面对
String有特殊优化（如字符串常量池），但这属于实现细节，不是 Java 语言层面的不可变保障
自己写不可变类时，final 和防御性拷贝怎么配
定义不可变类必须同时满足三个条件：类本身 final、所有字段 final、所有字段值不可变（或做防御性拷贝）。常见错误是忘了对可变组件做拷贝。
- 类声明必须加
final：防止子类覆盖方法破坏不变性 - 字段如果是基本类型或不可变类（如
Integer、String），直接final即可 - 字段如果是可变类型（如
ArrayList、Date、自定义的MutablePoint），构造器中必须用新对象替代传入引用：this.data = new ArrayList(inputList) - getter 方法不能返回可变字段原引用，要返回副本：
return new ArrayList(this.data) - 不要为了“性能”省掉拷贝——一旦漏掉，整个不可变契约就崩了
String 为什么不用 record 实现
Java 14+ 的 record 天然不可变，看起来很适合 String，但它无法满足 String 的底层需求。
-
record的字段自动是public final，但无法控制构造过程中的数组拷贝逻辑 -
record不支持重写hashCode()或equals()的底层实现（String 的哈希值是懒计算并缓存的） -
record无法干预 JVM 的字符串常量池机制，也无法实现intern()行为 -
String需要大量底层优化（如 Compact Strings、JIT 内联），这些都依赖传统类结构和 HotSpot 特定支持
用 final 修饰局部变量或参数有意义吗
在方法内部用 final 修饰参数或局部变量，不影响类的不可变性，但能提升代码可读性和编译期检查。
立即学习“Java免费学习笔记（深入）”；
- 参数加
final（如void foo(final String s)）可防止意外重新赋值，尤其在长方法中减少出错概率 - IDE 和静态检查工具（如 ErrorProne）会据此推断语义，辅助发现 bug
- 对性能无影响——JVM 不会因为
final参数就做额外优化 - 注意：这和类设计无关，只是编码习惯；别误以为加了
final参数就能让传入的StringBuilder变不可变
不可变性的核心不在关键字堆砌，而在数据流的每一处交接点是否严格把关。String 类里最值得细看的不是 final，而是那几十处看似冗余的数组拷贝和封装拦截。
