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转变了，所以是逆变