泛型中的協變和逆變

協變和逆變都是術語，前者指能夠使用比原始指定的派生類型的派生程度更大（更具體的）的類型，後者指能夠使用比原始指定的派生類型的派生程度更小（不太具體的）的類型 。 泛型類型參數支持協變和逆變，可在分配和使用泛型類型方面提供更大的靈活性。微軟官方解釋：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;