为何`var array = new[] {d,"hello"}`隐式类型为dynamic[]而非string[]？

咱们一步步拆解这个问题，结合Jon Skeet在《C# in Depth》里提到的动态转换规则来解释：

1. 先回顾C#隐式类型数组的基本推断逻辑 #

当你使用new[] { ... }创建隐式类型数组时，编译器会尝试找出所有元素的最佳通用类型——也就是所有元素都能隐式转换到的最具体的那个类型。比如new[] {1, 2, 3}会推断为int[]，new[] {1, 2.5}会推断为double[]（因为int能隐式转double）。

但如果元素之间没有共同的非object的通用类型（比如普通的int和string），编译器会直接报错，因为它找不到合适的类型。那为什么这里有dynamic表达式参与时，就能推断出dynamic[]呢？

2. Jon Skeet的动态转换规则的核心点 #

Jon特意强调的是：存在从dynamic类型表达式到几乎所有CLR类型的隐式转换，但这个转换是针对「dynamic类型表达式」，而非「dynamic类型本身」。这句话的关键在于——dynamic表达式的特殊性：编译时，编译器不会解析它的实际类型，而是把它当作一个可以适配任何类型的“占位符”。

那回到咱们的代码：

dynamic d = 5;
var array = new[] {d, "hello"};

这里的d是一个dynamic类型的表达式，而不是普通的int变量。编译器在处理这个数组的类型推断时：

• 对于"hello"（string类型），它可以隐式转换到dynamic类型；
• 对于d（dynamic表达式），根据规则，它可以隐式转换到几乎任何类型，但反过来，string不能隐式适配d的编译时“动态占位符”（因为d的实际类型只有运行时才知道）；
• 所以编译器能找到的唯一通用类型就是dynamic——因为所有元素都能隐式转换到dynamic，而且这是最具体的通用类型。

如果这里的d不是dynamic表达式，而是普通的int变量（比如int d =5），那编译器会直接报错，因为int和string没有共同的非object通用类型。但正因为d是dynamic表达式，它的“万能转换”特性让编译器可以把数组的类型推断为dynamic[]。

3. 为什么不是string[]？ #

你可能会问：既然dynamic表达式能转成string，那为什么不推断为string[]？原因很简单：编译器不会假设dynamic表达式的实际类型是能转成string的类型——毕竟d的实际值可以是任何类型（比如你后面可以把d改成一个DateTime对象）。编译器在编译时只能基于表达式的编译时类型来做推断，而d的编译时类型是dynamic表达式，它的转换是单向的（dynamic表达式转其他类型编译时允许，但其他类型无法保证能适配dynamic表达式的运行时类型）。而dynamic是唯一满足“所有元素都能安全转换到”的类型——string可以转成dynamic，dynamic表达式本身也属于dynamic类型。

总结一下：dynamic表达式的特殊转换规则，让它在数组类型推断中成为了“万能适配”的元素，编译器只能把数组类型推断为dynamic[]，因为这是所有元素都能隐式转换到的最具体类型。

内容的提问来源于stack exchange，提问作者rahulaga-msft