逃逸分析，什么对象可能在栈上分配
这个问题问得很深入，正好可以衔接我们刚才聊的虚拟线程和内存模型。逃逸分析是JVM在栈上分配对象的关键前提，但需要先澄清一个常见的误解。
核心结论：并非所有小对象都能栈上分配
在HotSpot VM中，几乎所有对象实例默认都是在堆上分配的。栈上分配是一个激进且不保证的优化手段，只针对满足特定条件的对象，且实现方式并非直接在栈上创建对象，而是通过标量替换将对象拆解为局部变量。
触发栈上分配（标量替换）的硬性条件
一个对象想在栈上分配，必须同时满足以下三个关键条件：
- 方法内联：对象必须在一个方法内部被创建，并且该方法会被JIT编译器内联（编译成机器码直接嵌入调用处）。如果方法未被内联，对象生命周期无法被有效分析。
- 非全局逃逸：通过逃逸分析，确定该对象不会逃逸出当前方法或当前线程。这是最核心的条件，下面会详细展开。
- 可标量化：对象的结构必须是“可拆解”的，即其字段类型和数量在编译时完全确定，不涉及复杂继承或虚方法调用。
什么是“非全局逃逸”（栈上分配的核心依据）
在逃逸分析中，对象逃逸状态分为三种，只有前两种有机会触发栈上分配：
| 逃逸状态 | 含义 | 能否栈上分配 |
|---|---|---|
| 全局逃逸 | 对象引用被静态字段存储，或作为返回值返回给调用者，或作为参数传给其他线程。生命周期不可控。 | ❌ 不能 |
| 参数逃逸 | 对象作为参数传递给某个方法，但该对象本身并未在该方法外部被引用。这是分析中的一种特殊状态。 | ✅ 有机会（需结合方法内联） |
| 无逃逸 | 对象所有字段和方法访问都局限在创建它的方法内部，没有被任何外部持有引用。 | ✅ |