超类引用不应该能够调用其子类专用的方法，但是

Question

但是，如果超类有一个抽象方法，并且该方法是在它的子类中实现的，这是具体的，那么我们仍然能够使用超类的对象调用子类的方法实现。

怎么会？

对于重载方法也是一样，即使使用超类的引用调用子类，也会调用它的实现。

让我在这里更具体一点。。。

假设动物是一个超类，狗是一个子类。现在，我确实：

Animal a = new Dog();

这意味着a是指动物类，对吗？

现在，如果我这样做了，a.function（）；（假设函数在动物中定义，在狗中覆盖），动物的版本应该被称为是对动物的引用，但事实正好相反。

Answer 1

这意味着超类不能调用在子类中定义的方法，因为超类不知道这些方法。对于抽象方法，超类知道它们，因此可以调用它们。非抽象和非最终方法也会发生这种情况：它们可以由子类修改，而不必注意到超类，而且超类仍然可以正常工作。

您所描述的是编译时间和执行时间（也称为运行时间）之间的区别。在编译时，变量只能调用在变量声明的类型上定义的方法，例如动物，然后动物变量只能调用在动物类中定义的方法。在执行时，方法的执行将由属于对象引用实例的类处理，例如动物=新狗（）；然后动物行为将由狗类中声明的行为定义。

例子：

public class Animal {
    abstract void breath();
}

public class Dog extends Animal {
    @Override
    public void breath() {
        System.out.println("Dog breathing");
    }

    public void bark() {
        System.out.println("woof!");
    }
}

public class Client {
    public static void main(String[] args) {
        //animal variable is of type Animal
        //and initialized as a Dog object reference
        Animal animal = new Dog();

        //dog variable is of type Dog (also an Animal)
        //and initialized as a Dog object reference
        Dog dog = new Dog();

        animal.breath();
        dog.breath();

        //line below throws a compiler exception
        //since animal is declared as type Animal
        //not all Animals know how to bark
        animal.bark();

        //line below compiles fine
        //since dog is declared as type Dog
        //and Dog's know how to bark
        dog.bark();
    }
}