.NET中的逆变和协变

协变,可以理解成:父类 -> 子类。父类的对象用子类替换,也可以理解成子类当父类用。

抗变,可以理解成:子类 -> 父类。子类的对象用父类替换,也可以理解成父类当子类用。抗变也常常翻译为逆变。

在c#的语言中,很多地方的调用已经隐藏了协变和抗变的使用。函数的返回类型默认是抗变的。例如,函数Func的返回类型为string,我们可以将返回的值赋给object对象。

函数的参数类型则默认是协变的。例如,函数Act的输入参数为object类型,实际操作中我们可以将string类型的对象传给函数。

在泛型接口的定义中,如果泛型类型T用out关键词标注,这个泛型接口就是协变的。而且在接口的代码里面,T只能用作返回类型,不能用作参数类型。

如果泛型类型T用in关键词标注的话,这个接口就是抗变的。在接口的代码里面,T只能用作函数的参数类型,而不能用作返回类型。

1、什么是协变、逆变?

假设:TSub是TParent的子类。

协变:如果一个泛型接口IFoo,IFoo可以转换为IFoo的话,我们称这个过程为协变,IFoo支持对参数T的协变。

逆变:如果一个泛型接口IFoo,IFoo可以转换为IFoo的话,我们称这个过程为逆变,IFoo支持对参数T的逆变。

2、为什么要有协变、逆变?

通常只有具备继承关系的对象才可以发生隐式类型转换,如Base b=new sub()。

协变和逆变可以使得更多的类型之间能够实现隐式类型转换、类型安全性有了保障。

3、为什么泛型接口要引入协变、逆变?

基于以上原因的同时、许多接口仅仅将类型参数用于参数或返回值。所以支持协变和逆变后泛型的使用上有了更大的灵活性

4. 为什么协变和逆变对泛型有很多限制?

否则的话,这样的类型转换不安全。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 前言 人生苦多,快来 Kotlin ,快速学习Kotlin! 什么是Kotlin? Kotlin 是种静态类型编程...
    任半生嚣狂阅读 26,327评论 9 118
  • 前言 泛型(Generics)的型变是Java中比较难以理解和使用的部分,“神秘”的通配符,让我看了几遍《Java...
    珞泽珈群阅读 7,987评论 12 51
  • object 变量可指向任何类的实例,这让你能够创建可对任何数据类型进程处理的类。然而,这种方法存在几个严重的问题...
    CarlDonitz阅读 948评论 0 5
  • 第8章 泛型 通常情况的类和函数,我们只需要使用具体的类型即可:要么是基本类型,要么是自定义的类。但是在集合类的场...
    光剑书架上的书阅读 2,161评论 6 10
  • 你必须十分努力,才能看起来毫不费力。每一个精彩的女子,都将学会与自己谈 心。每一个精彩的女子,都在努力地生活。你,...
    南有西柚阅读 281评论 0 1