c#逆变和协变

C#中的逆变和协变是泛型的概念。简单来说，协变和逆变是指类型参数在继承关系中的表现形式。

协变(Covariance)：指从一个泛型类型转换为另一个泛型类型，且新类型的类型参数必须是原类型参数的子类型。在C#中，协变只能用于返回类型和委托类型。

例如，假设有一个接口IAnimal和一个实现该接口的类Cat和Dog，则可以定义一个返回类型为IAnimal的方法，并将其返回值转换为Cat或Dog类型。这样就可以使用协变。

逆变(Contravariance)：指从一个泛型类型转换为另一个泛型类型，且新类型的类型参数必须是原类型参数的超类型。在C#中，逆变只能用于委托类型。

例如，假设有一个委托类型Action<T>，则可以将其转换为Action<Animal>，因为Animal是Cat和Dog的超类型。这样就可以使用逆变。

总结：协变和逆变是泛型中的重要概念，可以使代码更加灵活和可复用。