调用子类构造函数的超类对象？那是怎么回事？

Question

public class NewClass 
{ 
    public static class superclass 
    { 
        static void print() 
        { 
            System.out.println("print in superclass."); 
        } 
    } 
    public static class subclass extends superclass 
    { 
        static void print() 
        { 
            System.out.println("print in subclass."); 
        } 
    } 

    public static void main(String[] args) 
    { 
        superclass A = new superclass(); 
        superclass B = new subclass(); //This line?
        A.print(); 
        B.print(); 
    } 
} 

Answer 1

在准备我的答案时，我发现我不得不用两种不同含义的词超类和子类。我将把这些类重命名为thing和car，并使用“超类”和“子类”作为一般概念。

public class NewClass 
{ 
    public static class Thing
    { 
        static void print() 
        { 
            System.out.println("print in superclass."); 
        } 
    } 
    public static class Car extends Thing
    { 
        static void print() 
        { 
            System.out.println("print in subclass."); 
        } 
    } 

    public static void main(String[] args) 
    { 
        Thing A = new Thing(); 
        Thing B = new Car(); //This line?
        A.print(); 
        B.print(); 
    } 
}

表达式new Car()总是创建Car类型的实例。总是。结果是对CAR实例的引用。

现在，您可以将CAR实例的[引用]存储到允许CAR实例的任何类型的变量中。那就是：

null

    Thing B = new Car(); //This line?

它创建一个新的CAR实例，因此当然调用CAR构造函数(*1)(*2)。然后，它将对该实例的引用存储在变量b中，该变量允许所有类型的thing实例，只要它们继承自thing，并因此支持thing对象的所有内容。

发生了什么

    B.print();

它调用由b引用的实例的print()方法。由于该实例是CAR实例，因此您得到的是CAR.print()结果，而不是thing.print()。

我建议您习惯Java命名惯例，例如，类名总是以大写字母开头，变量总是以小写字母开头。Java人员非常习惯于这些约定，以至于我们发现阅读不遵循这些规则的代码真的很困惑。

(*1)在您的例子中，构造函数不是显式定义的，而是由Java编译器自动生成的。

(*2)子类构造函数总是调用其超类的构造函数，依此类推直到对象构造函数，以初始化子类从其超类继承的实例的所有方面。