晕晕的逆变协变

逆变的原理

• 当我们有一个方法或接口接受一个基类的实例作为参数时，我们希望也能接受该基类的派生类的实例。
• 逆变使得我们能够将 AppleAction 作为 IAction<Fruit> 使用，因为我们知道 Apple 类型的实例也是 Fruit 类型的实例。

总结

• 逆变 (in) 使得我们能够将一个处理派生类型的方法或接口作为处理基类型的方法或接口使用。
• 逆变 的关键在于输入参数，它允许我们用派生类型的对象来替代基类型的对象。

协变 (Covariance)

总结

• 协变 (out) 允许您将一个返回派生类型的方法或接口作为返回基类型的方法或接口使用。
• 协变 主要应用于输出上下文，即返回值或只读属性。
• 协变 保证了类型安全性，因为派生类型的实例总是可以被视为基类型的实例。
• 协变 在 C# 中通过使用 out 关键字来标记泛型参数实现。

协变的主要用途是在泛型接口或委托中提供更灵活的类型兼容性，特别是当您不需要修改返回的对象时。这可以提高代码的复用性和可维护性。