其他分享
首页 > 其他分享> > 逆变协变的再理解

逆变协变的再理解

作者:互联网

一、逆变协变是只针对于有泛型的地方,如泛型类,泛型委托(函数类型变量)

如delegate void Function<in T>(T t);

class Foo<out T> {...}

二、逆变协变这个概念可以先不管,优先看in和out关键字,in和out都是修饰的泛型类型T(当然也可以叫其他的),因此in T表示T只能用于输入,即只能用作参数类型;

而out T表示T只能用于输出,即T只能是函数/方法返回值类型;

三、基于二中对in和out的定义(只能用于输入或输出),才衍生出逆变协变的概念;而且这个逆变协变是针对泛型类变量或泛型委托变量:

如代码:

// 这个泛型委托是逆变的【而不是T是委托的】
// in T 表示T只能用于输入(即参数)【所以这里void不能替换为T】
delegate void Func<in T>(T t);

// Apple集成自Fruit
void func() {
  // 这个代码没啥好看的,因为函数变量的定义和函数实例的定义是一模一样的,因此必然可以
  Func<Fruit> fun1 = fruitFunc; 
  // 这里很重要】由于Func是逆变的(或者说fun2和fun1都是逆变的),因此fun1可以赋值给fun2,这里是因为fun2是只能输入Apple对象因此它一定不会触发类型转换异常,因为Apple继承了Fruit
//【即fun2调用的时候的参数输入一定是Fruit的子类,匹配fun1的调用参数】
// 而反过来,fun2不能赋值给fun1,因为假设fun2的函数对象是参数为Apple的,它赋值给了fun1的时候,由于fun1的调用参数可以是Fruit,那么此时就相当于调用fun2的参数是Fruit自然会报错。
Func<Apple> fun2 = fun1; } void fruitFunc(Fruit f) {}

 

标签:fun1,fun2,逆变,void,Fruit,理解,协变,泛型
来源: https://www.cnblogs.com/silentdoer/p/15217959.html