逃逸分析，什么对象可能在栈上分配

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