泛型方法（有界类型）与继承[关闭]

Question

我有一个典型的问题，什么是更好的，我认为答案总是视情况而定，但我还是想澄清一下。所以有两种方法：

public static <A extends Animal, F extends Food> void feed(A animal, F food) {
    animal.setFood(food);
}

public static void feed(Animal animal, Food food) {
    animal.setFood(food);
}

逻辑是：

Cat cat = new Cat(); // Cat is a child of Animal
Dog dog = new Dog(); // Dog is a child of Animal

Pork pork = new Pork(); // Pork is a child of Food
pork.setName("Whiskas");
Beef beef = new Beef(); // Beef is a child of Food
beef.setName("Pedigree");

AnimalService.feed(cat, beef);
AnimalService.feed(dog, pork);

cat.eat(); // prints I'm eating Pedigree
dog.eat(); // prints I'm eating Whiskas

我知道由于类型擦除，方法签名存在冲突，所以我的问题不是“为什么我不能同时拥有这两个方法？”，而是“你会选择哪种方法？”。

Answer 1

正如你所说，这要看情况而定。您需要记住，泛型是一种编译时工具，可以帮助编译器进行一些检查，并在违反约束时抛出错误。

在您的例子中，除了参数类型的上限（Animal和Food）之外，您似乎没有任何要违反的约束，因此您不会从使用泛型中获得任何好处-因此我选择基于简单继承的方法。

然而，考虑你正在改变你的<代码>动物< /代码>界面，以定义动物需要的食物种类（从而增加了一个约束，即继承不能帮助你在编译时执行）：

interface Animal<F extends Food> { ... }

class DogFood implements Food { ... }
class CatFood implements Food { ... }
class Whiskas extends CatFood { ... }

class Dog implements Animal<DogFood> { ... }
class Cat implements Animal<CatFood> { ... }

现在feed（）可以使用泛型让编译器帮助您选择正确的食物类型：

<F extends Food> void feed(Animal<F> animal, F food) { ... }

//this should compile because Cat defines Food needs to be CatFood
feed(new Cat(), new CatFood());

//this should also compile because Whiskas is CatFood
feed(new Cat(), new Whiskas());

//this shouldn't compile because DogFood is not CatFood
feed(new Cat(), new DogFood());