C# 编译器是否对 IEnumerable 的特殊处理进行硬编码？ [复制]

Question

作为示例，使用 String 类中的 Join() 方法。当你调用它时 一个字节数组，例如

 byte[] bytes = {3,4,5};
 string str = string.Join(",", bytes);

C# 编译器将 Join 映射到此签名

 public static String Join<T>(String separator, IEnumerable<T> values);

但是，byte[] 隐式派生自类 Array，该类并非派生自泛型 IEnumerable，而是派生自非泛型 IEnumerable，即

 public abstract class Array : ICloneable, IList, ICollection, IEnumerable, IStructuralComparable, IStructuralEquatable {...}

如果我对自己的类似于这种情况的接口和类做同样的事情，我会得到 预期的编译器错误，因为根据规则您不能强制转换类 从接口 IA（非通用 IEnumerable）派生到接口 IB（通用 IEnumerable） 源自 IA。这意味着 C# 编译器只是硬编码特定名称 IEnumerable。 这是在哪里解释的？

Answer 1

但是，byte[] 隐式派生自类 Array，该类并非派生自泛型 IEnumerable，而是派生自非泛型 IEnumerable，即

没错，但是byte[] 实现了IEnumerable<byte> 本身，这完全有道理。我猜这是为Foo[] 编译特定类型的编译器功能（所以基本上所有都来自Array）。

查看byte[]上实现的接口（使用Type t = typeof(byte[]);获得，查看属性ImplementedInterfaces）：

前6个接口可能来自Array，后5个接口是1-6的通用版本。

Answer 2

数组在 CLR 中是特殊的。特别是只有引用类型数组是协变的。 byte 等值类型不是。就是那样子。 Eric Lippert 十年前曾就此发表过一篇博文。

在String.Join 的可用选项中，与byte[] 匹配的唯一版本是String Join<T>(String, IEnumerable<T>)

byte[] 无法转换为string[]、object[] 或IEnumerable<string>。

可用选项...

String Join(String, IEnumerable<String>) 
String Join(String, Object[])
String Join(String, String[]) 
String Join(String, String[], Int32, Int32) 
String Join<T>(String, IEnumerable<T>)

类型错误示例 ...

object[] test1 = new byte[0];
string[] test2 = new byte[0];
IEnumerable<string> test3 = new byte[0];
IEnumerable<byte> test4 = new byte[0];

...上面的编译器错误...

Cannot implicitly convert type 'byte[]' to 'object[]'
Cannot implicitly convert type 'byte[]' to 'string[]'
Cannot implicitly convert type 'byte[]' to  to 'System.Collections.Generic.IEnumerable<string>' 

更多转换示例

Foo[] test = new OtherFoo[0]; // allowed
OtherFoo[] test = new Foo[0]; // not allowed

public class Foo
{
}
public class OtherFoo : Foo
{
}