Java中不可变对象实现线程安全的本质是封装阻断修改、final锁死状态，需字段全private final、构造时完整初始化、防御性拷贝可变组件、类声明为final。

Java 中通过不可变对象实现线程安全的数据结构，本质是“用封装阻断修改入口，靠 final 锁死状态”，不需要加锁、也不依赖 volatile 或 synchronized。只要对象一创建就定型，多个线程读它，谁也改不了它，自然就安全。

字段全用 private final 修饰

这是不可变的基石。所有内部状态必须声明为 private（防止外部直接访问）和 final（保证构造后不可重赋值）。

• 基本类型（int、boolean 等）加 final 后值不可变
• 引用类型加 final 后，只能指向同一个对象，但该对象本身是否可变还需额外处理
• 不要漏掉任何字段——哪怕是一个临时缓存或辅助标记，只要暴露了，就得 final

构造时完成全部初始化，杜绝 this 逃逸

构造函数里不能调用可被子类重写的方法，也不能把 this 引用传递给其他线程或静态容器。否则对象还没建好，就被外部拿到并使用，可能看到未初始化的字段。

deep-java-review

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

下载

• 所有字段都在构造器中一次性赋值，不依赖后续 setter 或懒加载
• 避免在构造器中启动新线程、注册监听器、放入全局 Map 或队列
• 如果需要复杂初始化逻辑，优先用静态工厂方法替代公有构造器，便于控制流程

对可变组件做防御性拷贝

String、Integer、LocalDateTime 这类 JDK 自带的不可变类型可以直接用；但 Date、ArrayList、HashMap 等可变类型，必须深拷贝或包装成不可变视图。

立即学习“Java免费学习笔记（深入）”；

• 传入集合参数时：用 new ArrayList(source) 或 new HashSet(source) 拷贝一份
• 返回集合字段时：用 Collections.unmodifiableList(list) 包装，或 Java 9+ 的 List.of(...)、Set.copyOf(...)
• 传入/返回 Date、Calendar 等老式类型时：用 clone() 或 Instant/LocalDateTime 替代，避免时间对象被外部篡改

类本身声明为 final，禁止继承破坏

子类可能通过重写方法、添加新字段或暴露 setter 打破不可变契约。把类设为 final 是最直接的防护。

• public final class Config {...} —— 明确封死继承路径
• 若需扩展性，可用私有构造 + 静态工厂（如 Optional.of()），配合 builder 模式构建，builder 本身可非 final，但最终产出对象必须不可变
• 避免 public 构造器 + protected 方法组合，这会给子类留下绕过校验的缝隙