C#笔记 -- 协变、逆变
协变
理解：在泛型和委托中， 让使用某个泛型参数A的类型可以用一个使用由A派生的泛型参数B的类型实例化，（小=> 大）如
// IEnumerable<Animal> 与 List<Dog> 之间无继承关系，但是不会报错，协变
// IEnumerable<out T>
IEnumerable<Animal> animals = new List<Dog>();
// 下行会报错 => List<Dog> 不继承 List<Animal> 类型， 无法类型转化
// List<T>
List<Animal> animals = new List<Dog>();
条件： 使用 泛型修饰符 out, 并且只能用作返回类型，该泛型参数不能用作方法参数使用
逆变
理解： 在泛型和委托中， 让使用某个泛型参数A的类型可以用一个使用A父类级别的泛型参数B的类型实例化，（大=>小）如
// Action<Dog> 与 Action<Animal> 无继承关系，不报错无，逆变
// Action<in T>
Action<Dog> actionDog = new Action<Animal>(a => { Console.WriteLine("animal"); });
// 下行报错 => Func<Dog> 与 Func<Animal> 无继承关系，报错
// Func<Out TResult>
Func<Dog> actionDog1 = new Func<Animal>(() => new Dog());
条件：使用 泛型修饰符 in, 并且只能被使用，或者作为方法参数，不能用作返回类型
总结
返回结果的协变性
使用类型的逆变性
