标签:
建议45:为泛型类型参数指定逆变
逆变是指方法的参数可以是委托或者泛型接口的参数类型的基类。FCL4.0中支持逆变的常用委托有:
Func<int T,out TResult>
Predicate<in T>
常用委托有:
IComparer<in T>
下面例子演示了泛型类型参数指定逆变所带来的好处:
class Program { static void Main() { Programmer p = new Programmer { Name = "Mike" }; Manager m = new Manager { Name = "Steve" }; Test(p, m); } static void Test<T>(IMyComparable<T> t1, T t2) { //省略 } } public interface IMyComparable<in T> { int Compare(T other); } public class Employee : IMyComparable<Employee> { public string Name { get; set; } public int Compare(Employee other) { return Name.CompareTo(other.Name); } } public class Programmer : Employee, IMyComparable<Programmer> { public int Compare(Programmer other) { return Name.CompareTo(other.Name); } } public class Manager : Employee { }
上面的例子中,如果不为接口IMyComparable的泛型参数T指定in关键字,将会导致Test(p,m)编译错误。由于引入了接口的逆变性,这让方法Test支持了更多的场景。在FCL4.0之后的版本的实际编码中应该始终注意这一点。
转自:《编写高质量代码改善C#程序的157个建议》陆敏技
编写高质量代码改善C#程序的157个建议——建议45:为泛型类型参数指定逆变
标签:
原文地址:http://www.cnblogs.com/jesselzj/p/4733239.html