c#協變和逆變實例剖析。本站提示廣大學習愛好者：（c#協變和逆變實例剖析）文章只能為提供參考，不一定能成為您想要的結果。以下是c#協變和逆變實例剖析正文
本文實例講述了c#協變和逆變的道理及運用。分享給年夜家供年夜家參考。詳細以下：
由子類向父類偏向改變是協變，用out症結字標識，由父類向子類偏向改變是逆變，用in症結字
協變和逆變的運用
1、 數組的協變
Animal[] animalArray = new Dog[]{};
解釋：聲明的數組數據類型是Animal，而現實上賦值時給的是Dog數組；每個Dog對象都可以平安的改變為Animal。Dog向Animal辦法改變是沿著繼續鏈向上改變的所所以協變
二． 拜托中的協變和逆變
1、拜托中的協變
//拜托界說的前往值是Animal類型是父類
public delegate Animal GetAnimal();
//拜托辦法完成中的前往值是Dog，是子類
static Dog GetDog(){return new Dog();}
//GetDog的前往值是Dog, Dog是Animal的子類；前往一個Dog確定就相當於前往了一個Animal；所以上面對拜托的賦值是有用的
GetAnimal getMethod = GetDog;
2、拜托中的逆變
//拜托中的界說參數類型是Dog
public delegate void FeedDog(Dog target);
//現實辦法中的參數類型是Animal
static void FeedAnimal(Animal target){}
// FeedAnimal是FeedDog拜托的有用辦法，由於拜托接收的參數類型是Dog；而FeedAnimal接收的參數是animal，Dog是可以隱式改變成Animal的，所以拜托可以平安的的做類型轉換，准確的履行拜托辦法；
FeedDog feedDogMethod = FeedAnimal;
//界說拜托時的參數是子類，現實上拜托辦法的參數是更廣泛的父類Animal，是父類向子類偏向改變，是逆變
三. 泛型拜托的協變和逆變
1、 泛型拜托中的逆變
//拜托聲明：
public delegate void Feed<in T>(T target);
//Feed拜托接收一個泛型類型T，留意在泛型的尖括號中有一個in症結字，這個症結字的感化是告知編譯器在對拜托賦值時類型T能夠要做逆變
//先聲明一個T為Animal的拜托
Feed<Animal> feedAnimalMethod = a=>Console.WriteLine(“Feed animal lambda”);
//將T為Animal的拜托賦值給T為Dog的拜托變量，這是正當的，由於在界說泛型拜托時有in症結字，假如把in症結字去失落，編譯器會以為不正當
Feed<Dog> feedDogMethod = feedAnimalMethod;
2、泛型拜托中的協變
//拜托聲明
public delegate T Find<out T>();
//Find拜托要前往一個泛型類型T的實例，在泛型的尖括號中有一個out症結字，該症結字注解T類型是能夠要做協變的
//聲明Find<Dog>拜托
Find<Dog> findDog = ()=>new Dog();
//聲明Find<Animal>拜托，並將findDog賦值給findAnimal是正當的，類型T從Dog向Animal改變是協變
Find<Animal> findAnimal = findDog;
四． 泛型接口中的協變和逆變
1、泛型接口中的逆變
//接口界說：
public interface IFeedable<in T>
{
void Feed(T t);
}
//接口的泛型T之前有一個in症結字，來注解這個泛型接口能夠要做逆變
//以下泛型類型FeedImp<T>，完成下面的泛型接口；須要留意的是協變和逆變症結字in
public class FeedImp<T>:IFeedable<T>
{
public void Feed(T t){
Console.WriteLine(“Feed Animal”);
}
}
//應用接口逆變：
IFeedable<Dog> feedDog = new FeedImp<Animal>();
//下面的代碼將FeedImp<Animal>類型賦值給了IFeedable<Dog>的變量；Animal向Dog改變了，所所以逆變
2、泛型接口中的協變
//接口的界說：
public interface IFinder<out T>
{
T Find();
}
//泛型接口的泛型T之前用了out症結字來講明此接口是能夠要做協變的；以下泛型接話柄現類
public class Finder<T>:IFinder<T> where T:new()
{
public T Find(){
return new T();
}
}
//應用協變,IFinder的泛型類型是Animal，然則因為有out症結字，我可以將Finder<Dog>賦值給它
IFinder<Animal> finder = new Finder<Dog>();
願望本文所述對年夜家的C#法式設計有所贊助。
