C# 2010协变和逆变的新特性

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

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

public class Fruit
{
    public string Name { get; set; }
}

public class Apple : Fruit
{
}

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

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

    Output(apples);
    Console.ReadLine();
}

private void Form1_UserAction(object sender, EventArgs e)
{
}

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

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

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

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

IEnumberable 
IEnumerator 
IQueryable 
IGrouping 
IComparer 
IEqualityComparer 
IComparable 

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

interface IFileCollection
{
}

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

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

interface IFileCollection
{
    T IndexOf(int i);
}

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

interface IFileCollection
{
    void Delete(Action file);
}

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

interface IFileCollection
{
    void Display where R : T;
}

interface IOperator
{
    void Increace(T value);

    void Double() where R : T;
}

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

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

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

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

Predicate委托

Comparison委托

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

Converter委托。

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

4. 总结

Visual C# 2010中新提供了协变和逆变的新特性，一个泛型接口或委托的泛型参数被声明为协变或逆变时该接口或委托称为变体，这为我们解决类似于开篇中的两类问题带来了便利。.NET Framework 4中已为现有的一些接口和委托增加了变体支持，并且开发人员可以使用in和out关键字定义自己的变体接口和委托，但在定义时需要遵守相应的规则。

【编辑推荐】

1. C#实例讲解二叉树原理与实现
2. C# 4.0新特性dynamic作用浅析
3. C#中对DatagridView的部分常用操作