java – 逆变方法参数类型

wiki Contravariant_method_argument_type说overriding方法将子类型规则作为函数类型,但除了一个支持逆变量参数类型之外没有其他语言.我也无法想出使用它的任何好处.

例：

class AnimalShelter {
    Animal getAnimalForAdoption() {      ...        }         
    void putAnimal(Animal animal) {      ...        }   
}

class CatShelter extends AnimalShelter {
    ＠Overriding        
    Cat getAnimalForAdoption() {  return new Cat();    }        
    ＠Overriding                    
    void putAnimal(Object animal) {      …        }     
}

我的问题是：

>重写方法的逆变参数类型是否有用？如果是的话,它在哪里？
>方法是函数吗？为什么Scala对函数类型和覆盖方法类型有不同的规则？

解决方法:

Is contravariant argument type of overriding method any of good use? if yes, where it is?

从Sather documentation翻译的示例：

interface Carnivore {
  void eat(Meat food);
}

interface Herbivore {
  void eat(Plant food);
}

interface Omnivore extends Carnivore, Herbivore {
  // overrides both above eat methods,
  // since Meat and Plant are subtypes of Food
  void eat(Food food);
}

Is method a function?

在斯卡拉？不,但它可以转换为函数.

Why Scala has different rule for function type and overriding method type?

因为重写方法类型必须遵循JVM的规则.它可以通过创建桥接方法来完成(在上面的例子中,添加方法eat(Plant)和eat(Meat)只调用eat(Food)),类似于协变返回类型的实现方式,但它会增加复杂性没有太多好处的语言.

标签：java,scala,covariance,contravariance,subtyping
来源： https://codeday.me/bug/20190717/1491252.html