首先要明白的是什么是协变和抗变?
协变和抗变是指对参数和返回值的类型进行转换。
在.Net中,参数类型是协变的。假定有Shape类和Rectangle类,Rectangle类派生自Shape类。声明的方法public void Display(Shape object);接受Shape类型的对象作为其参数。现在可以传递派生自Shape基类的任意对象,这就是协变。
方法的返回类型是抗变的。当一个方法返回一个Shape时,不能把它赋予Rectangle类型的对象,因为Shape不一定总是Rectangle。但是反过来是可以的。
在.Net 4.0之后,泛型接口支持协变和抗变。
如果泛型类型用out关键字标注,泛型接口就是协变的。
如果泛型类型用in关键字标注,泛型接口就是抗变的。