编程语言的类型推断怎么解决协变和逆变的问题

发布网友发布时间：2023-10-07 21:54

共1个回答

热心网友时间：2023-12-07 10:25

　　关于协变和逆变要从面向对象继承说起。继承关系是指子类和父类之间的关系;子类从父类继承所以子类的实例也就是父类的实例。比如说Animal是父类，Dog是从Animal继承的子类;如果一个对象的类型是Dog，那么他必然是Animal。
　　协变逆变正是利用继承关系对不同参数类型或返回值类型的委托或者泛型接口之间做转变。
　　如果一个方法要接受Dog参数，那么另一个接受Animal参数的方法肯定也可以接受这个方法的参数，这是Animal向Dog方向的转变是逆变。如果一个方法要求的返回值是Animal，那么返回Dog的方法肯定是可以满足其返回值要求的，这是Dog向Animal方向的转变是协变。