Java对象创建是JVM执行new指令后触发的严格初始化流程,包含类加载检查、内存分配(TLAB/指针碰撞/空闲列表)、零值初始化与对象头设置、构造器执行四步,每步受规范约束且影响性能与诊断。

Java对象的创建,本质上是JVM执行一条new指令后触发的一系列严格、可验证的初始化流程。它不只是简单分配内存,而是融合了类加载检查、内存分配、零值初始化、构造器调用等多个关键步骤,每一步都受JVM规范约束,且存在多种底层实现策略(如TLAB、指针碰撞、CAS重试等)。
类加载检查:对象诞生前的“准入审查”
执行new指令时,JVM首先检查常量池中该类的符号引用是否已解析为直接引用——即确认类是否已被加载、链接(验证、准备、解析)、初始化。若未完成,则触发对应的类加载过程。注意:这里只检查“是否已加载”,不强制初始化;但若该类是首次主动使用(如访问静态字段或方法),则会触发初始化阶段(执行)。
- 常见触发点:第一次
new某个类实例、第一次读写静态字段(非final)、第一次调用静态方法 - final静态常量(编译期确定)不会触发初始化,因其在准备阶段就已赋值
- 数组类型不经过类加载(如
new int[10]),但其元素类型(如int)是基本类型,无需加载
内存分配:堆中划出一块“干净地盘”
类加载检查通过后,JVM在堆中为新对象分配内存。分配方式取决于垃圾收集器和堆内存布局:
- 指针碰撞(Bump the Pointer):适用于内存规整的GC算法(如Serial、ParNew + Serial Old)。堆内存被分为“已用”和“空闲”两块,仅需移动一个指针即可完成分配
- 空闲列表(Free List):适用于内存不规整场景(如CMS、G1部分情况)。JVM维护一张记录空闲内存块的列表,分配时从中查找足够大小的区域
-
TLAB(Thread Local Allocation Buffer):绝大多数对象优先在TLAB中分配,避免多线程竞争堆内存锁。TLAB是Eden区中线程私有的小块内存,默认开启,可通过
-XX:+UseTLAB控制
若TLAB不足且未达阈值,JVM尝试在Eden区直接分配;若Eden空间不足,则触发Minor GC;GC后仍不够,就向老年代分配(可能触发Full GC)。
立即学习“Java免费学习笔记(深入)”;
零值初始化与对象头设置:让内存“有模有样”
内存分配成功后,JVM立即对对象实例数据区域进行零值初始化(不执行Java代码中的显式赋值):
- 数值型(
int/long/float/double)→ 0 / 0L / 0.0f / 0.0d - 布尔型(
boolean)→false - 引用类型(
Object等)→null
同时,JVM设置对象头(Object Header),包含两部分:
- Mark Word:存储哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID等,运行期动态变化
- Class Metadata Address:指向方法区中该对象所属类的Klass结构体(元数据入口),用于类型判断和方法分派
此时对象已具备JVM识别所需的基本结构,但尚未执行任何Java构造逻辑。
构造器执行:方法真正赋予对象“生命”
JVM调用对象的构造方法(即方法),这是由javac编译器生成的特殊实例初始化方法,按以下顺序执行:
- 先执行父类构造器(隐式或显式
super()),逐层向上直到java.lang.Object - 再执行本类成员变量的显式初始化(如
private String name = "Tom";) - 最后执行构造器方法体中的代码(
{...}块和this(...)调用)
注意:不是用户写的构造函数本身,而是编译后整合了字段赋值、构造器链、实例代码块的完整初始化逻辑。若构造器抛出异常,JVM会清理已分配内存(但不保证立即回收)。
基本上就这些。整个过程看似简单,实则横跨类加载子系统、内存管理、解释/编译执行多个JVM核心模块,且每步都可能因配置、GC策略、并发场景而表现不同。理解它,有助于诊断OOM、分析对象逃逸、优化TLAB大小,甚至读懂JIT编译后的汇编指令。










