C#中的协变与逆变小结
一：什么是协变与逆变
协变指能够使用比原始指定的派生类型的派生程度更大（更具体的）的类型，逆变指能够使用比原始指定的派生类型的派生程度更小（不太具体的）的类型
只有泛型接口和泛型委托参数支持协变和逆变
二：引言
using System;
using System.Collections.Generic;
class MainClass
{
static void Main()
{
object o = "str";
List<object> oList = new List<string>();
IEnumerable<object> strs = new List<string>();
}
}
上面这段代码中，第一句没问题，属于类型安全转换，第二句会报错，因为这两个list并没有继承关系，而第三句是正确的，其实在背后，就是协变和逆变在起作用
三：协变
协变在泛型方法的参数里以out表示，使用out可以在声明父类泛型参数的时候使用子类泛型参数构造，out参数可以单纯的理解为输出，作为返回值例如IEnumerable<T>接口
using System;
using System.Collections.Generic;
class MainClass
{
static void Main()
{
IEnumerable<object> list = new List<string>();
}
}
分析一下上面的代码为什么是合法的呢？首先虽然是用IEnumerable<object>声明的，但是是用List<string>构造的，列表中的元素是string类型。其次IEnumerable的作用只有遍历元素，不允许添加操作，所以是合法的，本质上就是里氏替换原则
四：逆变
逆变在泛型方法的参数里以in表示，使用in可以在声明子类泛型参数的时候使用父类泛型参数构造，int参数只能作为传入值不能作为返回值例如Action<T>委托
using System;
class MainClass
{
static void Main()
{
Action<string> action = new Action<object>((o)=> { });
action("");
}
}
分析一下上面的代码为什么是合法的呢？看似是object转换成了string，但实际上使用委托的时候传入的是一个string类型的参数，然后将string转换成了object，本质上还是派生类到基类的转换，所以是类型安全的，本质上就是里氏替换原则
五：为什么协变和逆变是针对泛型接口或泛型委托参数的？
而不能针对泛型类？
由上可知，协变和逆变都是定义方法成员的(接口不能定义字段只能定义成员)，而方法成员在创建对象时是不涉及到对象内存分配的，所以是类型安全的，而泛型类是模板类，类中可以包含字段， 所以是不安全的
using System;
using System.Collections.Generic;
class MainClass
{
static void Main()
{
object o1 = "";//类型安全
string s1 = (string)o1;//非类型安全
IEnumerable<object> o2 = new List<string>();//协变
Action<string> s2 = new Action<object>((o) => { });//逆变
}
}
六：自定义协变
using System;
using System.Collections.Generic;
class MainClass
{
static void Main()
{
ICustomCovariant<object> o = new CustomCovariant<string>();
}
}
public interface ICustomCovariant<out T>
{
T Get();
}
public class CustomCovariant< T> : ICustomCovariant<T>
{
public T Get()
{
return default(T);
}
}
七：自定义逆变
using System;
using System.Collections.Generic;
class MainClass
{
static void Main()
{
IContravariant<string> o = new CustomContravariant<object>();
}
}
public interface IContravariant<in T>
{
void Get(T t);
}
public class CustomContravariant<T> : IContravariant<T>
{
public void Get(T t)
{
}
}
八：总结
——在泛型中，如果确定泛型参数是只读或者只写的，那么就可以使用协变或者逆变。如果泛型参数无法确定只读或只写，这种类型参数既不能协变也不能逆变，只能精确类型匹配 ——在泛型或委托中，如果不使用协变或逆变，那么泛型类型是一个固定类型，而使用协变或逆变的话，则泛型类型可以实现多态化
到此这篇关于C#中的协变与逆变的文章就介绍到这了,更多相关C#协变与逆变内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！
相关文章
这篇文章主要介绍了C#判断上传文件是否是图片以防止木马上传的方法,对于网络安全来说至关重要,需要的朋友可以参考下2014-07-07
这篇文章主要介绍了C#实现的文件上传下载工具类,结合完整实例形式分析了C#操作文件上传与下载功能,并且还可针对上传文件自动命名以避免服务器中的文件名重复,需要的朋友可以参考下2017-11-11
C#/C++ 通过ODBC连接OceanBase Oracle租户的详细过程
近期我们项目正处于将Oracle数据库迁移到OceanBase Oracle租户模式的阶段,考虑到我们项目采用了C++和C#混合开发,并且使用了多种技术,因此存在多种数据库连接方式,C#连接OceanBase的案例相对较少,因此我特意记录下这一过程,感兴趣的朋友一起看看吧2024-05-05
C#使用foreach遍历哈希表（hashtable）的方法
这篇文章主要介绍了C#使用foreach遍历哈希表（hashtable）的方法,是C#中foreach语句遍历散列表的典型应用,非常具有实用价值,需要的朋友可以参考下2015-04-04
这篇文章主要介绍了Unity UGUI的Canvas画布组件使用示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪2023-07-07
本篇文章对Linq的Distinct进行了详细的分析介绍，需要的朋友参考下2013-05-05
这篇文章主要给大家介绍了关于C#中参数数组、引用参数和输出参数的相关资料，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2018-05-05
这篇文章主要为大家详细介绍了C#如何使用Linq实现简单去重处理功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下2025-02-02
System.IO命名空间包含允许在数据流和文件上进行同步，异步及写入的类型,下面是关于c#文件的I/O基本操作讲解,需要的朋友可以参考下2014-03-03
这篇文章主要为大家详细介绍了使用NOPI读取Word、Excel文档内容的方法，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2018-03-03
最新评论