Convariance、Contravariance、Invariance

最新推荐文章于 2023-10-14 11:17:46 发布

转载最新推荐文章于 2023-10-14 11:17:46 发布 · 109 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/yerunwu/p/4920633.html

本文深入探讨了C#中协变与逆变的概念，通过实例展示了如何在类继承关系中进行类型转换。重点介绍了协变如何允许派生类型引用赋值给基类变量，以及逆变如何实现一种委托引用赋值给另一种委托类型栈变量，其中后者要求两种委托类型存在继承关系。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Convariance(协变):派生类型的引用可以赋值给基类变量。

 1 class Animal
 2     {
 3         public int NumberOfLegs = 4;
 4     }
 5     class Dog : Animal
 6     {
 7        
 8     }
 9     class Program
10     {
11         static void Main()
12         {
13             Animal a1 = new Animal();
14             Animal a2 = new Dog();//将派生类的引用赋值给基类
15             Console.WriteLine("{0}",a2.NumberOfLegs);
16             Console.Read();
17         }
18     }

Contravariance(逆变)：一种委托的引用赋值给另一种委托类型的栈变量。其中两种委托类型的约束类型是继承关系！逆变关键字in

 class Animal 
    { 
        public int NumberOfLegs = 4;
    }
    class Dog : Animal { }
    class Program
    {
        delegate void Action<in T>(T a);//in 逆变关键字
        static void ActOnAnimal(Animal a)
        {
            Console.WriteLine(a.NumberOfLegs);
        }
        static void Main()
        {
            Action<Animal> act1 = ActOnAnimal;//创建方法参数为Animal类型的委托变量并赋值
            Action<Dog> dog1 = act1;//将变量赋值给方法参数为Dog类型的委托变量，其中Animal为Dog的基类！
            dog1(new Dog());
        }
    }