隐式类型数组背后原理：编译器如何推导公共类型double？

首先明确：这里的数组类型推导遵循C#隐式类型数组的规则，和IConvertible接口没有直接关系，核心是编译器会从元素类型中选出一个最佳公共类型，具体推导逻辑如下：

推导步骤拆解 #

• 第一步：列出所有元素的原始类型：代码里的元素分别是int（1、2）、double（0.14）、char（'a'）。
• 第二步：检查类型间的内置隐式转换关系：
  • int可以隐式转换为double
  • char可以隐式转换为double（char的字符值会被转为对应的浮点数值，比如'a'对应97.0）
  • double无法隐式转换为int或char，因此它是唯一能容纳所有元素的合理类型
• 第三步：确定最佳公共类型：编译器会选择一个让所有元素都能隐式转换过去的类型，这里double满足所有条件，所以最终数组类型被推导为double[]。

为什么和IConvertible无关？ #

IConvertible是显式类型转换场景下会用到的接口（比如调用Convert.ToDouble()方法），但隐式类型数组的推导只依赖C#内置的隐式转换规则，不需要借助这个接口。如果元素之间没有共同的隐式转换目标，编译器会直接报错，比如混合int和string就无法推导公共类型。

验证代码示例 #

你可以通过以下代码确认数组的实际类型：

private static void Main(string[] args)
{
    var nrColl = new[] { 1, 2, 0.14, 'a' };
    Console.WriteLine(nrColl.GetType()); // 输出 System.Double[]
    foreach (var item in nrColl)
    {
        Console.WriteLine($"{item} ({item.GetType()})");
        // 输出依次为：1 (System.Double)、2 (System.Double)、0.14 (System.Double)、97 (System.Double)
    }
}

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