逃逸分析是JVM在即时编译阶段对对象生命周期的精准判断，触发栈上分配、标量替换和同步消除三项优化：无逃逸可全用，方法逃逸仅同步消除，线程逃逸禁用所有优化。

逃逸分析不是“开关式”的优化，而是JVM在即时编译阶段对对象生命周期的精准判断——它决定一个对象该不该进堆、能不能拆开、值不值得加锁。真正起作用的是它触发的三项底层动作：栈上分配、标量替换、同步消除。

对象逃逸程度决定优化空间

逃逸分析把对象分三级处理，每级对应不同优化能力：

• 无逃逸：对象只在当前方法内创建、使用、消亡（如局部变量未返回、未赋值给字段、未传入其他方法）→ 全套优化可用
• 方法逃逸：对象作为参数传入其他方法，或作为返回值传出，但仍在单线程内 → 可做同步消除，无法栈分配
• 线程逃逸：对象被静态变量、全局集合、线程间共享容器持有 → 必须堆分配，不参与任何逃逸优化

栈上分配：让对象随方法退出自动消失

这不是把整个对象“挪”到栈内存，而是JVM确认对象未逃逸后，绕过堆分配流程，直接在栈帧中预留空间存放其数据。方法执行完，栈帧弹出，内存自然释放，完全不走GC。

• 前提是对象大小合理（过大可能触发栈溢出）
• JDK 7+ 默认开启逃逸分析（-XX:+DoEscapeAnalysis），无需手动打开
• 可通过 -XX:+PrintEscapeAnalysis 查看JVM是否判定某对象未逃逸

标量替换：不建对象，只存字段

当对象未逃逸且所有字段都可独立访问时，JVM干脆不构造对象实例，而是把每个字段（如 int x、int y）当作普通局部变量，直接放进局部变量表，甚至压入CPU寄存器。

• 典型场景：Point p = new Point(1, 2); 仅用于计算 p.x + p.y
• 效果等价于写成 int x = 1; int y = 2; sum = x + y;
• 这项优化依赖逃逸分析结果，JDK 7+ 同样默认启用（-XX:+EliminateAllocations）

同步消除：去掉没必要的锁

如果逃逸分析确认某个对象只被单个线程访问（未发生线程逃逸），那它上面的 synchronized 块或锁就形同虚设，JVM会在编译阶段直接移除。

• 例如：StringBuilder sb = new StringBuilder(); sb.append("a").append("b");
• sb 是局部对象、无共享，synchronized 方法体被跳过，避免锁开销
• 这和栈分配、标量替换一样，是逃逸分析带来的“附带红利”