假设您有一个Person类和一个从其派生的类Teacher。您有一些操作以a
IEnumerable<Person>作为参数。在您的School课堂中,您有一个返回的方法
IEnumerable<Teacher>。协方差允许您将结果直接用于采用的方法,将
IEnumerable<Person>更多派生的类型替换为次派生(更通用)的类型。违反直觉,相反,您可以使用更通用的类型,其中指定了更多的派生类型。
另请参见MSDN上泛型中的协方差和协方差。
课程 :
public class Person { public string Name { get; set; }}public class Teacher : Person { }public class MailingList{ public void Add(IEnumerable<out Person> people) { ... }}public class School{ public IEnumerable<Teacher> GetTeachers() { ... }}public class PersonNameComparer : IComparer<Person>{ public int Compare(Person a, Person b) { if (a == null) return b == null ? 0 : -1; return b == null ? 1 : Compare(a,b); } private int Compare(string a, string b) { if (a == null) return b == null ? 0 : -1; return b == null ? 1 : a.CompareTo(b); }}用法 :
var teachers = school.GetTeachers();var mailingList = new MailingList();// Add() is covariant, we can use a more derived typemailingList.Add(teachers);// the Set<T> constructor uses a contravariant interface, IComparer<in T>,// we can use a more generic type than required.// See https://msdn.microsoft.com/en-us/library/8ehhxeaf.aspx for declaration syntaxvar teacherSet = new SortedSet<Teachers>(teachers, new PersonNameComparer());



