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

.NET中的协变和逆变是用于处理引用类型转换在泛型接口和委托中如何保持类型安全的机制。它们让开发者能更灵活地使用泛型,尤其是在需要多态行为时。
协变允许将一个泛型接口或委托的实例赋值给其派生程度更高的泛型类型。换句话说,如果类B继承自类A,那么IEnumerable<B>可以被当作IEnumerable<A>使用。
协变通过out关键字在泛型类型参数上声明,表示该类型参数只作为返回值使用。
常见应用场景:
interface ICovariant<out T> { T Get(); }
class Animal { }
class Dog : Animal { }
<p>ICovariant<Dog> dogSource = new DogProvider();
ICovariant<Animal> animalSource = dogSource; // 协变允许</p>逆变则相反:它允许将一个泛型接口或委托的实例赋值给其派生程度更低的泛型类型。比如,如果有一个处理Animal的比较器,它可以用于Dog。
逆变通过in关键字声明,表示该类型参数只作为输入参数使用。
典型用途包括:
interface IContravariant<in T> { void Set(T value); }
class AnimalHandler : IContravariant<Animal> {
public void Set(Animal a) { /* 处理动物 */ }
}
<p>IContravariant<Animal> handler = new AnimalHandler();
IContravariant<Dog> dogHandler = handler; // 逆变允许
dogHandler.Set(new Dog()); // 实际调用的是 Animal 的处理逻辑</p>.NET中的委托也支持协变和逆变,这使得方法绑定更加灵活。
delegate T Factory<out T>(); delegate void Action<in T>(T obj); <p>Factory<Animal> animalFactory = () => new Dog(); Factory<Dog> dogFactory = animalFactory; // 协变</p><p>Action<Dog> dogAction = (Dog d) => Console.WriteLine(d); Action<Animal> animalAction = dogAction; // 逆变 animalAction(new Dog());</p>
基本上就这些。协变和逆变提升了代码复用性和接口兼容性,只要记住:out用于返回(协变),in用于输入(逆变),就能正确设计和使用泛型接口与委托。
以上就是.NET中的协变和逆变是什么?如何在泛型接口和委托中应用它们?的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号