对象创建分五步:类加载检查、内存分配、零值初始化、对象头填充、执行方法;每步确保类就绪、空间分配、结构完整、字段安全、语义赋予。

对象创建不是一步到位的操作,而是一系列严格有序的步骤,每个环节都影响对象的状态和行为。理解这个全过程,有助于排查初始化异常、内存泄漏或字段值未按预期赋值等问题。
常量池检查与类加载验证
当 new 指令执行时,JVM 首先根据字节码中的符号引用,在当前类的常量池中查找该类的全限定名。如果尚未加载,会触发类加载机制:加载 → 验证 → 准备 → 解析 → 初始化。其中“验证”阶段确保类结构符合 JVM 规范,“准备”阶段为类变量(static)分配内存并设为零值(如 int 为 0、引用为 null),但不执行任何 Java 代码(比如 static 块或赋值语句)。
堆内存分配与指针碰撞/TLAB策略
类加载完成后,JVM 在堆中为新对象分配内存。分配方式取决于垃圾收集器和是否启用 TLAB(Thread Local Allocation Buffer):
- 使用 Serial 或 ParNew 等基于标记-清除的收集器时,通常采用“指针碰撞”——堆内存规整,用一个指针作为分界点,分配即移动指针
- 多线程环境下,为避免同步开销,各线程在自己的 TLAB 中分配;TLAB 耗尽时才在共享 Eden 区同步分配
- 若分配失败(如内存不足),会触发 Minor GC;GC 后仍不足则抛出 OutOfMemoryError
内存初始化为零值与对象头设置
内存分配成功后,JVM 立即将该块内存初始化为零值(不包括对象头)。这保证了即使字段未显式赋值,也能读取到确定的默认值(如 0、false、null)。紧接着,JVM 设置对象头信息,包括:
- Mark Word:存储哈希码、GC 分代年龄、锁状态等运行时数据
- Klass Pointer:指向元空间中该对象所属类的 Class 对象地址
- 数组长度(仅数组对象)
此时对象已具备完整内存布局和运行时标识,但所有实例字段仍为零值或 null,尚未执行任何构造逻辑。
执行 init 方法完成字段赋值与构造逻辑
init 是编译器生成的实例初始化方法,它按以下顺序合并代码:
- 父类字段的显式初始化(如 private int x = 1;)
- 父类构造器调用(super() 或隐式调用)
- 子类字段的显式初始化
- 子类构造器中剩余代码(如 this.xxx = yyy)
这个过程是递归向上的,确保父类完全初始化后再处理子类。若构造器中调用被子类重写的方法(且子类字段尚未赋值),可能读到零值,引发诡异 bug —— 这正是“构造器中避免调用可重写方法”的根本原因。










