c#协变逆变

协变

协变允许你将一个泛型类型的子类型赋值给其父类型的变量。在C#中，协变主要通过以下方式实现：

1. 委托的协变：从C# 4.0开始，委托可以是协变的，这意味着如果 D 继承自 B，则 Action<D> 可以隐式转换为 Action<B>。

2. 接口的协变：从C# 4.0开始，接口可以是协变的，这意味着如果 IFoo<D> 是 IFoo<B> 的子类型，则 IEnumerable<D> 可以隐式转换为 IEnumerable<B>。

3. out 关键字：使用 out 关键字定义泛型方法时，可以利用协变返回类型。这意味着方法可以返回输入参数的子类型。

逆变

逆变允许你将一个泛型类型的父类型赋值给其子类型的变量。在C#中，逆变主要通过以下方式实现：

1. 委托的逆变：从C# 4.0开始，委托可以是逆变的，这意味着如果 B 继承自 D，则 Action<B> 可以隐式转换为 Action<D>。

2. 接口的逆变：从C# 4.0开始，接口可以是逆变的，这意味着如果 IFoo<B> 是 IFoo<D> 的父类型，则 IEnumerable<B> 可以隐式转换为 IEnumerable<D>。

3. in 关键字：使用 in 关键字定义泛型方法时，可以利用逆变参数类型。这意味着方法可以接受输入参数的父类型。