安全发布共享对象的关键是确保其他线程看到完整构造且最新可见的状态,须借助jmm同步语义建立happens-before关系;禁止this引用在构造中逸出;优先用final字段、静态工厂+显式初始化、volatile或锁实现安全发布;并对可变状态做防御性封装。

安全发布共享对象的关键,在于确保其他线程看到的对象状态是完整构造且最新可见的。不是“对象创建了就能发”,而是必须借助 Java 内存模型(JMM)认可的同步语义,切断重排序、屏蔽缓存不一致、建立 happens-before 关系。
禁止 this 引用在构造中逸出
这是最易踩、后果最严重的坑:对象还没造完,引用就已泄露给其他线程。
- 绝对不在构造器中启动新线程、注册回调、调用外部方法传入 this
- 避免在构造器中新建匿名内部类或非静态局部类并捕获 this(如监听器、Runnable)
- 若需对外暴露行为,改用静态工厂方法 + 显式初始化:先 new 完,再调用 init() 或 start() 完成发布
- 内部类优先声明为 static,避免隐式持有外围实例引用
用 final 保证构造期间状态的可见性
JMM 对 final 字段有特殊保障:只要对象构造完成,其他线程通过合法途径获得该引用,就一定能看到 final 字段在构造器中写入的值,且不会看到默认值(如 null、0)。
- 所有在构造器中初始化、且不应被修改的字段,一律声明为 final
- final 不仅防修改,更是安全发布的“签证”——它让 JVM 确保字段写入对其他线程立即可见
- 注意:final 只保护字段引用本身,不保护其指向对象的内部可变性(如 final List
list = new ArrayList(); 仍需防御性拷贝)
利用 volatile 或锁实现延迟/动态发布
对于不能在构造时完全初始化、需后续设置的共享对象(如单例、配置容器),必须用明确的同步机制发布引用本身。
- 静态单例推荐使用 静态内部类 Holder 模式:由 JVM 类加载机制保证线程安全与可见性,无性能开销
- 双重检查锁定(DCL)必须搭配 volatile 修饰实例字段:防止指令重排序导致其他线程看到未初始化完成的对象
- 普通共享引用(如全局配置对象)可用 synchronized 块读写,或用 AtomicReference 的 compareAndSet / set 方法发布
对可变状态做防御性封装
即使引用安全发布了,若对象内部状态可变且直接暴露,仍会引发并发问题。
- 不返回私有数组、集合的原始引用(如 return items;),改为 Collections.unmodifiableList(items) 或深拷贝
- 若需外部可修改,用线程安全容器(ConcurrentHashMap、CopyOnWriteArrayList)替代普通集合
- 提供 getter 时不暴露内部可变组件;setter 中对入参做防御性拷贝(尤其对 Date、数组、集合等)
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











