标签:fun1 fun2 逆变 void Fruit 理解 协变 泛型
一、逆变协变是只针对于有泛型的地方,如泛型类,泛型委托(函数类型变量)
如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
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。