var array=new[]{d,“hello”}隐式类型化为dynamic[],而不是string[]?为什么?

在大多数情况下,您可以忽略此细节。但是如果您仔细查看规范,您将看到该语言考虑从类型转换的各种地方 X 至类型 Y 。该语言还考虑从表达式转换到其他地方 e 至类型 T ,通常对精确表达式有一些限制。

最简单的例子就是常数。没有从 int 到 byte ,但在那里 是 “类型的常量表达式”的隐式转换 内景 值在以下范围内 字节 “收件人 字节 。

同样,也没有从 dynamic 到 string (例如)但是 是 从“静态类型为的表达式”的转换 动态 “收件人 一串 。

这对于隐式类型数组之类的事情可能很重要。考虑以下表达式:

dynamic d = GetSomeDynamicValue(); // Compiler doesn't know or care actual value
var array = new[] { "hello", d };

什么类型的 array 是结果是 dynamic[] 不 string[] -而我 相信 是由于转换的种类不同。就像这样:

byte b = 10;
var array = new[] { b, 10 };

。。。最终成为 int[] 即使有一个常量表达式的隐式转换 10 到 字节 。

一句话:类型推断在规范中是一个非常非常棘手的问题。有这两种不同的转换,值得注意,但大多数时候你不必担心。