为何编译器报CS0826错误？隐式类型数组编译疑问

首先明确：C#编译器在处理隐式类型数组时，要求必须能推断出唯一、无歧义的数组元素类型，这是由语言的设计原则决定的，不会进行随机选择，原因如下：

• 确定性是强类型语言的核心要求
  C#作为强类型语言，所有类型推断逻辑必须保证结果可预测、唯一。如果编译器允许随机选择Good或Bad作为数组类型，会导致相同代码在不同场景下产生不同的运行行为——比如这次编译是Good[]，下次变成Bad[]，后续对数组元素的操作结果会完全不一致，这会彻底破坏代码的可维护性和稳定性。

• 双向隐式转换导致无法判定“最优”类型
  你的代码中Good和Bad之间存在双向隐式转换：两者可以互相隐式转换。这种情况下，编译器没有任何规则能判定你更倾向于哪种类型的数组——把Bad转成Good存为Good[]，还是把Good转成Bad存为Bad[]？两种转换都是合法的，不存在优先级差异，编译器不会替你做主观决策。

• 避免后续代码的隐性错误
  假设编译器随机选择了某一种类型，后续代码如果依赖数组元素的专属成员（比如Good有Bad没有的方法），就会触发编译错误。这种随机选择会把类型问题推迟到后续代码中暴露，而不是在数组声明时就明确问题，不符合C#“尽早发现错误”的设计理念。

解决方式 #

你已经知道的两种可行方案：

1. 显式指定数组类型：

   var array = new Good[] { new Good(), new Bad() };
   

2. 对任意一个元素做显式转换，消除歧义：

   var array = new[] { new Good(), (Good)new Bad() };
   

内容的提问来源于stack exchange，提问作者IT demon