继承具有不同参数类型的抽象方法的抽象类

Question

想象一下，我有一个抽象类动物的方法：

public abstract void fetch(Animal ani);

然后我有一个类，用以下内容扩展这个抽象类：

public class GoldenRetriever extends Animal {
       public void fetch(GoldenRetriever pup) { 
             pup.paws = "I have paws"; 
       }
}

我希望每个扩展Animal的类都有一个fetch（）方法。然而，fetch方法为相关动物指定了一些独特的特征（狗的爪子、猫的爪子等）。例如，cat的fetch（）将获取参数fetch（fellinecat kitty）并表示：

public void fetch(FelineCat kitty) { kitty.claws = "I have claws."; }

因此，抓取方法接受了扩展抽象类“动物”（因此是动物）的参数。我在“动物”中定义了抓取（）方法，以接受任何类型“动物”的参数。对我来说，这是有意义的，因为猫和狗都是动物，但是Java说黄金寻回器未能覆盖抽象方法抓取（动物）。这是为什么？

Answer 1

重写另一个方法的方法必须具有完全相同的参数，否则它被称为重载。您的抓取方法必须这样声明：

public void fetch(Animal ani)

Answer 2

该方法不会重写，因为参数类型不同。您必须这样声明方法：

public class GoldenRetriever extends Animal {
    public void fetch(Animal pup) { 

也就是说，参数类型仍然必须是动物，即使您正在编写一个扩展动物的类。

这是有充分理由的。假设你有其他方法

public void someMethod(Animal x) 

您可以传递任何动物作为参数，包括一个GoldenRetriever：

GoldenRetriever gr = ...;
someMethod(gr);

假设在someMethod中，您有这样一个：

public void someMethod(Animal x) {
    FelineCat kitty;
    ...
    x.fetch(FelineCat);

由于Animal的fetch方法可以接受任何Animal，编译器认为进行此调用必须是可以的，因为FelineCat是Animal。它无法知道x实际上是GoldenRetriever。如果它允许重写方法采用GoldenRetriever参数，则会出现问题，因为该参数实际上是FelineCat，而不是GoldenRetriever。那么当多态地调用fetch时，参数类型是错误的，那又怎样呢？

编译器没有办法阻止这一点，因为它没有办法知道x的类型是什么。理论上，Java可以允许重写更改参数类型，并在运行时进行检查（如果它试图获取GoldenRetriever来获取其他类型的动物，可能会抛出ClassCastExctive）。我不知道他们为什么没有，但我确信有很好的理由不这样做。

但您可以自己进行运行时检查：

public class GoldenRetriever extends Animal {
    public void fetch(Animal pup) { 
        if (pup instanceof GoldenRetriever) {
            GoldenRetriever puppy = (GoldenRetriever)pup;
            // now puppy is viewed as a GoldenRetriever, and any methods or
            // instance variables particular to GoldenRetrievers can be accessed
        } else {
           throw new WrongSpeciesException("..."); // or whatever
        }
    }
}

更新：以上答案假设方法签名是您真正想要的。但在Mixone的评论之后，可能是您没有试图设置涉及两种动物的操作，在这种情况下，您根本不应该拥有该参数。像这样的方法

public void fetch(GoldenRetriever pup)

假设你有一个GoldenRetriever将与另一个GoldenRetriever一起做某事，而你只是不想让一个GoldenRetriever与其他种类的动物一起做。在这种情况下，我认为运行时检查是最好的方法。但如果你想要一个只对一只动物有效的手术，那你就写错了。

Answer 3

不确定我是否100%正确地理解了你的问题，但我想我有办法解决你的问题。下面的代码可以工作，但可能不是最优的，因为您必须始终使用泛型参数，但至少键入是正确的。

public abstract class Animal<T extends Animal> {

    public abstract void fetch(T ani);
}

public class GoldenRetriever extends Animal<GoldenRetriever> {

    @Override
    public void fetch(GoldenRetriever ani) {

    }
}