目录
1.协变
在泛型之前,我们都知道可以将一个派生类对象赋值给基类变量,这叫做赋值兼容性。看下面这个例子
class Animal
{
public int numberOfLegs=4;
}
class Dog: Animal
{}
class Program
{
static void Main()
{
Animal a1=new Animal();
Animal a2=new Dog();
Console.WriteLine("Number of Dog legs:{0}", a2.NumberOfLegs);
}
}
兼容性示意图如上。但是当我们添加泛型机制时:
class Animal {public int Legs=4;}
class Dog:Animal {}
delegate T Factory<T>();
class Program
{
static Dog MakeDog()
{
return new Dog();
}
static void Main()
{
Factory<Dog> dogMaker=MakeDog;
Factory<Animal> animalMaker=dogMaker;
Console.WriteLine(animalMaker().Legs.ToString());
}
}
在上面的Main函数中,代码尝试吧delegate Factory<Dog> 委托类型赋值给felegate Factory<Animal> 委托类型的animalMaker变量,此时会出现一个问题,编译器提示不能隐式把右边的类型转换为左边的类型。问题在于尽管Dog是Animal的派生类,但是委托Factory<Dog> 没有从委托Factory<Animal> 派生,两个委托是同级的,他们都是从的delegate类型派生,后者又派生自object类型。
那么如何解决呢?
如果派生类只是用于输出值,那么这种结构化的委托有效性之间的常数关系叫做协变。为了让编译器知道这是我们的额期望,必须使用out关键字标记委托声明中的类型参数。即将前面的委托声明修改为:
delegate T Factory<out T>();
2.逆变
有了协边的理解,那么对于逆变的理解就很容易理解了。对于逆变,只需要把关键字out改为in即可。
class Animal {public int Legs=4;}
class Dog: Animal {}
class Program
{
delegate void Action<in T> (T a);
static void ActOnAnimal(Animal a) {Console.WriteLine(a.NumeberOfLegs);}
static void Main()
{
Action<Animal> act1=ActOnAnimal;
Action<Dog> dog1=act1; //逆变
dog1(new Dog);
}
}
和之前的请款一样,默认情况下不可以赋值两种不兼容的类型,但是,如果类型参数只用作委托方法中的输入参数,就可以。因为即使调用代码传入了一个程度更高的派生类的引用,委托中的方法也只期望一个程度更低的派生类引用,当然也就仍然能就收并指导如何操作。因此Main函数中的第二句能正常执行。