对象逃逸状态分三级：无逃逸（可栈分配、标量替换、锁消除）、参数逃逸（禁栈分配，或可锁消除）、全局逃逸（全禁优化，必堆分配）。三级严格递进，优化空间逐级缩小，依赖jit运行时动态分析。

对象的逃逸状态不是抽象概念，而是编译器做优化决策的直接依据。JIT 编译器根据对象是否“逃出当前方法作用域”，划分为三级：没有逃逸、参数逃逸、全局逃逸。这三级不是并列关系，而是严格递进——越往后，优化空间越小；越靠前，越可能触发关键优化。

没有逃逸：栈上分配与标量替换的前提

对象仅在当前方法内创建、使用、销毁，未被返回、未赋值给任何外部变量、未传入其他方法（包括 lambda 或内部类捕获），就属于“没有逃逸”。这是最理想的优化场景：

• JIT 可将该对象从堆分配移至栈上分配（Stack Allocation），避免 GC 扫描和堆内存碎片
• 若对象结构简单（如只含 int、long 等基本字段），还可进一步拆解为独立字段（标量替换），连栈帧都不用分配完整对象空间
• 同步块（synchronized）若只锁住该对象，且无跨线程可见性，会被直接消除（Lock Elision）

参数逃逸：锁消除仍可能，但栈上分配基本关闭

对象作为参数传入其他方法，或被赋值给非 final 的实例字段、被内部类引用，即落入“参数逃逸”。此时 JIT 无法确认被调方法是否产生副作用（如存入集合、启动线程等），保守起见：

• 对象必须分配在堆中，栈上分配被禁用
• 标量替换通常不可行（除非能证明被调方法不读写其字段）
• 若同步块未暴露给其他线程（例如只在本线程内传递），锁仍可能被消除

全局逃逸：所有逃逸优化失效，回归标准堆分配

对象被赋值给 static 字段、放入 ThreadLocal、作为方法返回值暴露给调用方、或注册到全局容器（如 Spring BeanFactory），即属“全局逃逸”。这意味着它可能被任意线程访问或长期存活：

• 必须分配在堆中，且需保证线程安全（如加锁、volatile 或不可变设计）
• 栈上分配、标量替换、锁消除全部不可用
• GC 必须跟踪其引用链，增加回收压力

逃逸分析不是静态语法检查，而依赖运行时热点代码的多次执行后由 JIT 动态判定。因此，写法微调（比如把 return new StringBuilder() 改成 return new StringBuilder().toString()）就能让对象从全局逃逸降级为无逃逸，带来可观性能提升。