C＃中的数组如何部分实现IList？

根据汉斯的答案的新答案

感谢汉斯给出的答案，我们可以看到实现比我们想象的要复杂一些。编译器和CLR都 非常努力
地给人以数组类型实现的印象

IList<T>

System.Array

foreach (var type in typeof(int[]).GetInterfaces()){    Console.WriteLine(type);}

输出：

System.ICloneableSystem.Collections.IListSystem.Collections.ICollectionSystem.Collections.IEnumerableSystem.Collections.IStructuralComparableSystem.Collections.IStructuralEquatableSystem.Collections.Generic.IList`1[System.Int32]System.Collections.Generic.ICollection`1[System.Int32]System.Collections.Generic.IEnumerable`1[System.Int32]

对于一维，从零开始的数组，就 语言
而言，该数组确实也可以实现

IList<T>

T[]``IList<T>

Count

请注意，这仅适用于一维数组（以及从零开始的数组，而不是C＃，因为一种语言说了有关非从零开始的数组）。

T[,]

IList<T>

从CLR的角度来看，有些事情正在发生。您无法获取通用接口类型的接口映射。例如：

typeof(int[]).GetInterfaceMap(typeof(ICollection<int>))

给出以下例外：

Unhandled Exception: System.ArgumentException: Interface maps for genericinterfaces on arrays cannot be retrived.

那为什么奇怪呢？好吧，我相信这确实是由于数组协方差引起的，这是类型系统IMO中的疣。即使

IList<T>

string[] strings = { "a", "b", "c" };IList<object> objects = strings;

… 看起来 好像是

typeof(string[])

IList<object>

CLI规范（ECMA-335）分区1（第8.7.1节）具有以下内容：

签名类型T与签名类型U兼容-并且仅当以下至少一项成立时

…

T是从零开始的rank-1数组

V[]

，并且

U

是

IList<W>

，并且V是与W兼容的数组元素。

（它实际上没有提及

ICollection<W>

IEnumerable<W>

对于非差异性，CLI规范与语言规范直接匹配。从分区1的8.9.1节开始：

此外，创建的元素类型为T的向量将实现interface

System.Collections.Generic.IList<U>

，其中U：=T。（第8.7节）

（ 向量 是基数为零的一维数组。）

现在，在条款 实施细则
，明确了CLR做一些时髦的映射，以保持分配兼容性这里：当

string[]

ICollection<object>.Count

那

ICollection.Count

到目前为止，我已经讨论了泛型接口，但是接下来是

ICollection

Count

System.Array

ICollection.Count

Array

如果有人能想到这种显式接口实现与“常规”显式接口实现不同的方法，我很乐意进一步研究它。

关于显式接口实现的旧答案

尽管上述 *** 作由于数组知识而变得更加复杂，但是您仍然 可以 通过显式接口实现来执行具有相同 可见 效果的 *** 作。

这是一个简单的独立示例：

public interface IFoo{    void M1();    void M2();}public class Foo : IFoo{    // Explicit interface implementation    void IFoo.M1() {}    // Implicit interface implementation    public void M2() {}}class Test    {    static void Main()    {        Foo foo = new Foo();        foo.M1(); // Compile-time failure        foo.M2(); // Fine        IFoo ifoo = foo;        ifoo.M1(); // Fine        ifoo.M2(); // Fine    }}