java – 逆变方法参数类型

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了java – 逆变方法参数类型，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含1316字，纯文字阅读大概需要2分钟。

内容图文

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 – 逆变方法参数类型全部内容，希望文章能够帮你解决java – 逆变方法参数类型所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端