每个枚举数组都实现 IEnumerable。我该如何解决这个问题？

Question

看来，在 .NET 中，“枚举数组”并不是一个强类型的概念。 MyEnum[] 被认为不仅实现了 IEnumerable，还实现了 IEnumerable。 （一开始我也不相信。）

// Returns true:
typeof(IEnumerable<DayOfWeek>).IsAssignableFrom(typeof(AttributeTargets[]))

// Outputs "3":
var listOfLists = new List<object> {
    new[] { AttributeTargets.All },
    new[] { ConsoleColor.Blue },
    new[] { PlatformID.Xbox, PlatformID.MacOSX }
};
Console.WriteLine(listOfLists.OfType<IEnumerable<DayOfWeek>>().Count());

因此，当我查看实现 IEnumerable 的所有内容的列表时，我得到了 T[]s 和 List 以及迭代器生成的 IEnumerable ，但我也得到了SomethingElse[]是我不想要的。

确定给定 Type（如上面的 IsAssignableFrom）或给定实例（如上面的 OfType）是否真实可靠的最简单方法是什么 实现，比如说，IEnumerable？

---

我给了 Skeet 先生绿色的复选标记，但是当我将他的代码输入 Visual Studio 后，ReSharper 建议了一个更简洁的版本。使用您喜欢的版本。

public static IEnumerable<IEnumerable<T>> OfSequenceType<T>
    (this IEnumerable source) where T : struct
{
    return from sequence in source.OfType<IEnumerable<T>>()
           let type = sequence.GetType()
           where !type.IsArray || type.GetElementType() == typeof (T)
           select sequence;
}

Answer 1

我相信这基本上是由于 ECMA 335 第 8.7 节。

基本上，我们正在研究两个枚举数组类型之间的可分配给关系。据我所知，8.7.2 适用：

当且仅当满足以下条件之一时，位置类型 T 才与位置类型 U 兼容。

1. T 和 U 不是托管指针类型，并且根据第 8.7.1 节中的定义，T 与 U 兼容。

所以我们查看 8.7.1 并找到第 5 条：

T 是从零开始的 1 阶数组 V[]，U 是从零开始的 1 阶数组 W[]，V 与 W数组元素兼容 .

所以现在我们感兴趣的是这两个枚举类型是否具有数组元素兼容关系...这会导致：

签名类型 T 与签名类型 U 数组元素兼容当且仅当 T 具有基础类型 V 并且 U 具有基础类型 W 并且满足以下任一条件：

1. V 与 W 兼容；或
2. V 和 W 具有相同的简化类型。

现在枚举的底层类型是这样定义的：

类型 T 的底层类型如下：

1. 如果 T 是枚举类型，则其基础类型是枚举定义中声明的基础类型。
2. [与我们无关]

因此，在这种情况下，假设：

enum Foo : int {}
enum Bar : int {}

两者的底层类型都是 int。

现在我们可以回到我们的数组元素兼容定义，并看到V和W都是int。由于 8.7.1 的第一个要点，类型与本身兼容：

当且仅当至少满足以下条件之一时，签名类型 T 与签名类型 U 兼容。

1. T 与 U 相同。

因此，数组是兼容的。

它们还与底层类型本身的数组兼容：

enum Foo {}
...
object x = new int[10];
Foo[] y = (Foo[]) x; // No exception

请注意，x 必须在此处声明为 object，以说服 C# 编译器此可能< /em> 是合法的 - 否则它遵循 C# 语言的规则，而 C# 语言的规则不太宽容......

---

现在关于你的第二个问题：

找出给定类型（如上面的 IsAssignableFrom）或给定实例（如上面的 OfType）是否真正实现了 IEnumerable 的最简单方法是什么？

您可以只是特殊情况的数组，因为它们的行为有点奇怪。坦率地说，这可能是最简单的方法。我尝试使用 Type.GetInterfaceMap 但这也带来了一个问题：

未处理的异常：System.ArgumentException：通用接口的接口映射
无法检索数组上的 ace。

（是的，最后的拼写错误确实在错误消息中。不过，我懒得为此提出连接问题...）

我强烈怀疑特殊外壳是前进的方向...例如，假设你知道你正在处理一个值类型（引用类型数组的协方差是一个单独的问题......）

public static IEnumerable<IEnumerable<T>> OfSequenceType<T>
    (this IEnumerable source) where T : struct
{
    // Nullity check elided...
    foreach (object x in source)
    {
        IEnumerable<T> sequence = x as IEnumerable<T>;
        if (sequence == null)
        {
            continue;
        }
        // Work around odd value type array variance
        Type type = sequence.GetType();
        if (type.IsArray && type.GetElementType() != typeof(T))
        {
            continue;
        }
        yield return sequence;
    }
}

Answer 2

我尝试了这个：

var listOfLists = new List<object> {
    new[] { AttributeTargets.All },
    new[] { ConsoleColor.Blue },
    new[] { PlatformID.Xbox, PlatformID.MacOSX },
    new[] { DayOfWeek.Friday, DayOfWeek.Saturday }
};
Console.WriteLine(listOfLists.Where(obj => obj.GetType() == typeof(DayOfWeek[])).Count());

结果我得到了 1。我仍在寻找如何使用 IEnumerable<星期几>在查询中