安全发布与避免逸出是java多线程并发安全的核心：需防止this引用在构造中逸出，对可变对象做防御性拷贝，利用final/volatile/锁等jmm机制保证可见性，优先采用不可变设计。
对象发布与逸出是 Java 多线程中隐蔽但高危的问题：发布指让对象被当前作用域外的代码访问，逸出则是对象尚未构造完成就被其他线程看到。一旦发生，可能导致读到未初始化字段、状态不一致、甚至 NullPointerException 或逻辑错误——根源在于 Java 内存模型（JMM）下缺乏同步时的可见性与重排序风险。
避免 this 引用在构造中逸出
这是最常见也最危险的逸出形式。只要在构造函数里做了任何“把 this 交出去”的事，就可能让其他线程拿到一个半成品对象。
- 禁止在构造器中启动新线程、注册监听器、传
this给外部方法或内部类（包括匿名类、局部类） - 若必须注册监听器，改用静态工厂方法：先完成构造，再调用独立的
init()或start()方法对外发布 - 内部类若需访问外围实例，确保该实例已完全初始化；优先使用静态内部类（不持外围实例引用）
安全发布可变对象
即使对象本身已构造完毕，若其内部状态可变且被不当暴露，仍会引发并发问题。
- 不要通过 public 方法直接返回私有数组或集合引用（如
return new ArrayList(list)而非return list） - 对可变容器做防御性拷贝：返回不可修改视图（
Collections.unmodifiableList()）或深拷贝 - 若需共享可变状态，用线程安全容器（如
ConcurrentHashMap）或加锁保护访问路径
利用 JMM 保证安全发布的机制
Java 提供了语义明确的同步原语，能确保对象发布后对其状态的修改对其他线程可见。
- 用
final声明所有构造期间初始化的字段——JMM 保证 final 字段的写操作对其他线程“立即可见” - 静态单例用静态初始化器（
public static Holder holder = new Holder(42);），由 JVM 保证类加载时的线程安全发布 - 延迟初始化场景可用
volatile引用（配合双重检查锁）或AtomicReference实现安全发布
优先采用不可变对象设计
从源头消除逸出风险：不可变对象天然线程安全，且无法逸出——因为它的状态根本不会变。
- 所有字段声明为
final - 不提供修改状态的方法（setter、add、clear 等）
- 确保类正确构造（构造器内不逸出
this） - 内部可变组件（如数组、集合）需防御性拷贝或封装为不可变视图
本质上，安全发布不是靠经验规避，而是靠明确的同步契约：要么用 JMM 规定的语义（final、volatile、锁），要么绕过共享（不可变、线程封闭）。写代码时多问一句“这个引用会不会在构造完之前被别人拿到”，多数逸出风险就能提前拦住。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
