.NET中IEnumerable与数组的关系及替换传参原理问询

这个问题问得很到位——数组在.NET里的接口兼容逻辑确实有点“特殊”，不像我们自己写的类那样有明明白白的接口声明，下面拆解一下背后的逻辑：

核心原因：CLR为数组自动实现了泛型枚举接口 #

首先明确：数组在运行时是实现了IEnumerable<T>（以及非泛型IEnumerable）的，但这种实现不是你在代码里能看到的显式class X : IEnumerable<T>声明——因为数组是CLR直接生成的特殊类型，它的基类是System.Array，而CLR会为每个具体的数组类型（比如Job[]）自动附加对应泛型接口的实现。

举个反射验证的例子，你可以自己跑一下：

var jobArrayType = typeof(Job[]);
var implementsGenericEnum = jobArrayType.GetInterfaces().Contains(typeof(IEnumerable<Job>));
Console.WriteLine(implementsGenericEnum); // 输出：True

背后的继承/实现链 #

• 所有数组的直接基类是System.Array，这个类本身已经实现了非泛型的IEnumerable、ICollection、IList接口——这是你能在Array类的定义里看到的。
• 对于泛型接口（比如IEnumerable<Job>），CLR的处理是“按需生成”：当你把Job[]当作IEnumerable<Job>使用时，CLR会确认这个数组类型已经自动实现了该泛型接口，允许隐式转换。这种设计是为了让数组能无缝适配所有基于枚举的API，不用开发者做额外的包装。

调用DoJob(new[] { job })时的具体过程 #

当你执行这段调用代码时，实际发生了这几步：

1. 你创建了一个Job[]类型的数组实例，里面包含一个Job对象。
2. 因为Job[]在运行时已经实现了IEnumerable<Job>，所以这个数组实例可以隐式转换为IEnumerable<Job>类型的参数——不需要额外创建包装类（比如Enumerable.AsEnumerable()返回的那种包装器）。
3. 转换完成后，数组实例直接被传递给DoJob方法，整个过程几乎没有性能开销，是CLR层面直接支持的兼容逻辑。

额外提个小细节：如果你尝试把数组赋值给IList<T>也是可行的，但要注意数组的IList<T>实现是“半只读”的——你可以修改元素的值，但调用Add、Remove这类改变数组长度的方法时，会抛出NotSupportedException，这也是数组作为特殊类型的一个表现。

内容的提问来源于stack exchange，提问作者Saleh