逃逸分析是JVM在JIT编译阶段自动进行的对象作用域分析，用于判定对象是否逃逸出方法或线程，进而触发栈上分配、标量替换和同步消除等优化；其生效依赖方法内联完成且对象未被返回、未存堆/静态字段、未跨线程暴露。
逃逸分析不是用来“写代码”的技术，而是 JVM 在运行时自动做的优化判断。它不依赖开发者显式编码，但代码写法会直接影响分析结果和优化效果。关键在于让对象的生命周期和引用范围尽可能清晰、受限。
哪些写法容易触发栈上分配
对象只在方法内部创建、使用、销毁，不传出、不保存、不跨线程，是最理想的无逃逸场景：
- 局部变量新建后仅用于计算或临时封装，比如
User user = new User(); user.setName("A"); process(user);，且process()是内联方法或不保留引用 - 避免将 new 出的对象赋值给 this.field、static field 或传给非内联的外部方法
- 字符串拼接、简单 DTO 构造、工具类中间对象（如
new StringBuilder()）在热点路径中更容易被识别为未逃逸
同步消除的真实前提
锁消除不是“去掉 synchronized 就行”，而是 JVM 确认该对象**全程仅被单一线程访问且不会发布出去**：
- 例如
StringBuffer sb = new StringBuffer(); sb.append("a").append("b");—— 虽然 StringBuffer 是线程安全的，但逃逸分析发现 sb 没逃逸，JIT 就会把内部的同步操作全删掉，等效于用 StringBuilder - 但如果 sb 被设为成员变量、放入 ConcurrentHashMap、或作为返回值传出，同步就无法消除
- 注意：锁消除只作用于对象级别，不改变代码语义，也不影响正确性
标量替换如何提升效率
当对象未逃逸且结构简单（如只有 int、long、String 字段），JVM 可能跳过对象整体分配，直接把字段拆开存到栈帧或寄存器里：
- 例如
Point p = new Point(1, 2); int x = p.x; int y = p.y;→ JIT 可能直接把x和y当作两个局部变量处理，不分配 Point 实例 - 这种优化对高频小对象（坐标、金额、状态码包装类）特别有效，减少内存布局开销和 GC 压力
- 但若 Point 有重载方法、被反射访问、或字段是复杂引用类型，标量替换通常失效
验证与调优的实际手段
逃逸分析默认开启（JDK 7+），但是否生效需结合运行时行为观察：
- 加参数
-XX:+PrintEscapeAnalysis查看 JIT 对每个热点方法的逃逸判定结果 - 配合
-XX:+UnlockDiagnosticVMOptions -XX:+PrintCompilation确认方法是否被 JIT 编译并应用优化 - 不要强行“为逃逸分析而改代码”——比如刻意拆分逻辑来迎合分析；优先保证可读性和正确性，逃逸分析是锦上添花，不是性能瓶颈的万能解
- 真正影响性能的，往往是对象体积、分配频率、GC 压力；逃逸分析只是在这些基础上做一层智能减负
