为什么编译器不将 var[] 转换为 c# 中的 object[]？

Question

这两行之间没有区别，因为编译器在第二行中理解它是一个 int 类型的数组。

var x = new int[] { 1, 2, 3 };   //Fine, x is int[]
var x = new [] { 1, 2, 3 };      //Fine, x is int[]

但为什么我不能对不同类型执行此操作？为什么编译器不将我的变量转换为 object 类型？

var x = new object[] { 1, "df", 5 };   //Fine, x is object[]
var x = new [] { 1, "df", 5 };         //Error! "No best type found for implicity-typed-array"

编辑：

感谢您的所有回答。但我仍然想知道，使编译器无法转换为 object 类型的所有表达式有何优缺点？ （因为我使用 var 表示法，这意味着它不能是任何类型。我是这样理解的。）为什么编译器不通过继承树向上查找数组成员的最近类型？

Answer 1

new [] 表示法用于节省您键入数组成员的显式类型（或允许您创建其元素具有匿名类型的数组），但其类型推断受到限制，因为所有元素必须共享相同的类型，或者可以隐式转换为至少一个成员共享的公共类型。请参阅 C# 规范，第 7.6.10.4 节：

第三种形式的数组创建表达式称为隐式类型数组创建表达式。它与第二种形式类似，只是没有显式给出数组的元素类型，而是将其确定为数组初始值设定项中表达式集的最佳公共类型（第 7.5.2.14 节）。

以下是隐式类型数组创建表达式的示例：

var a = new[] { 1, 10, 100, 1000 }; // 整数[]
var b = new[] { 1, 1.5, 2, 2.5 }; // 双倍的[]
var c = new[,] { { "你好", null }, { "世界", "!" } }; // 细绳[，]
var d = new[] { 1, "一", 2, "二" }; // 错误

最后一个表达式会导致编译时错误，因为 int 和 string 都不能隐式转换为另一个，因此不存在最佳通用类型。在这种情况下，必须使用显式类型化的数组创建表达式，例如将类型指定为 object[]。或者，可以将其中一个元素转换为公共基类型，然后该基类型将成为推断的元素类型。

这里的关键点是“最佳常见类型”只能是已经存在的类型之一。正如Damien_The_Unknowner在评论中指出的那样：“正如Lippert先生喜欢指出的那样推论，每当它寻找最佳公共类型时，它只会返回已经存在的类型之一 - 它不会去寻找最衍生的公共祖先。”。

仅仅因为每个数组都可以是一个 object [] 并不意味着它应该是。从编译器的角度来看，这将是一个微不足道的最后选择，但我想对于开发人员来说这是一个非常违反直觉的选择。

Answer 2

为了扩展 Joey 的答案，请考虑以下示例：

interface IFoo { }
interface IBar { }

class A : IFoo, IBar { }
class B : IFoo, IBar { }

var array = new [] { new A(), new B() };

两个类都实现了两个接口（并且还从 object 派生），因此应该为 array 推断哪种类型？

---

要回答您的评论，请考虑 A 和 B 仅共享一个接口的情况：

interface IFoo { }

class A : IFoo { }
class B : IFoo { }

var array = new [] { new A(), new B() };

A 和 B 共享object 作为它们的基类，但是对于数组类型推断这一点是没有帮助的，而且几乎没有用处。如果有的话，人们会期望它是 IFoo ，因此它会违反原则最少的惊讶。然而，正如我所说明的，这不能始终如一地完成。

这里最安全和最一致的行为就是不允许类型推断。