泛型中的协变和逆变

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

通过简单的例子：

// 分配兼容性
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;