C#中的协变和抗变

.NET4通过协变和抗变为泛型接口和泛型委托添加了一个重要扩展。协变和抗变指对参数和返回值的类型进行转换。
在.NET中，参数类型是协变的。假定有 shape和 Rectangle 类,Rectangle 派生自shape基类。声明Display() 方法是为了接受 Shape类型的对象作为其参数 :

public void Display(Shape 0){}

现在可以传递派生 自Shape基类的任意对象。 因为 Rectangle 派 生自shape,所 以Rectangle 满足 Shape的 所有要求,编译器接受这个方法调用 :
Rectangle r = new Rectangle {}Width= 5` Height=2.5}；
Display®；
方法的返回类型是抗变的。 当方法返回一个 Shape时,不能把它赋予 Rectangle ,因 为 Shape不
一定总是 Rectangle 。 反过来是可行的:如 果一个方法像 GeRectangle ()方 法那样返回一个 Rectangle ,

public Rectangle  GetRectangle ();

就可以把结果赋予某个 Shape:
在.NET Framework4版 本之前,这种行为方式不适用于泛型。在C#4中 ,扩展后的语言支持泛
型接口和泛型委托的协变和抗变。