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; } |
2.2. 使用in关键字声明逆变泛型参数。逆变类型仅能用于方法的参数和泛型类型约束而不能作为返回类型。
interface IOperator { void Increace(T value); void Double() where R : T; } |
2.3. 可以在一个接口中同时使用out和in定义协变和逆变,但仍需遵守相应规则。
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关键字定义自己的变体接口和委托,但在定义时需要遵守相应的规则。