Java构造器与继承机制概述
在Java的面向对象编程中，构造器（Constructor）是用于创建和初始化对象的特殊方法。关于构造器与继承，一个常见的误解是子类会继承父类的构造器。然而，Java语言规范明确指出：构造器不是类的成员，因此它们不会被子类继承。尽管如此，在子类实例化过程中，父类的构造器却总会被执行。这背后的机制是Java编译器的一种隐式行为。
考虑以下示例代码：
// 父类 A
public class A {
public A() {
System.out.println("A");
}
}
// 子类 B 继承自 A
public class B extends A {
public B() {
System.out.println("B");
}
}
// 主方法进行实例化
public class Main {
public static void main(String[] args) {
B b1 = new B();
}
}当我们运行Main类中的main方法，创建B的实例时，输出结果如下：
A B
这个输出结果可能会令人困惑，因为在B类的构造器public B()中，并没有显式地调用super()来执行父类A的构造器。那么，为什么A会被打印出来呢？
立即学习“Java免费学习笔记（深入）”；
隐式构造器调用：super()的秘密
答案在于Java编译器的行为。当一个子类构造器被调用时，它总会尝试先调用其直接父类的构造器。如果子类构造器的第一行既没有显式调用this(...)（调用本类的其他构造器）也没有显式调用super(...)（调用父类的构造器），Java编译器会自动在子类构造器的第一行插入一个对父类无参构造器的调用，即super()。
因此，上述B类的构造器在编译后，其逻辑等价于：
public class B extends A {
public B() {
super(); // 编译器自动插入
System.out.println("B");
}
}当new B()执行时，实际的调用顺序是：
- 调用B的构造器B()。
- B()构造器的第一行（隐式的super()）被执行，转而调用A的构造器A()。
- A()构造器执行，打印"A"。
- A()构造器执行完毕，控制权返回到B()构造器。
- B()构造构造器继续执行，打印"B"。
这就是为什么即使没有显式调用super()，父类A的构造器也会被执行的原因。
显式构造器调用：处理带参数构造器
上述隐式调用super()只适用于父类存在无参构造器的情况。如果父类没有无参构造器，或者子类需要调用父类的带参数构造器，那么子类就必须显式地调用super(...)。
考虑以下场景：
// 父类 A，只有一个带参数的构造器
public class A {
public A(String message) {
System.out.println("A: " + message);
}
}
// 子类 B 继承自 A
public class B extends A {
public B() {
// 如果不显式调用 super(String)，将导致编译错误
// 因为父类 A 没有无参构造器
super("从B类调用"); // 必须显式调用父类的带参构造器
System.out.println("B");
}
public B(int value) {
super("另一个从B类调用，值为：" + value);
System.out.println("B with value: " + value);
}
}
// 主方法进行实例化
public class Main {
public static void main(String[] args) {
System.out.println("--- 实例化 B() ---");
B b1 = new B();
System.out.println("--- 实例化 B(10) ---");
B b2 = new B(10);
}
}运行上述代码，输出将是：
--- 实例化 B() --- A: 从B类调用 B --- 实例化 B(10) --- A: 另一个从B类调用，值为：10 B with value: 10
在这个例子中，A类只定义了一个带String参数的构造器A(String message)，而没有定义无参构造器。因此，在B类的任何构造器中，我们都必须显式地通过super("...")来调用A类的带参构造器。如果尝试在B类的构造器中不调用super(...)，编译器将会报错，提示找不到父类的无参构造器。
注意事项与总结
- super()或this()必须是第一条语句：在任何构造器中，如果显式调用super(...)或this(...)，它必须是构造器中的第一条可执行语句。这意味着一个构造器不能同时显式调用super(...)和this(...)，因为它们都要求作为第一条语句。
- 构造器链：这种隐式或显式的super()调用机制，确保了在创建子类对象时，从最顶层的Object类开始，沿着继承链上的所有父类构造器都会被执行，从而保证了对象能够被完整地初始化。
- 无参构造器的重要性：如果一个类没有定义任何构造器，Java编译器会为其自动生成一个公共的无参构造器。但如果一个类定义了至少一个带参数的构造器，编译器就不会再自动生成无参构造器。在这种情况下，如果子类需要使用无参构造器，或者父类只提供带参构造器，那么子类就必须显式处理构造器调用。
- 目的：构造器主要用于初始化对象的状态，而非定义可继承的行为。继承是关于方法和字段的，构造器是关于对象创建流程的。
通过理解Java构造器这种隐式与显式调用机制，开发者可以更准确地控制对象的初始化过程，并避免在继承链中可能出现的初始化问题。
