协变(out)允许泛型返回类型向上转型,如IEnumerable赋值给IEnumerable;逆变(in)支持参数类型向下兼容,如IComparer用于Dog对象,提升接口与委托的多态复用性。

.NET中的协变和逆变是用于处理引用类型转换在泛型接口和委托中如何保持类型安全的机制。它们让开发者能更灵活地使用泛型,尤其是在需要多态行为时。
协变(Covariance)
协变允许将一个泛型接口或委托的实例赋值给其派生程度更高的泛型类型。换句话说,如果类B继承自类A,那么IEnumerable可以被当作IEnumerable使用。
协变通过out关键字在泛型类型参数上声明,表示该类型参数只作为返回值使用。
常见应用场景:
-
集合只读操作:如IEnumerable
、IQueryable - 返回对象的方法:方法返回泛型类型时支持多态
interface ICovariant{ T Get(); } class Animal { } class Dog : Animal { } ICovariant
dogSource = new DogProvider(); ICovariant animalSource = dogSource; // 协变允许
逆变(Contravariance)
逆变则相反:它允许将一个泛型接口或委托的实例赋值给其派生程度更低的泛型类型。比如,如果有一个处理Animal的比较器,它可以用于Dog。
逆变通过in关键字声明,表示该类型参数只作为输入参数使用。
典型用途包括:
-
比较和排序:如IComparer
- 动作委托传参:接受基类参数的方法可替代接受子类参数的方法
interface IContravariant{ void Set(T value); } class AnimalHandler : IContravariant { public void Set(Animal a) { /* 处理动物 */ } } IContravariant
handler = new AnimalHandler(); IContravariant dogHandler = handler; // 逆变允许 dogHandler.Set(new Dog()); // 实际调用的是 Animal 的处理逻辑
在委托中的应用
.NET中的委托也支持协变和逆变,这使得方法绑定更加灵活。
- 返回值协变:委托返回类型可以是更具体的类型
- 参数逆变:方法参数类型可以是更宽泛的类型
delegate T Factory(); delegate void Action (T obj); Factory
animalFactory = () => new Dog(); Factory dogFactory = animalFactory; // 协变 Action
dogAction = (Dog d) => Console.WriteLine(d); Action animalAction = dogAction; // 逆变 animalAction(new Dog());
基本上就这些。协变和逆变提升了代码复用性和接口兼容性,只要记住:out用于返回(协变),in用于输入(逆变),就能正确设计和使用泛型接口与委托。









