对象逃逸指其引用被传递到当前方法或线程之外；未逃逸对象可能栈上分配或标量替换，以减少GC压力。JVM通过逃逸分析自动优化，开发者无需干预但可优化代码以利于该机制。
不是所有对象都在堆上。JVM通过逃逸分析（Escape Analysis）判断对象是否可能被其他线程或方法访问，若确定不会“逃逸”，就可能将其分配在栈上（标量替换或栈上分配），甚至直接拆解为基本变量（消除对象本身）。
什么是对象逃逸
一个对象发生“逃逸”，是指它被创建后，其引用被传递到当前方法或线程之外，例如：作为返回值、赋给静态字段、传入其他线程、或作为参数调用外部方法。一旦逃逸，JVM必须保证该对象在堆中存活，供多处安全访问。
反之，如果对象仅在当前方法内使用，且引用未传出，就属于“未逃逸”，具备栈上分配的前提条件。
栈上分配如何工作
栈上分配（Stack Allocation）是JIT编译器的优化行为，并非Java语言规范要求，也非每次必发生。它依赖以下条件：
立即学习“Java免费学习笔记（深入）”；
- 开启逃逸分析（JDK 6u23+默认开启，可通过-XX:+DoEscapeAnalysis显式确认）
- 对象未逃逸，且大小适中（过大对象仍倾向堆分配）
- 运行时热点代码已被JIT编译（解释执行阶段不触发）
注意：栈上分配的对象随方法结束自动销毁，不经过GC，降低堆压力和GC频率。
标量替换更进一步
若对象未逃逸，且其字段可被单独访问（即不以整体引用形式存在），JVM可能进行标量替换（Scalar Replacement）：把对象拆成若干基本类型或引用类型变量，直接分配在栈帧的局部变量表中。
例如：
public Point createPoint() {
return new Point(1, 2); // 若Point未逃逸，x/y可能直接存为两个int局部变量
}
此时连“对象结构”都不存在，彻底消除对象头和对齐填充开销。
如何验证是否发生栈上分配
可通过JVM参数辅助观察：
- -XX:+PrintEscapeAnalysis：打印逃逸分析结果（如“allocated on stack”）
- -XX:+PrintGCDetails：对比开启/关闭逃逸分析（-XX:-DoEscapeAnalysis）时的GC次数与堆占用变化
- JDK 9+ 可配合-XX:+UnlockDiagnosticVMOptions -XX:+PrintInlining查看内联与优化日志
实际效果高度依赖代码模式、JVM版本及运行时profile，简单循环创建短生命周期对象更容易被优化。
基本上就这些。逃逸分析是JVM自动做的透明优化，开发者无需手动干预，但理解它有助于写出更易被优化的代码——比如减少不必要的对象暴露、避免过度封装临时数据。
