超类引用无法在Java中调用子类方法

Question

我对Java中的多态性有基本的疑问。我已经在一个名为AnimalTestDrive.java的文件中编写了以下代码。根据我的说法，以下代码应专门以粗体显示该行，但不幸的是，它不能。您能否解释为什么，我给出了以下错误：

class Dog extends Animal {

    public void dogMethod() {
        System.out.println("In Dog method");
    }
}

public class AnimalTestDrive {
    public static void main(String args[]) {
        Dog d = new Dog();
        d.dogMethod();
        d.animalMethod();

        Animal animal = new Animal();
        animal.animalMethod();

        animal = d;
        **animal.dogMethod(); // THIS IS NOT WORKING**

    }
}

Answer 1

让我们尝试以与编译器相同的方式查看此行：

animal.dogMethod();

首先，它需要弄清楚是什么animal意思。很好而且很容易-它是当前方法中的局部变量，因此它不需要花很多时间。

该变量的编译时类型为Animal。编译器不在乎在执行时变量的 值 是什么-它仅使用有关已声明类型的信息。

因此，这就是它用来尝试查找，即type
dogMethod()上下文中的含义的方式。首先它查找，然后是（的隐式超类）-但这些类都不包含的声明。到那时，编译器不得不放弃一个错误-
它找不到方法。该方法可在该值所引用的对象的 执行时
类型上使用。它只能在编译时使用编译时可用的信息来绑定它。animal``Animal``Animal``java.lang.Object``Animal``dogMethod
__animal

在 执行 时唯一的决定是使用哪种方法的实现-例如，如果您调用了animal.toString()并且Dog该类具有重写，例如

@Override public String toString() {
    return "I'm a dog";
}

那么编译器会发现toString()，从方法java.lang.Object，所以它会知道该方法调用是有效的-但在 执行
中Dog会因为对象的运行时类型的使用。