c#協(xié)變和逆變實(shí)例分析

更新時(shí)間：2014年10月24日 10:37:39 投稿：shichen2014

這篇文章主要介紹了c#協(xié)變和逆變,以實(shí)例形式詳細(xì)講述了協(xié)變和逆變的原理與具體用法,具有一定的學(xué)習(xí)借鑒價(jià)值,需要的朋友可以參考下

本文實(shí)例講述了c#協(xié)變和逆變的原理及應(yīng)用。分享給大家供大家參考。具體如下：

由子類向父類方向轉(zhuǎn)變是協(xié)變，用out關(guān)鍵字標(biāo)識(shí)，由父類向子類方向轉(zhuǎn)變是逆變，用in關(guān)鍵字

協(xié)變和逆變的應(yīng)用

一、數(shù)組的協(xié)變

復(fù)制代碼代碼如下:

Animal[] animalArray = new Dog[]{};

說(shuō)明：聲明的數(shù)組數(shù)據(jù)類型是Animal，而實(shí)際上賦值時(shí)給的是Dog數(shù)組；每一個(gè)Dog對(duì)象都可以安全的轉(zhuǎn)變?yōu)锳nimal。Dog向Animal方法轉(zhuǎn)變是沿著繼承鏈向上轉(zhuǎn)變的所以是協(xié)變

二．委托中的協(xié)變和逆變

1、委托中的協(xié)變

復(fù)制代碼代碼如下:

//委托定義的返回值是Animal類型是父類

public delegate Animal GetAnimal();

//委托方法實(shí)現(xiàn)中的返回值是Dog，是子類

static Dog GetDog(){return new Dog();}

//GetDog的返回值是Dog, Dog是Animal的子類；返回一個(gè)Dog肯定就相當(dāng)于返回了一個(gè)Animal；所以下面對(duì)委托的賦值是有效的

GetAnimal getMethod = GetDog;

2、委托中的逆變

復(fù)制代碼代碼如下:

//委托中的定義參數(shù)類型是Dog

public delegate void FeedDog(Dog target);

//實(shí)際方法中的參數(shù)類型是Animal

static void FeedAnimal(Animal target){}

// FeedAnimal是FeedDog委托的有效方法，因?yàn)槲薪邮艿膮?shù)類型是Dog；而FeedAnimal接受的參數(shù)是animal，Dog是可以隱式轉(zhuǎn)變成Animal的，所以委托可以安全的的做類型轉(zhuǎn)換，正確的執(zhí)行委托方法；

FeedDog feedDogMethod = FeedAnimal;

//定義委托時(shí)的參數(shù)是子類，實(shí)際上委托方法的參數(shù)是更寬泛的父類Animal，是父類向子類方向轉(zhuǎn)變，是逆變

三. 泛型委托的協(xié)變和逆變

1、泛型委托中的逆變

復(fù)制代碼代碼如下:

//委托聲明：
public delegate void Feed<in T>(T target);
//Feed委托接受一個(gè)泛型類型T，注意在泛型的尖括號(hào)中有一個(gè)in關(guān)鍵字，這個(gè)關(guān)鍵字的作用是告訴編譯器在對(duì)委托賦值時(shí)類型T可能要做逆變

//先聲明一個(gè)T為Animal的委托
Feed<Animal> feedAnimalMethod = a=>Console.WriteLine(“Feed animal lambda”);
//將T為Animal的委托賦值給T為Dog的委托變量，這是合法的，因?yàn)樵诙x泛型委托時(shí)有in關(guān)鍵字，如果把in關(guān)鍵字去掉，編譯器會(huì)認(rèn)為不合法
Feed<Dog> feedDogMethod = feedAnimalMethod;

2、泛型委托中的協(xié)變

復(fù)制代碼代碼如下:

//委托聲明

public delegate T Find<out T>(); 

//Find委托要返回一個(gè)泛型類型T的實(shí)例，在泛型的尖括號(hào)中有一個(gè)out關(guān)鍵字，該關(guān)鍵字表明T類型是可能要做協(xié)變的

//聲明Find<Dog>委托

Find<Dog> findDog = ()=>new Dog();

//聲明Find<Animal>委托，并將findDog賦值給findAnimal是合法的，類型T從Dog向Animal轉(zhuǎn)變是協(xié)變

Find<Animal> findAnimal = findDog;

四．泛型接口中的協(xié)變和逆變

1、泛型接口中的逆變

復(fù)制代碼代碼如下:

//接口定義：
public interface IFeedable<in T>
{
void Feed(T t);
}

//接口的泛型T之前有一個(gè)in關(guān)鍵字，來(lái)表明這個(gè)泛型接口可能要做逆變
//如下泛型類型FeedImp<T>，實(shí)現(xiàn)上面的泛型接口；需要注意的是協(xié)變和逆變關(guān)鍵字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轉(zhuǎn)變了，所以是逆變

2、泛型接口中的協(xié)變

復(fù)制代碼代碼如下:

//接口的定義：
public interface IFinder<out T>
{
T Find();
}

//泛型接口的泛型T之前用了out關(guān)鍵字來(lái)說(shuō)明此接口是可能要做協(xié)變的；如下泛型接口實(shí)現(xiàn)類
public class Finder<T>:IFinder<T> where T:new()
{
    public T Find(){
        return new T();
    }
}

//使用協(xié)變,IFinder的泛型類型是Animal，但是由于有out關(guān)鍵字，我可以將Finder<Dog>賦值給它
IFinder<Animal> finder = new Finder<Dog>();

希望本文所述對(duì)大家的C#程序設(shè)計(jì)有所幫助。

您可能感興趣的文章: