逃逸分析是JVM在JIT编译阶段判断对象是否逃逸出方法或线程的生命周期分析技术，据此决定能否进行栈上分配、标量替换或同步消除；它追踪对象是否发生方法逃逸、线程逃逸或实例逃逸，仅当三者皆未发生时才视为未逃逸并触发优化。
逃逸分析不是一种独立的优化动作，而是 JVM 在 JIT 编译阶段做的对象生命周期判断——它回答一个问题：这个对象会不会“跑出”当前方法或线程？答案决定后续能不能用栈上分配或标量替换。
逃逸分析到底在分析什么
它追踪对象的使用范围，主要看三类“逃逸”行为：
- 方法逃逸：对象作为返回值被传出，或作为参数传给其他方法
- 线程逃逸：对象被赋给静态变量、共享集合，或被其他线程可见
- 实例逃逸：对象被存入 this 的字段中，且该 this 可能被外部访问（比如被返回或加入全局容器）
只要没发生这三类情况，JVM 就认为对象“未逃逸”，才可能触发后续优化。注意：逃逸分析默认开启（JDK 7+），不需要手动打开 -XX:+DoEscapeAnalysis；关闭反而会影响性能。
栈上分配 ≠ 把对象真放到栈里
所谓“栈上分配”，其实是逃逸分析通过后的一种表现形式：JVM 不会在栈帧里构造一个完整对象，而是把它的字段直接展开为局部变量，放在栈帧的局部变量表或 CPU 寄存器中。
立即学习“Java免费学习笔记（深入）”；
- 对象本身不再存在，没有对象头、没有内存地址、不能被反射或 Unsafe 获取
- 只适用于非数组、字段可完全拆解的对象；大小超过默认 64 字节（由 -XX:MaxStackAllocationSize 控制）会退回到堆分配
- 方法结束时，这些字段随栈帧自动消失，不走 GC 流程
标量替换是更底层的实现方式
标量替换不是和栈上分配并列的选项，而是栈上分配背后的实际机制：把对象拆成不可再分的“标量”（如 int、long、Object 引用等），每个字段单独当成变量处理。
- 例如 Point p = new Point(1, 2)，若 p 未逃逸，JIT 可能直接生成两个 int 局部变量 x=1、y=2，彻底消除 new Point() 指令
- 如果某个字段本身是对象（比如 String name），且该 String 也未逃逸，JIT 还会递归拆解它的 char[] 和 hash 等字段
- 同步消除（锁消除）也依赖同一份逃逸结论：synchronized(obj) 中的 obj 若未逃逸且无竞争，整个同步块会被直接删掉
你写代码时能做什么
没法强制 JVM 做标量替换，但可以提高被识别为“未逃逸”的概率：
- 避免 return 新建对象，避免把它塞进 static 集合或传给其他方法
- 减少在循环里创建复杂对象；优先用小而纯的值类（字段尽量是基本类型或不可变引用）
- 不用 synchronized(this)，因为 this 几乎总逃逸；ReentrantLock 不会被锁消除，JIT 只识别内置锁
这些优化由 C2 编译器在运行时动态决定，是否生效可通过 -XX:+PrintCompilation 和 -XX:+UnlockDiagnosticVMOptions -XX:+PrintEscapeAnalysis 观察。
