java - 协方差在这里安全吗？

Question

class Food{}

class Meat extends Food{}

class Animal{
    void feed(Food f){}
}

class Lion extends Animal{
    void feed(Meat m){}
}


void foo(Animal a){
   Food f = new Food();
   a.feed(f);
}

如果我们发送到 foo(new Lion()) 会发生什么？我知道它会出错，但我需要解释

Answer 1

您的狮子可以吃肉，但它也可以吃任何种类的食物(例如菠菜)。

如果您的 Lion 不能吃任何类型的 Food，那么它就不能被视为 Animal 的实现。

在决定使用子类化和类继承作为构建程序的方法时，理解这一点至关重要:不要使子类比接口(interface)或父类(super class)更具体。

要使子类化以解决问题(而不是制造问题)的方式工作，您需要遵守以下准则:All subclasses must be functionally equivalent to the super-class (Liskov Substitution Principle)这意味着提供对三个不同数据库的数据库访问的三个类很适合作为公共(public)类的子类(或者可能共享公共(public)接口(interface))，因为“功能”是“提供数据库访问”。

您的狮子示例的不足之处在于，根据您对现实世界中动物的定义，狮子不是动物，因为它是真实的世界狮子不吃任何种类的食物。现实世界中的狮子的进食能力比未知动物的一般定义更为具体。正是这种功能差异使得将现实世界中的狮子建模为动物的特定定义的子类并不合适。

您可以通过让 Animal“吃食物”方法抛出 IncompleteFoodException 轻松解决此问题，这会将 Animal 的定义从“吃食物”的东西到“吃或拒绝食物”的东西。