c#协变和逆变实例分析
本文实例讲述了c#协变和逆变的原理及应用。分享给大家供大家参考。具体如下：
由子类向父类方向转变是协变，用out关键字标识，由父类向子类方向转变是逆变，用in关键字
协变和逆变的应用
一、数组的协变
Animal[]animalArray=newDog[]{};说明：声明的数组数据类型是Animal，而实际上赋值时给的是Dog数组；每一个Dog对象都可以安全的转变为Animal。Dog向Animal方法转变是沿着继承链向上转变的所以是协变
二．委托中的协变和逆变
1、委托中的协变
//委托定义的返回值是Animal类型是父类
publicdelegateAnimalGetAnimal();
//委托方法实现中的返回值是Dog，是子类
staticDogGetDog(){returnnewDog();}
//GetDog的返回值是Dog,Dog是Animal的子类；返回一个Dog肯定就相当于返回了一个Animal；所以下面对委托的赋值是有效的
GetAnimalgetMethod=GetDog;2、委托中的逆变
//委托中的定义参数类型是Dog
publicdelegatevoidFeedDog(Dogtarget);
//实际方法中的参数类型是Animal
staticvoidFeedAnimal(Animaltarget){}
//FeedAnimal是FeedDog委托的有效方法，因为委托接受的参数类型是Dog；而FeedAnimal接受的参数是animal，Dog是可以隐式转变成Animal的，所以委托可以安全的的做类型转换，正确的执行委托方法；
FeedDogfeedDogMethod=FeedAnimal;
//定义委托时的参数是子类，实际上委托方法的参数是更宽泛的父类Animal，是父类向子类方向转变，是逆变三.泛型委托的协变和逆变
1、泛型委托中的逆变
//委托声明： publicdelegatevoidFeed<inT>(Ttarget); //Feed委托接受一个泛型类型T，注意在泛型的尖括号中有一个in关键字，这个关键字的作用是告诉编译器在对委托赋值时类型T可能要做逆变
//先声明一个T为Animal的委托 Feed<Animal>feedAnimalMethod=a=>Console.WriteLine(“Feedanimallambda”); //将T为Animal的委托赋值给T为Dog的委托变量，这是合法的，因为在定义泛型委托时有in关键字，如果把in关键字去掉，编译器会认为不合法 Feed<Dog>feedDogMethod=feedAnimalMethod;