逃逸分析是JIT编译器通过判断对象是否逃逸出方法或线程作用域，决定是否启用栈上分配和标量替换以减少堆分配与GC压力的优化技术；其核心依据是对象引用是否可能被外部访问，仅对热点代码中不逃逸、字段可分解的小对象生效。
Java 中的逃逸分析（Escape Analysis）是 JIT 编译器在运行时对对象动态生命周期进行分析的一种优化技术。它不改变代码逻辑，而是通过判断对象是否“逃逸”出当前方法或线程的作用域，决定能否应用栈上分配（Stack Allocation）和标量替换（Scalar Replacement）来减少堆内存分配与 GC 压力。
逃逸分析的核心判断依据
一个对象是否“逃逸”，关键看它的引用是否可能被外部方法、线程或全局变量访问到：
- 对象仅在当前方法内创建、使用，且未作为返回值、未传入其他方法、未赋值给静态/实例字段 → 不逃逸
- 对象被 return 出去、作为参数传给其他方法、写入 this 字段或 static 字段、被其他线程可见（如放入队列、加锁共享）→ 发生逃逸
- 逃逸分析本身由 JVM 自动触发（默认开启），无需手动控制；但结果不可见，需结合 -XX:+PrintEscapeAnalysis 等选项验证
栈上分配：把本该在堆里创建的对象挪到栈帧中
当逃逸分析确认对象不会逃逸，JVM 可能跳过堆分配，直接在当前线程的 Java 栈上分配对象内存。这带来两个好处：一是避免堆内存申请开销；二是对象随方法退出自动回收，不参与 GC。
- 栈上分配不是语法层面的“new 在栈上”，而是 JIT 编译后的优化行为，源码仍是 new Object()
- 只适用于局部、无逃逸、大小可预估的对象；数组、大对象、含 finalizer 的对象通常不适用
- 可通过 -XX:+DoEscapeAnalysis -XX:+EliminateAllocations 启用（JDK 8+ 默认开启）
标量替换：拆对象为基本字段，彻底消除对象实体
如果对象不逃逸，且其所有字段都是可静态分析的（即能被分解为基本类型或不可变引用，如 int、long、String 字面量等），JVM 可进一步执行标量替换——不分配对象本身，而是将字段逐个当作独立局部变量处理。
立即学习“Java免费学习笔记（深入）”；
- 例如：Point p = new Point(1, 2)；若 Point 仅含 public final int x, y，且 p 不逃逸，则 x 和 y 可能直接存为两个 int 局部变量
- 标量替换后，不仅省去对象头、对齐填充等内存开销，还可能触发后续优化（如公共子表达式消除、寄存器复用）
- 依赖逃逸分析结果，也受 -XX:+EliminateAllocations 控制；-XX:+PrintIRDuringCompilation 可观察替换后的中间表示
实际效果与注意事项
这两项优化对高频创建短生命周期小对象（如迭代器、包装类、临时 DTO）特别有效，但有明确边界：
- 仅作用于热点代码（被 JIT 编译的方法），冷路径无效
- 对象一旦发生逃逸（哪怕只是日志打印 toString() 或被 synchronized 修饰），优化立即失效
- 现代 JDK（11+）中，标量替换在某些场景下被弱化（如涉及复杂控制流或反射调用时保守放弃）
- 不能替代手动对象复用（如 ThreadLocal、对象池），但可降低对它们的依赖强度
