本文深入探讨Java中构造器的调用机制，特别是`this()`和`super()`在继承链中的作用。通过一个具体的代码示例，详细解析了构造器如何通过显式或隐式调用父类或同类其他构造器，以及这些调用如何决定代码的执行顺序，最终解释了为何特定输出会产生，而非预期结果。理解这一机制对于掌握Java的面向对象特性至关重要。
在Java的面向对象编程中，构造器（Constructor）是创建对象时执行的特殊方法。当一个类继承自另一个类时，子类的构造器在执行之前，必须先调用其父类的构造器。这一机制通过this()和super()关键字实现，它们共同构成了Java的构造器链。
Java构造器调用规则
Java对构造器的调用有严格的规则：
-
每个构造器都必须以this()或super()调用作为其第一条语句。
- this()用于调用当前类的其他构造器。
- super()用于调用父类的构造器。
- 如果构造器中没有显式地调用this()或super()，Java编译器会自动在构造器的第一行插入一个无参的super()调用。 这意味着，如果父类没有无参构造器，或者无参构造器不可访问，那么子类的构造器将无法编译通过，除非你手动添加一个显式的this()或super()调用。
- java.lang.Object是所有类的根类，它的构造器是唯一一个不需要调用super()的构造器，因为它没有父类。
理解这些规则是分析构造器执行顺序的关键。构造器链的执行总是从最顶层的父类（Object）开始，逐级向下，直到当前类的构造器完全执行完毕。
立即学习“Java免费学习笔记（深入）”；
代码示例分析
考虑以下Java代码，它展示了一个简单的继承结构和构造器定义：
public class Test {
public static void main(String[] args) {
new Circle9();
}
}
class GeometricObject {
GeometricObject() {
System.out.print("A");
}
public GeometricObject(String color, boolean filled) {
System.out.print("B");
}
}
class Circle9 extends GeometricObject {
public Circle9() {
this(1.0);
System.out.print("C");
}
public Circle9(double radius) {
this(radius, "white", false);
System.out.print("D");
}
public Circle9(double radius, String color, boolean filled) {
super(color, filled);
System.out.print("E");
}
}现在，我们来详细追踪new Circle9();的执行流程，并分析其输出：
-
new Circle9();
- 这会调用Circle9类的无参构造器：public Circle9()。
-
进入public Circle9()构造器
- 第一行是this(1.0);。这意味着它会调用Circle9类的另一个构造器，即public Circle9(double radius)。
- 此时，System.out.print("C");语句尚未执行。
-
进入public Circle9(double radius)构造器
- 第一行是this(radius, "white", false);。这意味着它会调用Circle9类的第三个构造器，即public Circle9(double radius, String color, boolean filled)。
- 此时，System.out.print("D");语句尚未执行。
-
进入public Circle9(double radius, String color, boolean filled)构造器
- 第一行是super(color, filled);。这意味着它会调用父类GeometricObject的构造器：public GeometricObject(String color, boolean filled)。
- 此时，System.out.print("E");语句尚未执行。
-
进入public GeometricObject(String color, boolean filled)构造器
- 这个构造器没有显式地调用this()或super()。根据Java规则，编译器会自动在第一行插入super();。这个隐式的super();会调用java.lang.Object的无参构造器。
- 此时，System.out.print("B");语句尚未执行。
-
进入java.lang.Object()构造器
- Object类的构造器不执行任何操作，直接返回。
java.lang.Object()构造器返回
-
回到public GeometricObject(String color, boolean filled)构造器
- 在隐式的super()调用返回后，执行System.out.print("B");。
- 输出: B
public GeometricObject(String color, boolean filled)构造器返回
-
回到public Circle9(double radius, String color, boolean filled)构造器
- 在super(color, filled)调用返回后，执行System.out.print("E");。
- 输出: BE
public Circle9(double radius, String color, boolean filled)构造器返回
-
回到public Circle9(double radius)构造器
- 在this(radius, "white", false)调用返回后，执行System.out.print("D");。
- 输出: BED
public Circle9(double radius)构造器返回
-
回到public Circle9()构造器
- 在this(1.0)调用返回后，执行System.out.print("C");。
- 输出: BEDC
public Circle9()构造器返回
最终的输出是BEDC。
为什么"A"没有被打印？
通过上述详细的执行流程，我们可以看到，GeometricObject类中的无参构造器GeometricObject()从未被直接或间接地调用。所有的构造器链最终都指向了GeometricObject(String color, boolean filled)构造器。因此，打印"A"的代码行从未被执行。
关键点与注意事项
- 构造器链的唯一性： 每个构造器只能在第一行调用一个this()或super()。不能同时调用两者，也不能在其他位置调用。
- 理解调用栈： 构造器的执行顺序是“先向上追溯，再向下执行”。即，所有父类的构造器（以及通过this()调用的同类构造器）必须在当前构造器体内的语句执行之前完成。
- 编译器的隐式行为： 记住，如果你的构造器没有显式调用this()或super()，编译器会自动为你添加super();。这是Java语言规范的一部分，确保了父类构造器总是能被执行。
- 无参构造器的重要性： 在继承体系中，如果子类构造器没有显式调用super()，并且父类没有可访问的无参构造器，将导致编译错误。
总结
Java的构造器链机制是其面向对象特性的核心组成部分，它确保了对象在创建时能够正确地初始化其所有继承层次的成员。通过this()和super()关键字，开发者可以精确控制构造器的调用顺序。深入理解这些规则，特别是隐式super()的行为以及调用栈的执行流程，对于编写健壮、可维护的Java代码至关重要。
