【轉】c# 協變和逆變

標籤：style   blog   http   color   ar   使用   strong   sp   資料   

本文轉自：http://www.cnblogs.com/rr163/p/4047404.html

C#的協變和逆變

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

協變和逆變的應用

 

一、 數組的協變

 

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>，實現上面的泛型介面；需要注意的是協變和逆變關鍵字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轉變了，所以是逆變

【轉】c# 協變和逆變