一文带你了解C#中的协变与逆变

目录

• 协变
• 协变接口的实现
• 逆变
• 里氏替换原则

协变

协变概念令人费解，多半是取名或者翻译的锅，其实是很容易理解的。

比如大街上有一只狗，我说大家快看，这有一只动物！这个非常自然，虽然动物并不严格等于狗，但不会有人觉得我说的不对，把狗变成动物就是协变，C#也支持这个：

// C#6顶级语句
Dog dog= new Dog();
Animal animal= dog;

interface Animal
{}

class Dog : Animal
{}

那么接下来，大街上有一群狗，我说有一群动物，按理说也是对的，但看样子C#不这么认为

List dogLst = new List();
List aniLst = dogLst;       //飙红飙红飙红了
interface Animal {}
class Dog : Animal {}

原因其实很容易理解，毕竟在上述的代码中，写了Dog:Animal，即声明了狗是动物的子类，但是并没有写List : List，换言之，从来没有声明过一群狗是一群动物的子类。

但是，如果不用List，而用其父类IEnumerable，写成下面这样，就又不报错了。

List dogLst = new List();
IEnumerable aniLst = dogLst;

换言之，C#承认List是IEnumerable的子类，个中差别，只需一览源码，就会知晓：

public interface IEnumerable : IEnumerable
public class List : ..., IEnumerable, ...

IEnumerable无非比List多了一个out参数，有了这个参数，就拥有了协变的功能，从而当U是T的子类时，可以支持IEnumerable到IEnumerable的转换。

在官方文档中，指明了具有out关键字的泛型接口包括IEnumerable, IEnumerator, IQueryable和IGrouping。

协变接口的实现

协变和逆变目前只能在泛型接口和委托中使用，下面新建一个泛型接口，并使用关键字out。由于使用.Net6.0的顶级语句，所以接口和类的声明放在后面。

IOut outStr = new Out();
IOut