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

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

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

//委托聲明：
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;

//委托聲明
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;

//接口定義：
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轉變了，所以是逆變

//接口的定義：
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>();