[面试题] JVM 是如何创建对象的？对象一定在堆上分配吗？什么是逃逸分析？

📖 版块 A：知识讲解版 (温故知新)

• 对象创建的大体流程：

  1. 检查类是否已经完成加载、解析、初始化。
  2. 确定对象所需内存大小。
  3. 在堆中分配内存。
  4. 将分配到的内存空间初始化为零值。
  5. 设置对象头等必要信息。
  6. 执行构造逻辑，使对象真正可用。

• 对象一定在堆上吗：

  1. 大多数情况下，对象实例会在堆上分配。
  2. 但并不是绝对。
  3. 在 JIT 优化下，如果对象不会逃出当前方法，JVM 可能做标量替换等优化，不以传统堆对象形态存在。

• 逃逸分析（Escape Analysis）：

  1. JVM 分析一个对象的引用范围，判断它是否“逃出”当前方法或线程。
  2. 如果对象没有逃逸，就更容易做栈上分配、标量替换、锁消除等优化。

• 常见收益：

  1. 降低堆分配压力。
  2. 减少 GC 次数。
  3. 提升热点代码执行效率。

🎤 版块 B：面试实战版 (高手逐字稿)

Q：JVM 是如何创建对象的？对象一定在堆上分配吗？什么是逃逸分析？

💬 高手逐字稿：

在 JVM 里，一个 new 操作背后并不是简单地“申请一块内存”这么粗暴，它通常会经历完整的一套创建流程。

首先，JVM 会先检查这个类是否已经被加载、解析和初始化。如果还没准备好，得先把类加载流程走完。接着 JVM 会根据类元数据确定这个对象到底需要多大内存，然后在堆里找合适的位置分配出来。分配完之后，JVM 会先把对象内存清零，再设置对象头里的基础信息，最后再执行构造相关逻辑，让这个对象真正进入可用状态。

大多数情况下，我们会说“Java 对象分配在堆上”，这个说法在面试里通常没问题。但如果问得更深一点，严格来说它不是绝对的。

原因就在于 逃逸分析。JVM 会分析一个对象的引用范围，看它会不会逃出当前方法或者当前线程。如果一个对象只在方法内部短暂使用，外部根本拿不到它，那 JVM 就有机会对它做更激进的优化，比如标量替换，甚至不以传统“堆对象”的形式去处理。

所以逃逸分析的本质，是 JVM 在运行时判断：“这个对象到底值不值得真的去堆里建一个完整实例。”

一旦判断为不逃逸，JVM 后续就更容易做三类优化：

• 栈上分配倾向；
• 标量替换；
• 锁消除。

所以这道题最好的总结是：对象通常在堆上创建，但在 JIT 和逃逸分析的帮助下，JVM 对热点对象分配其实可以比表面看起来更灵活。