为什么C#数组是协变的?它带来了什么好处?

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 是一个至少包含两个元素的一维数组,下面的代码将在不考虑元素类型的情况下工作

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

如果 阿里尔 是值类型,但因为 temp 如果从数组中读取,则保证数组的类型能够保存这样的值。代码必须对值类型元素进行box和unbox操作,因此对于此类类型效率很低,但无论如何都可以工作。

请注意,虽然使数组协变是允许排序方法等方法处理任意数组类型的一种方法,但这并不是唯一的方法。另一种方法是 System.Array 包括一些参数与基础元素类型无关的方法和属性。例如,它可以包括一些简单的方法,比如 Swap , CopyItem Roll ,以及在给定索引列表的情况下执行更复杂排列的方法。请注意,与上面显示的代码不同,类型 Int[] 可以覆盖它的 互换