c# 協變和逆變

標籤：http   ar   使用   strong   sp   資料   div   on   art   

由子類向父類方向轉變是協變，用out關鍵字標識，由父類向子類方向轉變是逆變，用in關鍵字
 

協變和逆變的應用

 

一、 數組的協變

 

Animal[] animalArray =  new  Dog[]{};  說明：聲明的數組資料類型是Animal，而實際上賦值時給的是Dog數組；每一個Dog對象都可以安全的轉變為Animal。Dog向Animal方法轉變是沿著繼承鏈向上轉變的所以是協變   二． 委託中的協變和逆變   1、委託中的協變   C# 代碼   複製

//委託定義的傳回值是Animal類型是父類public delegate Animal GetAnimal();//委託方法實現中的傳回值是Dog，是子類static Dog GetDog(){return new Dog();}//GetDog的傳回值是Dog, Dog是Animal的子類；返回一個Dog肯定就相當於返回了一個Animal；所以下面對委託的賦值是有效GetAnimal getMethod = GetDog;

 

2、委託中的逆變

 C# 代碼   複製

//委託中的定義參數類型是Dogpublic delegate void FeedDog(Dog target);//實際方法中的參數類型是Animalstatic void FeedAnimal(Animal target){}// FeedAnimal是FeedDog委託的有效方法，因為委託接受的參數類型是Dog；而FeedAnimal接受的參數是animal，Dog是可以隱式轉變成Animal的，所以委託可以安全的的做類型轉換，正確的執行委託方法；FeedDog feedDogMethod = FeedAnimal;//定義委託時的參數是子類，實際上委託方法的參數是更寬泛的父類Animal，是父類向子類方向轉變，是逆變

 

三. 泛型委派的協變和逆變

 

1、 泛型委派中的逆變

 C# 代碼   複製

//委託聲明：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、泛型委派中的協變

 C# 代碼   複製

//委託聲明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、泛型介面中的逆變

 C# 代碼   複製

//介面定義：public interface IFeedable<in T>{void Feed(T t);} //介面的泛型T之前有一個in關鍵字，來表明這個泛型介面可能要做逆變//如下泛型型別FeedImp<T>，實現上面的泛型介面；需要注意的是協變和逆變關鍵字inpublic 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、泛型介面中的協變

 C# 代碼   複製

//介面的定義：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# 協變和逆變