为什么C＃在两种int数组语法上的行为有所不同

编译的版本使用数组初始化程序进行初始化list1。C＃语言规范§1.110（“数组初始化器”）规定：

数组初始化程序由一系列变量初始化程序组成，这些变量初始化程序由“ {”和“}”标记包围，并由“，”标记分隔。每个变量初始化器都是一个表达式，对于多维数组，则是一个嵌套数组初始化器。

使用数组初始化程序的上下文确定要初始化的数组的类型。在数组创建表达式中，数组类型紧接在初始化器之前，或者从数组初始化器中的表达式推断出来。在字段或变量声明中，数组类型是要声明的字段或变量的类型。

在字段或变量声明中使用数组初始化程序时，例如：

int[] a = {0, 2, 4, 6, 8}; 它只是等效数组创建表达式的简写形式：

int[] a = new int[] {0, 2, 4, 6, 8}; 因此很明显，应该编译。

第二个版本使用显式的数组创建表达式，您可以在其中明确指示编译器创建哪种类型的数组。§1.51.10.4（“数组创建表达式”）规定：

第三种形式的数组创建表达式称为 隐式类型的数组创建表达式。它与第二种形式相似，不同之处在于未明确给出数组的元素类型，而是将其确定为数组初始值设定项中表达式集的最佳通用类型（第1.50.2.14节）。

因此，第二个版本相当于

object[] list2 = new int[] { 0, 1 }; 因此，问题实际上变成了“为什么我不能分配int[]一个object[]”，就像您在问题末尾提到的那样。答案也很简单，如第1.109节（“数组协方差”）所示：

数组协方差尤其不扩展到值类型数组。例如，不存在允许将an int[] 视为的转换object[]。