你了解C#的协变和逆变吗,看完这篇就懂了

C#的协变和逆变是在面向对象里面的类型系统中的概念。在C# 2.0之前，这两个概念是不存在的，开发者只能通过强制类型转换来满足某些需求。在C# 2.0之后，引入了这两个概念，通过它们可以更加安全地进行类型转换，同时也提升了代码的可读性。

一、协变：

协变指的是能够将一个派生类的变量赋值给基类的变量，或者能够将一个方法的返回值类型声明为基类的类型。它的形态如下：

interface IAnimal { }
class Dog : IAnimal { }
class Cat : IAnimal { }

// 可以将Dog类型的变量赋值给IAnimal类型的变量
IAnimal animal = new Dog();
// 可以将返回值类型声明为IAnimal类型
IAnimal GetAnimal() { return new Dog(); }

二、逆变：

逆变指的是能够将一个基类的变量赋值给派生类的变量，或者可以将一个方法的参数类型声明为派生类的类型。它的形态如下：

interface IAnimal { }
class Dog : IAnimal { }
class Cat : IAnimal { }

// 可以将IAnimal类型的变量赋值给Dog类型的变量
Dog dog = (Dog)new IAnimal();
// 可以将参数类型声明为Dog类型
void AddDog(Dog dog) { }

示例一：协变

interface ILogger<out T> { 
    T Log();
}

class DbLogger<T> : ILogger<T> {
    public T Log() { 
        Console.WriteLine("DbLogger Log: " + typeof(T).ToString());
        return default(T); 
    }
}

class FileLogger<T> : ILogger<T> {
    public T Log() { 
        Console.WriteLine("FileLogger Log: " + typeof(T).ToString());
        return default(T); 
    }
}

ILogger<object> logger1 = new DbLogger<object>();
ILogger<object> logger2 = new FileLogger<object>();

上面的例子中，ILogger接口有一个占位符类型T，用于表示的具体的类型是什么。DbLogger和FileLogger都有一个Log方法，返回值类型为T。我们通过ILogger