构造方法链要求每个构造方法第一行必须调用this()或super(),二者互斥且决定初始化时序;未显式调用时编译器自动补super(),若父类无无参构造则报错;对象创建按内存分配、静态块、父类实例块/构造、子类实例块/构造顺序执行。

构造方法链就是 this() 和 super() 的调用顺序
Java 中的构造方法链,本质是编译器强制要求的初始化链条:每个构造方法必须在第一行显式或隐式调用另一个构造方法(this(...))或父类构造方法(super(...))。没有例外,连空参构造也逃不掉——如果没写,编译器会自动补上 super()。
这个链条决定了字段初始化、实例代码块执行、父类初始化的严格时序。一旦顺序错乱(比如在第二行写 this(...)),编译直接报错:call to this must be first statement in constructor。
为什么不能同时出现 this() 和 super()
因为二者都必须是构造方法的第一条语句,而一个方法只能有一个“第一行”。更深层原因是语义冲突:this(...) 表示“把当前对象的构造委托给本类另一个构造”,super(...) 表示“先完成父类初始化”,两者逻辑互斥——你不可能既委托给自己、又先去初始化父类。
- 写了
this(...)→ 编译器不再插入super(),但被调用的那个构造方法仍需满足链式规则 - 没写任何
this或super→ 编译器默认加super()(仅限无参父构) - 父类没有无参构造,且子类没显式调
super(...)→ 编译失败:constructor Parent() is undefined
对象创建时的真实执行顺序
new 表达式触发的不是单个构造方法,而是一整套按固定顺序展开的动作。以下以 new Child("x") 为例(Child extends Parent):
1. 分配内存(所有字段置默认值:0 / null / false) 2. 执行 Parent 类的静态代码块(仅首次加载类时) 3. 执行 Child 类的静态代码块(仅首次加载类时) 4. 执行 Parent 类的实例代码块和字段初始化 5. 执行 Parent 的构造方法体 6. 执行 Child 类的实例代码块和字段初始化 7. 执行 Child 的构造方法体
注意:实例代码块和字段初始化语句,在字节码中被编译进构造方法体开头(紧挨在 super() 或 this() 之后),所以它们的执行时机取决于你调的是哪个构造入口。
容易被忽略的陷阱:字段初始化 vs 构造方法体中的赋值
看似等价的两行代码,行为可能完全不同:
class Example {
String s = init(); // 实例代码块级初始化,发生在 super() 之后、构造体之前
Example() {
s = init(); // 构造体中赋值,发生在所有父类初始化完成后
}
String init() { return "done"; }
}
区别在于:如果 init() 依赖父类已初始化的状态(比如调用了被子类重写的方法),前者可能拿到 null 或未定义行为(因父类构造尚未结束,多态调用会指向子类方法,但子类字段还未初始化);后者则安全得多。
真正复杂的点不在语法,而在理解「字段初始化嵌入到哪一层构造调用中」——它取决于你从哪个构造方法进入,而不是声明位置。









