问为什么C#阵列是协变的，它带来了什么好处？

EN

Eric Lippert说：

不幸的是，这种特殊的协方差被打破了。之所以将它添加到CLR中，是因为Java需要它，而CLR设计者希望能够支持类似Java的语言。然后，我们将其添加到C#中，因为它在CLR中。这一决定在当时很有争议，我对此并不是很高兴，但现在我们对此无能为力。

Eric Lippert有一篇关于这方面的文章(实际上是关于‘方差’的一个很长的系列，我认为是11部分)

http://blogs.msdn.com/b/ericlippert/archive/2007/10/17/covariance-and-contravariance-in-c-part-two-array-covariance.aspx

还有一些更有趣的东西

http://blogs.msdn.com/b/ericlippert/archive/2009/09/24/why-is-covariance-of-value-typed-arrays-inconsistent.aspx

在许多情况下，代码将在数组的插槽之间移动或复制项。如果Arr是至少包含两个元素的一维数组，则无论Arr的类型或其中包含的元素是什么，下面的代码都可以工作。

Object temp = Arr[1];
Arr[1] = Arr[0];
Arr[0] = temp;

如果Arr是一个值类型，那么这个代码的效率会很低，但是因为temp是从数组中读出的，所以可以保证数组的类型能够保存这样的值。代码将不得不装箱和拆箱值类型的元素，因此对于这种类型的效率将很低，但它仍然可以工作。

请注意，虽然使数组协变是允许排序方法在任意数组类型上工作的一种方法，但这并不是唯一的方法。另一种方法是让System.Array包含一些方法和属性，这些方法和属性的参数与底层元素类型无关。例如，它可以包括一些简单的方法，如Swap、CopyItem和Roll，还可能包括在给定一系列索引的情况下执行更复杂的排列的方法。请注意，与上面显示的代码不同，像Int[]这样的类型可以通过某种方式重写其Swap方法，以避免装箱和取消装箱。