String不可变性直接保障线程安全：因private final字段封装底层数组、final类禁止继承、所有方法返回新对象而非修改原值，彻底消除写操作，故多线程读取无竞态、无需同步。
String 不可变性直接带来线程安全，不是靠加锁实现的，而是靠“根本没法改”——没有写操作，自然就没有竞态。
不可变性从底层切断写操作可能
String 内部用 private final byte[] value（JDK 9+）或 private final char[] value（JDK 8 及之前）存储字符数据：
- private：外部无法访问数组，更不能直接修改元素
- final：value 字段引用一旦初始化，就不能再指向别的数组
- 所有构造方法都做防御性拷贝，即使传入外部 char[]，String 也只用自己副本
- 类本身是 final，无法被继承，杜绝子类破坏不可变性
所有“修改”都是假象，实际返回新对象
concat、substring、replace、toUpperCase、trim 等方法，没有一个会改动原对象：
- s.replace('a', 'b') → 创建新 byte[]，填充新内容，封装成新 String
- s.substring(0, 3) → 复制对应字节段，生成新实例
- s + "x" → 编译为 StringBuilder 拼接再 toString()，产出全新对象
- 原 String 始终静止在内存中，状态恒定
多线程读取无竞态、无可见性问题
因为没有写操作，多个线程同时读同一个 String 实例时：
立即学习“Java免费学习笔记（深入）”；
- 永远看到完全一致的内容，不存在“读到一半被改”的中间状态
- final 字段的初始化语义保障了安全发布，无需 volatile 修饰引用
- 静态常量如 public static final String DB_URL = "jdbc:mysql://"; 可被任意数量线程直接使用，零同步开销
- 主线程传入 token = "abc123"，工作线程调用 toUpperCase() 或 trim()，只生成副本，原始值不受影响
不可变性支撑 JVM 关键机制，反向强化并发稳定性
线程安全不是孤立特性，它和 JVM 底层优化深度协同：
- 字符串常量池：String a = "log"; String b = "log"; → a == b 为 true。两个线程访问的是同一内存地址，且因不可变，内容绝对可靠
- hashCode 缓存：首次调用后结果被缓存，后续直接返回。若内容可变，HashMap 中的 key 会“消失”，导致查找失败
- 作为 ConcurrentHashMap 的 key：完全无需防御性拷贝，传入即用，安全又高效
- 类加载器、SecurityManager等核心组件依赖 String 表示类名、权限名，不可变确保行为确定、不被污染
