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, 并且只能被使用，或者作为方法参数，不能用作返回类型

总结

返回结果的协变性

使用类型的逆变性

参考资料

那些年搞不懂的"协变"和"逆变"