逃逸分析与栈上分配#

逃逸类型：

• 方法逃逸：对象被方法外引用（如 return、赋值给类变量）
• 线程逃逸：对象被其他线程访问（如赋给共享变量）
• 不逃逸：对象只在方法内使用

优化手段（对象不逃逸时）：

1. 栈上分配：对象直接在栈帧中分配，方法结束自动释放，无需 GC
2. 标量替换：把对象拆散为基本类型字段，各自作为局部变量

   // 优化前
   Point p = new Point(1, 2);
   return p.x + p.y;
   // 优化后（标量替换）
   int x = 1, y = 2;
   return x + y;

   java
3. 锁消除：如果对象不逃逸，其上的 synchronized 可以被消除

JVM 参数：

• -XX:+DoEscapeAnalysis（默认开启）
• -XX:+EliminateAllocations（标量替换）
• -XX:+EliminateLocks（锁消除）

逃逸分析是JIT编译器的一项重要优化技术，它的核心是分析一个对象是否会逃出当前方法或线程的作用范围。逃逸分两种：方法逃逸是指对象被return出去或赋值给类变量，线程逃逸是指对象被其他线程访问。如果分析出对象不逃逸，JVM可以做三种优化：第一是栈上分配，把对象直接分配在栈帧上，方法结束随栈帧一起回收，完全不需要GC参与，这对减轻GC压力很有帮助；第二是标量替换，把对象拆解为基本类型的局部变量，比如一个Point对象拆成两个int变量，连对象头的开销都省了；第三是锁消除，如果对象只在当前线程可见，那它上面的synchronized就是多余的，可以直接消除。这三个优化JDK8默认都开启，通过DoEscapeAnalysis、EliminateAllocations和EliminateLocks参数控制。需要注意的是只有不逃逸的对象才能享受这些优化，一旦对象逃逸出方法就只能老老实实在堆上分配。

追问方向：

• “怎么验证逃逸分析是否生效？”→ 关闭逃逸分析（-XX:-DoEscapeAnalysis）对比 GC 次数和频率，生效时 GC 显著减少；也可用 -XX:+PrintEscapeAnalysis 查看分析结果
• “标量替换对性能提升大吗？”→ 效果显著，消除了对象头开销和堆分配/GC 压力，频繁创建短生命周期小对象的场景（如循环内 new Point）性能可提升数倍
• “HotSpot 有真正的栈上分配吗？”→ 严格来说没有，HotSpot 通过标量替换间接实现类似效果——把对象拆成基本类型局部变量存在栈帧中，而非把完整对象分配在栈上；效果等价但实现不同

易错点：

• ❌ 开了逃逸分析就不分配堆了——只有不逃逸的对象才优化
• ❌ 认为所有短生命周期对象都能标量替换