重载和重写方法中的多态性

Question

让我们用这个简单的Java代码：

public class Animal {
  public void eat() {
    System.out.println("Generic Animal Eating Generically");
   }
}

public class Horse extends Animal {
  public void eat() {
    System.out.println("Horse eating hay ");
  }

  public void eat(String s) {
    System.out.println("Horse eating " + s);
  }
}

我试图找出这三个ate（）方法的哪个版本将运行。现在，当我键入

Animal a = new Animal();
a.eat();

结果是“普通动物一般地吃”，这是完全可以理解的。

当我输入时也会发生同样的事情：

Horse h = new Horse();
h.eat();

结果是“吃干草的马”，这也是完全合乎逻辑的。

这就是我困惑的地方。当我输入：

Animal ah = new Horse();
ah.eat();

我得到：

Horse eating hay

我期望编译器从动物类引用调用ate（）方法，而不是马对象引用。

所以我的问题是，当我有一个泛型引用变量类型引用一个对象类型时（比如：Animal horse=new horse（）），我如何确定编译器将调用哪个方法；

Answer 1

发生这种情况是因为方法重写。在方法重写中，引用类型无关紧要，重要的是对象类型Animal ah只是对对象的引用，实际对象的类型为Horse。因此，将调用马的方法，而不是引用类型动物的方法。

Answer 2

这在Java中称为动态绑定。explicite对象类型不用于引用类型。

无法使用单个方法调用重写的超级方法和重写方法，请参阅：如何调用超类的重写方法。您可以向马添加一个方法，将调用委托给动物，如：

public class Horse extends Animal {
    public void animalEat() {
        super.eat();
    }

    public void eat() {
        System.out.println("Horse eating hay ");
    }
}

Answer 3

我希望编译器从Animal类引用而不是Horse对象引用调用eat（）方法。

让我们先纠正一下这个说法。变量ah是类型Animal的引用，语句new Horse（）创建类型Horse的实例，并将其分配给Animal引用。

现在术语已经很清楚了，这种行为是可以预期的，被称为运行类型多态性或动态方法调度。在编译时，ate（）基于引用类型解析，引用类型是动物，但是在运行时，将被调用的方法基于实例类型是Ma。

当我有一个引用对象类型的泛型引用变量类型时，如何确定编译器将调用哪个方法

您可以遵循以下简单步骤：

1. 检查正在调用的方法<代码>啊。eat（）正在调用方法eat
2. 查看父类和子类中是否存在具有完全相同签名（返回类型协方差除外）的方法。（是否覆盖了方法？）
3. 检查引用类型。在Animal ah=new Horse（）中，参考类型是Animal，即父类
4. 检查实例类型。在Animal ah=new Horse（）中，实例类型是Horse，它是子类

如果上述所有条件都满足，您将看到运行类型多态性，并且将调用子类中的方法。在任何其他场景中，将根据引用类型解析要调用的方法。

理解子类从父类继承方法也是值得的。假设您从Horse类中删除了public void eat（）方法，您不再过度使用eat（）方法；然而，Horse中的public void eat（String s）方法仍然被认为会使继承自Animal的eat方法负担过重。接下来，让我们在Animal中添加一个public void eat（String s）方法。通过这个添加，您现在在Animal中重载了eat方法，在Horse类中重载了它。无论您如何更改代码，上面提到的4个步骤都将帮助您决定调用哪个方法。