c#协变和逆变实例分析

复制代码代码如下://委托中的定义参数类型是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;

复制代码代码如下://委托声明
publicdelegateTFind<outT>();
//Find委托要返回一个泛型类型T的实例，在泛型的尖括号中有一个out关键字，该关键字表明T类型是可能要做协变的
//声明Find<Dog>委托
Find<Dog>findDog=()=>newDog();
//声明Find<Animal>委托，并将findDog赋值给findAnimal是合法的，类型T从Dog向Animal转变是协变
Find<Animal>findAnimal=findDog;
 
四．泛型接口中的协变和逆变
 
1、泛型接口中的逆变

复制代码代码如下://接口定义：
publicinterfaceIFeedable<inT>
{
voidFeed(Tt);
}

//接口的泛型T之前有一个in关键字，来表明这个泛型接口可能要做逆变
//如下泛型类型FeedImp<T>，实现上面的泛型接口；需要注意的是协变和逆变关键字in

publicclassFeedImp<T>:IFeedable<T>
{
   publicvoidFeed(Tt){
       Console.WriteLine(“FeedAnimal”);
   }
}

//使用接口逆变：
IFeedable<Dog>feedDog=newFeedImp<Animal>();
//上面的代码将FeedImp<Animal>类型赋值给了IFeedable<Dog>的变量；Animal向Dog转变了，所以是逆变

复制代码代码如下://接口的定义：
publicinterfaceIFinder<outT>
{
   TFind();
}

//泛型接口的泛型T之前用了out关键字来说明此接口是可能要做协变的；如下泛型接口实现类
publicclassFinder<T>:IFinder<T>whereT:new()
{
   publicTFind(){
       returnnewT();
   }
} 

//使用协变,IFinder的泛型类型是Animal，但是由于有out关键字，我可以将Finder<Dog>赋值给它
IFinder<Animal>finder=newFinder<Dog>();

希望本文所述对大家的C#程序设计有所帮助。

本文地址： c#协变和逆变实例分析