C＃編譯器硬編碼IEnumerable的特殊處理？

Question

作爲示例，使用String類的Join（）方法。當你在 上調用一個字節數組時，例如

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

C＃編譯器的地圖加入到這個簽名

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

然而，字節[]派生隱式地從類Array不從一般的IEnumerable獲得，而是從非通用IEnumerable的派生，即

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

如果我做我自己的接口和類，類似這種情況下，同樣的，我會得到 一個編譯器錯誤預期因爲... e根據規則，您不能將從接口IA（非泛型IEnumerable）派生的類 轉換爲從IA派生的接口IB（通用IEnumerable） 。這意味着C＃編譯器只是簡單地對特定名稱IEnumerable進行硬編碼。 這解釋了什麼？

Answer 1

然而，字節[]從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 
{ 
}