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

类加载检查:对象创建的第一道关卡
当 JVM 遇到 new 指令(例如 new User()),第一步不是分配内存,而是检查该类是否已就绪。JVM 会去当前类的运行时常量池中查找对应类的符号引用,并确认它是否已完成加载、验证、准备、解析、初始化这五个阶段。
若未完成,JVM 会立即启动类加载流程:通过双亲委派模型,由 Bootstrap → Extension → Application 类加载器逐级尝试加载;成功后在方法区生成 Class 对象,静态变量完成默认赋值(准备阶段)和显式赋值(初始化阶段);此时类才真正“可用”。
这个检查不可跳过——没有 Class 对象,JVM 就无法知道字段数量、方法表结构、实例大小等关键信息,后续所有步骤都无从谈起。
内存分配:堆中划出一块确定大小的空间
类加载检查通过后,JVM 根据 Class 对象中记录的实例数据布局,精确计算出该对象所需内存大小。分配发生在 Java 堆中,具体策略取决于垃圾收集器:
- 指针碰撞(Bump the Pointer):适用于使用标记-整理或复制算法的 GC(如 Serial、Parallel)。堆内存规整,仅需移动一个指针即可完成分配,速度快;并发下用 CAS + 失败重试保证原子性。
- 空闲列表(Free List):适用于标记-清除类 GC(如 CMS)。堆内存碎片化,需维护一张可用块链表,遍历匹配合适大小;分配开销略高,但更灵活。
- TLAB(Thread Local Allocation Buffer):为每个线程在 Eden 区预分配一小块私有空间,绝大多数对象优先在 TLAB 中分配,避免加锁,大幅提升并发性能。
大对象(如长数组)可能直接分配到老年代;对象初始分配位置还受 JVM 参数(如 -XX:PretenureSizeThreshold)影响。
零值初始化与对象头填充:让对象具备基本结构
内存分配完成后,JVM 立即对这块内存进行零值初始化(不包括对象头):
- 基本类型字段:int → 0,long → 0L,boolean → false,float → 0.0f 等
- 引用类型字段:全部设为 null
这一步保障了即使程序员没写显式初始化,字段也能安全读取(不会出现随机值),是 Java 安全性的底层支撑之一。
紧接着是设置对象头(Object Header),这部分位于对象起始处,包含两类核心信息:
- Mark Word:存储哈希码(延迟计算)、GC 分代年龄(4 bit)、锁状态标志(无锁/偏向锁/轻量级锁/重量级锁)、持有锁的线程 ID(偏向锁时)、epoch(偏向锁时间戳)等
- 类型指针(Klass Pointer):指向方法区中该对象所属类的元数据(Class 对象),用于动态类型识别和虚方法分派
- (数组对象额外有 数组长度 字段)
此时对象在堆中已具备完整内存布局和基础元数据,但字段值仍是默认零值,尚未体现业务逻辑。
执行 <init> 方法:真正赋予对象语义
最后一步是调用实例构造器——即编译器生成的 <init> 方法。它不是 Java 源码中的构造函数本身,而是由编译器将构造函数代码、字段显式初始化、实例初始化块({...})按顺序合并生成的字节码方法。
执行过程包括:
- 先调用父类的 <init>(隐式或显式
super()),确保继承链自顶向下初始化 - 为实例变量赋显式初值(如
private int id = 100;) - 执行构造函数体内的代码(含参数处理、业务逻辑)
- 执行实例初始化块(按源码书写顺序)
至此,对象才真正“活”起来:字段有了业务含义的值,对象状态可被安全访问,引用可以压入栈帧供后续使用。栈中 reference 指向堆中这个已完全初始化的对象实例。

















