java string不可变性是享元模式安全落地的前提，字符串常量池作为享元工厂实现内部状态共享，final类、private final字段及返回新对象的设计保障了线程安全与不可篡改。

Java 中 String 的不可变性与享元模式（Flyweight Pattern）是天然契合的——不可变性是享元模式得以安全落地的前提，而享元模式则是不可变性在内存管理层面的具体实现策略。

享元模式的核心：共享内部状态

享元模式把对象的状态拆成两部分：

• 内部状态（Intrinsic State）：与上下文无关、可共享、不可变。比如字符串的内容 "hello"
• 外部状态（Extrinsic State）：依赖具体使用场景、不可共享、由客户端维护。比如这个字符串出现在哪一行日志、属于哪个用户会话

String 对象的字符序列（底层 final byte[] 或 final char[]）正是典型的内部状态——它一旦创建就固定不变，因此 JVM 才敢放心让多个引用共用同一个对象。

字符串常量池就是享元工厂

JVM 的字符串常量池（String Pool）本质上就是一个享元工厂（Flyweight Factory）：

deep-java-review

Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...

下载

• 当你写 String a = "abc"; String b = "abc";，JVM 查常量池发现已有 "abc"，就直接返回已有对象的引用
• 这避免了重复创建内容相同的对象，节省堆内存，降低 GC 压力
• 若 String 可变，一个地方改了 "abc" 成 "abd"，所有引用它的变量都会“意外”看到变化——享元模式就彻底失效且危险

不可变性保障了享元的安全复用

享元模式的关键约束是：共享的对象必须线程安全、不可被误改。String 通过三重机制满足这一点：

• 类被声明为 final：防止子类绕过封装、破坏不可变契约
• 字符数组字段为 private final：外部无法访问或替换底层存储
• 所有修改方法返回新对象：如 substring()、replace() 都不改动原对象，只生成新实例

没有这些，享元模式在 Java 中就无法用于字符串——因为共享就等于风险。

对比 new String("abc")：显式放弃享元

new String("abc") 会强制在堆中新建对象，即使常量池里已有 "abc"：

• 它绕过了享元工厂（常量池），相当于手动创建了一个“独享副本”
• 这个副本和常量池中的 "abc" 内容相同，但地址不同（== 为 false）
• 这种写法在绝大多数场景下没必要，反而浪费内存——它违背了享元的设计初衷

真正体现享元价值的，永远是字面量赋值或 String.intern() 显式入池的操作。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南