Java对象创建包含严格有序的类加载、静态初始化()和实例初始化()三阶段,任一环节跳过或顺序错乱将引发NPE、IllegalMonitorStateException等隐性问题。

Java对象创建不是简单的一行 new 就完事——它背后有明确的、分阶段的初始化流程,且类加载、静态初始化、实例初始化三者严格有序。跳过任一环节或混淆执行顺序,就会遇到 NullPointerException、IllegalMonitorStateException(在错误时机调用 wait()/notify())、甚至静态字段未初始化就访问等隐性问题。
类加载与链接阶段发生在 new 之前
当你第一次主动使用某个类(比如执行 new MyClass()、访问其静态字段、调用静态方法),JVM 才会触发该类的加载(Loading)、验证(Verification)、准备(Preparation)和解析(Resolution)。注意:此时尚未执行任何 Java 代码。
关键点:
-
static final基本类型常量(如public static final int MAX = 100;)会在准备阶段直接赋值; - 其他静态变量(包括
static Object obj = new Object();)在准备阶段仅设默认值(null、0、false),真实初始化要等到初始化阶段(方法执行); - 如果类加载失败(如
NoClassDefFoundError或ClassNotFoundException),根本不会走到new这一步。
方法执行:静态初始化唯一入口
JVM 会为每个类生成一个私有静态方法 ,它由编译器自动收集所有 static 块和静态字段赋值语句组成,并按源码顺序合并。这个方法只执行一次,且由 JVM 保证线程安全(加锁)。
立即学习“Java免费学习笔记(深入)”;
常见陷阱:
- 在
static块中调用尚未初始化的静态字段,会得到默认值(不是编译错误!); - 若
抛出异常(如ExceptionInInitializerError),该类将永久处于“初始化失败”状态,后续所有对该类的主动使用都会直接抛出同样的错误; - 父类的
总是先于子类执行。
方法执行:从内存分配到构造完成
当 new 指令触发后,JVM 执行以下步骤(不可跳过、不可重排):
- 在堆上为对象分配内存(可能触发 GC,也可能使用 TLAB 加速);
- 将内存空间初始化为零值(
0/null/false),**此时所有实例字段已具备默认值**; - 设置对象头(Mark Word、Klass Pointer 等);
- 执行
方法:即你写的构造器(含隐式调用父类super()); - 构造器内,字段显式赋值、实例初始化块(
{ ... })、构造器语句按源码顺序执行; - 父类构造器总是在子类构造器逻辑开始前完成。
典型反模式示例:
public class Parent {
{ System.out.println("Parent init block"); }
Parent() { System.out.println("Parent ctor"); }
}
public class Child extends Parent {
{ System.out.println("Child init block"); }
Child() { System.out.println("Child ctor"); }
}
输出必为:Parent init block → Parent ctor → Child init block → Child ctor。试图在父类构造器中调用子类被重写的方法,会访问到未初始化完毕的子类字段(值仍为默认值)。
对象创建完成 ≠ 安全发布
即使 执行完毕,对象也未必对其他线程可见。JVM 和 CPU 可能重排序(如先写引用、后写字段),导致其他线程看到“半初始化”的对象。
必须显式保证安全发布:
- 用
final字段(JMM 保证构造器内对其的写入对其他线程可见); - 将对象发布到
volatile字段、AtomicReference或线程安全容器中; - 在同步块内完成构造并发布(如工厂方法加
synchronized); - 避免在构造器中泄露
this(如注册监听器、启动线程、存入全局 Map)。
最容易被忽略的是:即使没有多线程,某些框架(如 Spring、Hibernate)依赖反射或字节码增强,在构造器未结束时就可能通过代理访问对象——这时字段很可能还是默认值。










