泛型中的协变和逆变

协变和逆变都是术语，前者指能够使用比原始指定的派生类型的派生程度更大（更具体的）的类型，后者指能够使用比原始指定的派生类型的派生程度更小（不太具体的）的类型 。 泛型类型参数支持协变和逆变，可在分配和使用泛型类型方面提供更大的灵活性。微软官方解释：https://learn.microsoft.com/zh-cn/dotnet/standard/generics/covariance-and-contravariance?source=recommendations

通过简单的例子：

?

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

// 分配兼容性 string str = "test";  // 派生类型较多的对象被指定给派生类型较少的对象 object obj = str;      // 协变 IEnumerable<string> strings = new List<string>();  //使用更派生的类型参数实例化的对象 // 被分配给使用派生程度较低的类型参数实例化的对象 // 保留了分配兼容性 IEnumerable<object> objects = strings;      // 逆变. // 假设以下方法在类中： static void SetObject(object o) { } Action<object> actObject = SetObject;  // 使用派生较少的类型参数实例化的对象 // 被分配给使用更派生的类型参数实例化的对象。 // 分配兼容性颠倒。 Action<string> actString = actObject;