C#-协变逆变

C# 中的协变（Covariance）和逆变（Contravariance）是一种很强大的特性，它们允许我们在泛型接口和委托中使用类型的子类型和超类型。这个特性让我们能够更加灵活地使用类型，使得代码更加清晰和简洁。在本文中，我们将了解什么是协变和逆变，以及如何在 C# 中使用它们。

首先让我们来了解一下什么是协变和逆变。在 C# 中，协变和逆变是针对泛型类型的参数化类型（Parameterized types）而言的。参数化类型是指那些带有类型参数的类型，比如 List、IEnumerable 等等。协变和逆变是指当一个类型参数可以被替换成它的子类型或者父类型时，我们称之为协变和逆变。

接下来我们来看一个简单的例子来说明什么是协变和逆变。假设我们有一个泛型接口 `IAnimal`，它是一个协变接口（out 关键字表示协变）。这个接口有一个方法 `T GetAnimal()`，返回类型是 T。那么这个接口表示的意思是，T 是一个输出类型，也就是说 T 只会在方法的返回值中出现。我们来看一下这个接口的代码示例和注释。

csharppublic interface IAnimal
{
 T GetAnimal();
}

csharppublic interface IComparer<in T>
{
 int Compare(T x, T y);
}

csharppublic interface IAnimal
{
	T GetAnimal();
}

public class Animal{
//...
}

public class Dog : Animal{
//...
}

public class Cat : Animal{
//...
}

public class Zoo : IAnimal
{
	public Animal GetAnimal()
{
// return an animal}
}

public class DogKennel : IAnimal
{
	public Dog GetAnimal()
{
// return a dog}
}

public class CatHotel : IAnimal
{
	public Cat GetAnimal()
{
// return a cat}
}

csharppublic delegate TOutput Converter<in TInput, out TOutput>(TInput input);

public class Animal{
//...
}

public class Dog : Animal{
//...
}

public class Cat : Animal{
//...
}

public static Animal ToAnimal(Dog dog)
{
// convert a Dog to an Animal}

public static Animal ToAnimal(Cat cat)
{
// convert a Cat to an Animal}

public static void Test()
{
 Converter<Dog, Animal> dogToAnimal = ToAnimal;
 Converter<Cat, Animal> catToAnimal = ToAnimal;
}

csharpAnimal[] animals = new Dog[10];