在.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();