知识大全 C#2010协变和逆变的新特性

Posted 2022-07-18 知

篇首语：守望相助，一缕阳光也将照亮心扉；同心协力，一点火光也能温暖灵魂。本文由小常识网(cha138.com)小编为大家整理，主要介绍了知识大全 C#2010协变和逆变的新特性相关的知识，希望对你有一定的参考价值。

C#2010协变和逆变的新特性 以下文字资料是由(全榜网网www.cha138.com)小编为大家搜集整理后发布的内容，让我们赶快一起来看一下吧！

　　协变和逆变开发时经常与到以下的问题首先看代码:

　　定义一个水果类和继承了该类的苹果类

　　public class Fruitpublic string Name get; set;

　　public class Apple : Fruit

有一个方法接收一个元素类型为Fruit的泛型集合如下所示

　　static void Output(List fruits)foreach (Fruit f in fruits)Console WriteLine(f Name);

由于Apple类继承自Fruit 所以很自然的认为以下代码应该能够正常运行

　　static void Main(string[] args)List apples = new List();

　　Output(apples);

　　Console ReadLine();

但实际上在 NET Framework 以前的版本中这段代码不能通过编译还有另外一种相似的情况在Windows窗体应用程序中鼠标点击事件和键盘按键事件拥有不同类型的事件参数MouseEventArgs和KeyPressEventArgs 这两个类均继承自EventArgs 如果希望在这两件事件触发时执行相同的操作期望编写以下通用的事件处理程序附加到两个事件上是行不通的

　　private void Form _UserAction(object sender EventArgs e)

只能须创建两个单独的事件处理程序来执行操作

　　Visual C# 中引入的协变和逆变解决了类似于这样的问题

　　在泛型接口和委托中协变（covariance）可以使用泛型参数所定义类型的继承类型逆变（contravariance）用于使用更一般的类型一个泛型接口或委托的泛型参数被声明为协变或逆变时该接口或委托称为变体在 NET Framework 和Visual Studio 中 C#和Visual Basic均支持变体泛型接口和委托并且允许泛型参数的隐式转换而且这两种语言都允许创建自定义变体接口和委托变体只支持引用类型值类型不支持变体

　　使用协变第一个问题可以解决这些代码在Visual Studio 中能够正确编译并运行使用逆变可以解决第二个问题这时事件处理程序使用了更一般的类型（该事件的委托允许使用更一般的类型）

　　接口中的变体在 NET Framework 中对一些已存在的泛型接口引入了变体支持这支持实现了这些接口的类的隐式转换

　　这些接口是

　　IEnumberable IEnumerator IQueryable IGrouping IComparer IEqualityComparer IComparable

开发人员还可以在泛型类型参数上使用in和out关键字以声明变体泛型接口

　　使用out关键字声明协变泛型参数例如以下代码

　　interface IFileCollection

　　但是该变体类型T必须遵守以下规则

　　该类型不能作为方法参数而只能作为返回类型

　　interface IFileCollection T IndexOf(int i);

　　第一个规则有一个特殊情况是当方法参数是逆变泛型委托时可以将该类型作为该委托的泛型类型参数

　　interface IFileCollection void Delete(Action file);

　　该类型不能作为接口方法中泛型类型的约束例如以下代码是错误的

　　interface IFileCollection void Display where R : T;

使用in关键字声明逆变泛型参数逆变类型仅能用于方法的参数和泛型类型约束而不能作为返回类型

　　interface IOperator void Increace(T value);

　　void Double () where R : T;

可以在一个接口中同时使用out和in定义协变和逆变但仍需遵守相应规则

　　实现变体接口时语法与普通接口语法一致但实现了变体接口的类不在是变体的如果某个接口继承自变体接口根据需要使用in或out来指定子接口是否仍然为变体类型如果某个接口同时继承了变体接口和非变体接口那么该接口为非变体类型并且不能从逆变接口继承为协变接口

　　委托中的变体 NET Framework 中为某些已存在的泛型委托引入变体支持这些支持在使用委托类型匹配方法签名时提供了很大的灵活性这些委托是

　　System命名空间下的Action委托例如Action 和Action

　　System命名空间下的Func委托例如Func和Func

　　Predicate 委托

　　Comparison 委托

　　EventHandler 委托（正是由于该委托的存在解决了我们的第个问题）

　　Converter 委托

　　同样可以使用out和in关键字定义协变和逆变泛型参数仍然需要遵守在接口中定义时相应的规则定义完成之后使用原来的委托访问语法实例化和调用委托即可

　　总结

cha138/Article/program/net/201311/11396