在Java子类中专门化方法参数

Question

请考虑以下情况：

public abstract class AnimalFeed{
}
public class FishFeed extends AnimalFeed{
}
public class BirdFeed extends AnimalFeed{
}

public abstract class Animal{

public void eat(AnimalFeed somethingToEat)

}

现在，我想定义一个扩展“动物”类的“鸟”类，以确保当鸟吃时，它只吃BirdFeed。

一种解决方案是指定一种合同，其中“ eat”的调用者必须传递适当提要的实例。

public class Bird extends Animal{

@Override 
public void eat(AnimalFeed somethingToEat){

    BirdFeed somethingGoodForABird

    if(somethingToEat.instanceOf(BirdFeed)){
    somethingGoodForABird = (BirdFeed) somethingGoodForABird
    }else{
    //throws error, complaining the caller didn't feed the bird properly
    }
}
}

将参数的责任委托给调用者是否可以接受？如何强制调用者传递参数的特殊化？有替代设计解决方案吗？

Answer 1

您需要向该类添加类型变量：

public abstract class Animal<F extends AnimalFeed> {
  public abstract void eat(F somethingToEat);
}

然后，您可以将子类声明为需要特定类型的AnimalFeed：

public class Bird extends Animal<BirdFeed> {
  public void eat(BirdFeed somethingToEat) {}
}

public class Fish extends Animal<FishFeed> {
  public void eat(FishFeed somethingToEat) {}
}