标签：alac 组类型 style color rabl call 数组 cts 泛型
迁移 https://huangshubi.github.io/2020/02/14/%E5%8D%8F%E5%8F%98%E4%B8%8E%E9%80%86%E5%8F%98/
记录 官方文档的协变与逆变学习过程。
协变与逆变能够实现数组类型、委托类型和泛型接口参数的隐式引用转换。
1、委托类型
namespace ConsoleApp4 { class Program { static void Main(string[] args) { Func<Bird> birdFunc = () => new Bird(); Func<Animal> animalFunc = () => new Animal(); animalFunc = birdFunc; //协变 Func参数使用了out关键字 Animal animal = animalFunc(); Action<Animal> animalAction = (t) => { }; Action<Bird> birdAction = animalAction; //逆变 Action参数使用了in关键字 birdAction(new Bird()); } } class Animal { } class Bird : Animal { } }
如果泛型接口或委托的泛型参数被声明为协变或逆变，该泛型接口或委托则被称为“变体”。
错误示范：
List<Object> list = new List<string>(); //实现变体接口的类仍是固定类，这样是无法转换的。 IEnumerable<int> integers = new List<int>(); IEnumerable<Object> objects = integers; //只能用于引用类型
通过对泛型类型参数使用out关键字，将参数声明为协变。
interface ICovariant<out R> { R GetSomething(); void DoSomething(Action<R> callback); //逆变参数 } class Implementation<R> : ICovariant<R> { public void DoSomething(Action<R> callback) { throw new NotImplementedException(); } public R GetSomething() { throw new NotImplementedException(); } }
通过对泛型类型参数使用in关键字，将参数声明为逆变。
interface IContravariant<in A>
{
void SetSomething(A sampleArg);
void DoSomething<T>() where T : A; //逆变参数可以使用约束，协变不可以
}
同一个接口，可以同时有逆变参数和协变参数，例如Func<in T,out TResult>。
派生变体泛型接口，仍需使用in、out关键字来显示指定是否支持变体。
interface ICovariant<out R> { R GetSomething(); void DoSomething(Action<R> callback); //逆变参数 } interface IExtCovariant<out R> : ICovariant<R> //协变参数 { } interface IExtCovariantOne<R> : ICovariant<R> //固定参数 { }
如果父接口参数声明为逆变，则派生接口只能和父相同，或者声明为固定参数。
标签：alac 组类型 style color rabl call 数组 cts 泛型
原文地址：https://www.cnblogs.com/bibi-feiniaoyuan/p/12368677.html
