协变与逆变

目录

 

1.协变

2.逆变

---

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函数中的第二句能正常执行。