C# 泛型---协变和抗变

在.net4 之前，泛型接口是不变的。.net4 通过协变和抗变为泛型接口和泛型委托添加了一个重要的扩展。

协变和抗变指对参数和返回值的类型进行转换。

 

参数类型是协变的

例如，可以给一个需要 Shape 参数的方法传送 Rectangle 参数吗？ 下面用示例说明这些扩展的优点。

在.net中，参数类型是协变的。 假定有 Shape 和 Rectangle 类， Rectangle派生自 Shape基类。 声明 Display() 方法是为了接受 Shape 类型的对象作为其参数：

public void Display(Shape o){}

现在可以传递派生自 Shape 基类的任意对象。 因为 Rectangle 派生自 Shape， 所以 Rectangle 满足 Shape 的所有需求， 编译器接受这个方法调用：

var r = new Rectangle { Width = 5, Height = 2.5f };
Display( r );

方法的返回类型是抗变的

方法的返回类型是抗变的。 当方法返回一个 Shape 时， 不能把它赋予 Rectangle， 因为 Shape 不一定是 Rectangle。 反过来是可行的。

例如有 GetRectangle 函数：

public Rectangle GetRectangle();

就可以把结果赋予某个 Shape：

Shape s = GetRectangle();