浅谈 C# 协变与逆变中 “out” 与 “in” 关键字的必要性

        近来经常涉及泛型委托及接口的协变与逆变的问题，在网上搜索的时候，人们都是在反复地强调协变和逆变的概念，强调什么时候要加关键字 out，什么时候要加 in。可是鲜有人去说明：为何协变要加 out，为什么逆变就必须要加 in。下面我就在文章中稍作一下解释，可能解释有不妥的地方，欢迎指正。

        首先说说协变，以泛型委托中的协变举例：

        class Animal { public int LegNum = 2; }

        class Dog : Animal { }

        delegate T Del<out T>();      // 注意这个委托，签名中没有 T ，返回中有。

        class Program

        {

            public static Dog Method() { return new Dog(); }

            static void Main()

            {

                aDog = Method;

                Del<Animal> aAnimal = aDog; 

            }

        }

        在红色行中可以看出，创建了一个以 Dog 为类型实参的泛型委托对象 aDog，并把 Method 方法赋值给了它。而第二句，创建了一个以 Animal 为类型实参的对象，并把 aDog 赋值给了它。而 Dog 类是 Animal 类 的派生类，且委托形参中不存在这两个类。这段代码可以正常运行，因为C# 语言对于协变规定：当派生类只用作输出值的时候，可以产生协变，协变关系允许程度更大的派生类型（Animal 也是派生的，派生于Object ）处于返回及输出位置。我们看第三行中声明的委托类型，显然符合这个规定。

        那么问题了，协变中为什么不允许程度更大的派生类处于输入位置呢？这也就是我想说的重点，为什么只让 “out” 呢？

        答：为了安全。C# 一直在从一个很重要的角度推销自己，就是安全。现在我们重点看红色的两行。第一句，把 Method 赋值给了 aDog，于是，栈上有了多了一个地址，对应的，堆上多了个委托对象，只认 Dog 类。第二句创建了一个新委托对象，而赋值过程出现了一个类型转换，或者说引用转换，可不论引用怎么转换，堆上的那个对象仍然还是那个对象（即这个Method 方法，它是不会变的）。虽然第二句给我们的感觉好像是创造了一个新方法：

 public static Animal Method() { return new Animal(); }

但事实上并不是的，只是看起来像而已。所以这个委托还是认得 Dog，并且有可能访问 Dog 类中的任何一个成员，包括基类部分和新增部分。而一个基类实例中是不含有新增部分的，当输入了一个基类的实例，委托想操作新增部分却未遂，就导致了内存错误。为不避免这种错误，干脆，就规定，想要协变，那个更大程度的派生类不能处于输入的位置。所以，out 就必须要加上，代表只用作输出值，不能作入值。

        再说逆变，看例子：

        class Animal { public int LegNum = 2; }

        class Dog : Animal { }

        delegate void Del< in T>(T t);

        class Program

        {

            public static void Method<T>(T t) { Console.WriteLine(t.GetType()); }

            static void Main()

            {

                Del<Animal> ADel = Method;

                Del<Dog> DDel = ADel;

                Dog littleDog = new Dog();

                DDel(littleDog);

                Console.ReadLine();

            }

        ｝

        红色行的第一句，从 Animal 创建了一个委托对象 ADel，并把 Method 方法赋值给它。第二句从 Dog 创建了一个委托对象 DDel，并把 ADel 赋值给它。Dog 类是 Animal类的派生类，且委托的返回类型中没有 Dog 类或 Animal 类。这段代码可以运行，因为 C# 中规定：逆变允许更高程度的派生类型作为输入参数，但不能作为输出参数。而代码中的关键字 in 也就是这个意思。那么，这是为什么呢？

        答：同样是为了安全。第一句创建了一个委托 ADel，其在堆中实例的方法为：

    public static void Method<Animal>(Animal a) { Console.WriteLine(a.GetType()); }

第二句从创建委托后，赋值，其实质也是引用转换，不管引用怎么转换，这个对象实例仍然是老样子。就是说，我们在第二句中，看起来好像创建了一个新的方法：

    public static void Method<Dog>(Dog d) { Console.WriteLine(d.GetType()); }

实际上并没有。第三句中，我们声明了一个 Dog 类的变量 littleDog 用于第四句的方法调用。第四句，我们调用第二句的委托。但我们知道，第二句中的委托对应的方法还是我们在堆中第一次构造的实例，它只认 Animal，看不到它的派生类们。就算我们输入一个 Dog 类，它也只是看到了其中的基类部分（Animal 部分），但如果我们想要它输出一个 Dog 类的对象，它会一脸懵：嗯？嗯？什么是 Dog？这样就导致了错误。为不避免这种错误，干脆，就规定，想要逆变，就不允许更细化的派生类型作为输出。只能进，就是 in 的必要性。

        类比之下，接口的协变逆变中，in 和 out 的规定也是一样的道理。