C# 中的协变和逆变

作为一个从接触 Unity 3D 才开始学习 C# 的人，我一直只了解一些最基本、最简单的语言特性。最近看了《C# in Depth》这本书，发现这里面东西还真不少，即使除去和 Windows 编程相关的内容，只是兼容 Unity 的部分就够好好消化一阵子的。其中，令我非常头大的一组概念，就是协变性和逆变性（统称可变性）。

一、可变性的概念

C# 一开始就支持数组的协变，听说是为了和 Java 竞争于是就把 Java 的这个不怎么样的特性给实现了。看如下代码，

object[] myArray = new string[] {
    "abc",
    "def",
    "ghi",
    // ...
};

我 new 了一个 string 类型的数组，却把它作为一个 object 类型数组的初始化式。这可以编译通过，也就是说，使用 object 数组的地方，都可以传入 string 数组。推广一下，就是使用基类数组的地方，都可以传入派生类数组。这样看来，协变的概念没什么深奥的， 所谓协变性指的就是，在一个使用一般类型的地方，可以传入一个特殊类型的对象。那么，最基本的协变就是面向对象中的多态——使用基类型对象的地方，都可以传入派生类对象。

但是，上面这个数组的协变性还是很特别的。首先，在 C# 的类型系统中，派生类型的数组并不继承自基类型的数组（别的语言也是如此吧）。所以，它的