逆变协变的再理解

一、逆变协变是只针对于有泛型的地方，如泛型类，泛型委托（函数类型变量）

如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