防止“this逸出”是核心，即禁止在构造函数中发布this；需用init()/start()延迟发布、返回不可变副本、利用final/volatile/锁保障可见性，或采用threadlocal、不可变对象等线程封闭设计。
防止未完成初始化的变量被其他线程看到，核心在于避免“this逸出”和确保对象在构造完毕后才对外可见。关键不是等所有字段赋完值，而是让其他线程**无法在构造函数执行中途获取到该对象的引用**。
构造函数中禁止发布this
这是最常见也最危险的逸出源头。只要在构造函数里把this传给别的线程、注册监听器、启动新线程或存入静态容器，就可能让外部提前看到一个半成品对象。
- 错误示例：在构造函数中直接启动线程 —— 新线程可能读到未赋值字段（如
int value还是默认0） - 错误示例：用匿名内部类注册回调 —— 内部类隐式持有
this，而此时构造逻辑可能还没走到初始化语句 - 正确做法：把启动、注册等操作移到独立的
init()或start()方法中，由调用方在对象完全构造后再显式触发
慎用非私有方法返回可变内部状态
即使对象本身已构造完成，若通过public方法暴露了可变对象（如数组、ArrayList、HashMap）的原始引用，外部仍能绕过封装修改其内容，等效于间接发布了未受控的状态。
- 错误示例：
public String[] getStates() { return states; }—— 调用方可直接改getStates()[0] = "XX" - 安全替代：返回不可变副本，如
return states.clone()或Arrays.asList(states).toArray()；或使用不可变集合包装 - 更彻底方案：用
final修饰内部容器，并只提供只读访问接口（如Collections.unmodifiableList）
用安全机制保证发布时机与可见性
Java提供了几种内置机制，能确保对象一旦发布，其他线程看到的就是完全初始化且一致的状态：
- 静态初始化器：JVM保证类加载时静态字段的初始化是原子且线程安全的，适合单例或配置对象
-
final字段 + 正确构造：所有
final字段在构造函数结束前必须完成赋值，JMM保证其他线程看到该对象时，final字段值已对它们可见 -
volatile或AtomicReference：将对象引用写入
volatile变量，可防止重排序，确保发布动作对其他线程及时可见 - 锁保护的发布：在同步块内将对象引用写入共享变量，读取时也在同一锁下进行，形成happens-before关系
优先采用线程封闭与不可变设计
与其费力保证跨线程发布的安全性，不如从源头减少共享需求：
- 用
ThreadLocal为每个线程提供独立副本，比如数据库连接、上下文对象 - 设计不可变对象（所有字段
private final，无修改方法），一经创建即安全发布，无需额外同步 - 局部变量天然线程封闭 —— 只要不把它逃逸出去（比如存进static集合或传给其他线程），就不存在并发问题
