为什么我不能使用数组的枚举器，而是自己实现它？

Question

我有一些这样的代码：

public class EffectValues : IEnumerable<object>
{
    public object [ ] Values { get; set; }

    public IEnumerator<object> GetEnumerator ( )
    {
        return this.Values.GetEnumerator ( );
    }

    System.Collections.IEnumerator System.Collections.IEnumerable.GetEnumerator ( )
    {
        return this.GetEnumerator ( );
    }
}

但是编译器抱怨说：

“无法隐式转换类型 'System.Collections.IEnumerator' 到 'System.Collections.Generic.IEnumerator'。 存在显式转换（您是 缺少演员？）”

我认为 Array 类型实现了两个 IEnumerable 接口，不是吗？因为我可以直接在 Values 实例上使用 Linq 功能。

Answer 1

这是一个微妙且有点不幸的事情。简单的解决方法是：

public IEnumerator<object> GetEnumerator ( )
{
     return ((IEnumerable<object>)this.Values).GetEnumerator ( );     
} 

我认为 Array 类型实现了两个 IEnumerable 接口，不是吗？

规则是：

• System.Array 使用公共方法“隐式”实现 IEnumerable。
• 每个数组类型 T[] 都继承自 System.Array。
• 每个数组类型 T[] 都实现 IList、IEnumerable 等。
• 因此每个数组类型 T[] 都可以转换为 IEnumerable

请注意，第三点不是

• 每个数组类型 T[] 都实现 IList，IEnumerable 等在 T[] 上定义隐式实现成员的公共方法和属性

就这样。当您查找 GetEnumerator 时，我们会在 object[] 上查找它，但没有找到它，因为 object[] 显式实现了 IEnumerable

也就是说，这样想：

namespace System
{
    abstract class Array : IEnumerable
    {
        public IEnumerator GetEnumerator() { ... }
        ...
    }
}

class object[] : System.Array, IList<object>, IEnumerable<object>
{
    IEnumerator<object> IEnumerable<object>.GetEnumerator() { ... }
    int IList<object>.Count { get { ... } }
    ...
}

当您在 object[] 上调用 GetEnumerator 时，我们看不到作为显式接口实现的实现，因此我们转到基类，它确实有一个可见的。

如何“即时”生成所有 object[]、int[]、string[]、SomeType[] 类？

魔法！

这不是泛型，对吧？

正确的。数组是非常特殊的类型，它们深深地融入到 CLR 类型系统中。尽管它们在很多方面与泛型非常相似。

看起来这个class object [] : System.Array是用户无法实现的，对吧？

是的，这只是为了说明如何思考。

您认为哪一个更好：将 <​​code>GetEnumerator() 转换为 IEnumerable

这个问题的格式不正确。您无需将 GetEnumerator 强制转换为 IEnumerable

我可能会将 Values 转换为 IEnumerable

我可能会使用强制转换，但我想知道您或某些可以阅读代码的程序员是否会认为这不太清楚。

我认为演员阵容很清楚。

当你说隐式实现时，你指的是Interface.Method的形式，对吧？

不，相反：

interface IFoo { void One(); void Two(); }
class C : IFoo
{
    public void One() {} // implicitly implements IFoo.One
    void IFoo.Two() {} // explicitly implements IFoo.Two
}

第一个声明默默实现该方法。第二个是关于它实现的接口方法的明确。

为什么要这样实现 IEnumerable，而不是使用公共方法隐式实现？我很好奇，因为你说“这是一个微妙且有点不幸的”，所以我想这似乎是因为一个较早的决定迫使你这样做？

我不知道是谁做出了这个决定。但这有点不幸。它至少让一个用户——你——感到困惑，也让我困惑了几分钟！

我本以为数组类型会是这样的：public class Array： IEnumerable 等。但是，有一些关于它的神奇代码，对吗？

正确的。正如您昨天在问题中指出的那样，如果我们在 CLR v1 中使用泛型，情况将会有很大不同。

数组本质上是一种通用集合类型。因为它们是在没有泛型的类型系统中创建的，所以类型系统中必须有大量特殊代码来处理它们。

下次设计类型系统时，将泛型放入 v1 中，并确保从一开始就将强集合类型、可空类型和不可空类型嵌入到框架中。事后添加泛型和可为 null 的值类型很困难。

Answer 2

您必须将数组转换为 IEnumerable

public IEnumerator<object> GetEnumerator() {
  return ((IEnumerable<object>)this.Values).GetEnumerator();
}