编写高质量代码改善C#程序的157个建议[协变和逆变]
前言
本文已更新至http://www.cnblogs.com/aehyok/p/3624579.html 。本文主要学习记录以下内容:
建议42、使用泛型参数兼容泛型接口的不可变性
建议43、让接口中的泛型参数支持协变
建议44、理解委托中的协变
建议45、为泛型类型参数指定协变
建议42、使用泛型参数兼容泛型接口的不可变性
让返回值类型返回比声明的类型派生程度更大的类型,就是“协变”。协变不是一种新出现的技术,在以往的编码中,我们已经在不自觉地使用协变。以下的代码就是一个不自觉应用协变的例子:
class Employee { public string Name { get; set; } } class Programmer : Employee { } class Program { public Employee GetAEmployee(string name) { Console.WriteLine("我是雇员:"+name); return new Programmer() { Name = name }; } static void Main(string[] args) { } }
Programmer是Employee的子类,所以一个Programmer对象也就是一个Employee对象。方法GetAEmployee返回一个Programmer的对象,也就是相当于返回了一个Employee对象。正是因为在FCL4.0以前的版本中,协变是如此自然的一种应用,所以我们很有可能写出这样的代码:
class Employee { public string Name { get; set; } } class Programmer : Employee { } interface ISalary<T> { void Pay(); } class BaseSalaryCounter<T> : ISalary<T> { public void Pay() { Console.WriteLine("Pay base salary"); } }
接下来看一下Main函数中的调用:
class Program { static void Main(string[] args) { ISalary<Programmer> s = new BaseSalaryCounter<Programmer>(); PrintSalary(s); } static void PrintSalary(ISalary<Employee> s) { s.Pay(); } }
咋眼一看,问题应该不大,不过编译器却出现了错误。
编译器对于接口和委托类型参数的检查是非常严格的,除非用关键字out特别声明(这个会在下一个建议中进行阐述),不然这段代码只会编译失败,要让PrintSalary完成需求,我们可以使用泛型类型参数:
static void Main(string[] args) { ISalary<Programmer> s = new BaseSalaryCounter<Programmer>(); PrintSalary(s); } static void PrintSalary<T>(ISalary<T> s) { s.Pay(); }
可能有人会注意到,本建议开头处指出“协变”是针对返回值而言的,但是所举的这个例子却并没有体现“返回值”这个概念。实际上,只要泛型类型参数在一个接口声明中不被用来作为方法的输入参数,我们都可姑且把它堪称是“返回值”类型的。所以,本建议中这种模式是满足“协变”的定义的。但是,只要将T作为输入参数,便不满足“协变”的定义了。
建议43、让接口中的泛型参数支持协变
除了建议42中提到的使用泛型参数兼容泛型接口的不可变性外,还有一种办法就是为接口中的泛型声明加上out关键字来支持协变,如下所示:
namespace ConsoleApplication10 { class Employee { public string Name { get; set; } } class Programmer : Employee { } interface ISalary< out T> { void Pay(); } class BaseSalaryCounter<T> : ISalary<T> { public void Pay() { Console.WriteLine("Pay base salary"); } } class Program { static void Main(string[] args) { ISalary<Programmer> s = new BaseSalaryCounter<Programmer>(); PrintSalary(s); } static void PrintSalary(ISalary<Employee> s) { s.Pay(); } } }
out关键字是FCL4.0中新增的功能,它可以在泛型接口和委托中使用,用来让类型参数支持协变性。通过协变,可以使用比声明的参数派生类型更大的参数。通过以上的例子我们应该能理解这种应用。
FCL4.0对多个接口进行了修改以支持协变,如IEnumerable<out T>、IEnumerator<out T>、IQueryable<out T>等。由于IEnumerable<out T>现在支持协变,所以上段代码在FCL4.0中能运行得很好。
在我们自己的代码中,如果要编写泛型接口,除非确定该接口中的泛型参数不涉及变体,否则都建议加上out关键字。协变增大了接口的使用范围,而且几乎不会带来什么副作用。
建议44、理解委托中的协变
委托中的泛型变量天然是部分支持协变的。为什么说是“部分支持协变”呢?来看一下下面的例子:
class Employee { public string Name { get; set; } } class Manager:Employee { } class Program { public delegate T GetEmployeeHandler<T>(string name); static void Main(string[] args) { GetEmployeeHandler<Employee> getAEmployee = GetAManager; Employee e = getAEmployee("Mike"); Console.ReadLine(); } static Manager GetAManager(string name) { Console.WriteLine("我是经理:" + name); return new Manager() { Name = name }; } static Employee GetAEmployee(string name) { Console.WriteLine("我是雇员:"+name); return new Employee() {Name=name }; } }
上文中,方法GetAManager返回的是一个Manager,但是在使用中,其实是将其赋值给了一个泛型参数为Employee的委托变量。我们也许会认为委托中的泛型变量不再需要out关键字,这是错误的理解。因为存在下面这样一种情况,所以编译报错:
要让上面的代码编译通过,同样需要为委托中的泛型参数指定out关键字:
public delegate T GetEmployeeHandler< out T>(string name);
除非考虑到该委托声明肯定不会用于可变性,否则,为委托中的泛型参数指定out关键字将会拓展该委托的应用,建议在实际的编码工作中永远这样使用,实际上,FCL4.0中的一些委托声明已经用out关键字来让委托支持协变了,如我们常常会使用到的:
public delegate TResult Func<out TResult>();
建议45、为泛型类型参数指定协变
逆变是指方法的参数可以是委托或泛型接口的参数类型的基类。FCL4.0中支持逆变的常用委托有:
Func<in T,out TResult> Predicate<in T>
常用泛型接口有:
ICompare<in T>
下面的例子演示了泛型类型参数指定逆变所带来的好处:
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 { } class Program { static void Main(string[] args) { Programmer p = new Programmer() { Name = "Mike" }; Manager m = new Manager() { Name = "aehyok" }; Test(p, m); } static void Test<T>(IMyComparable<T> t1, T t2) { //省略 } }
在上面的这个例子中,如果不为接口IMyComparable的泛型参数T指定in关键字,将会导致Test(p,m)编译错误。由于引入了接口的逆变性,这让方法Test支持了更多的应用场景。在FCL4.0之后版本的实际编码中应该始终注意这一点。