为什么枚举数组可以转换为两个不同的IEnumerable <t>类型?

时间:2015-06-09 19:05:08

标签: c# arrays enums

我似乎偶然发现了C#中不寻常的一些我不完全理解的东西。假设我定义了以下枚举:

public enum Foo : short 
{
    // The values aren't really important
    A,
    B
}

如果我声明一个Foo数组或通过Enum.GetValues检索一个数组,我就能成功地将其投放到IEnumerable<short>IEnumerable<ushort>。例如:

Foo[] values = Enum.GetValues( typeof( Foo ) );
// This cast succeeds as expected.
var asShorts = (IEnumerable<short>) values;
// This cast also succeeds, which wasn't expected.
var asUShorts = (IEnumerable<ushort>) values;
// This cast fails as expected:
var asInts = (IEnumerable<int>) values;

对于其他基础类型也会发生这种情况。枚举数组似乎总是可以转换为基础整数类型的有符号和无符号版本。

我因为解释这种行为而感到茫然。这是明确定义的行为还是我偶然发现了语言或CLR的特殊怪癖?

1 个答案:

答案 0 :(得分:10)

它不仅仅是IEnumerable<T> - 您也可以将其转换为数组类型,只要您先欺骗编译器:

public enum Foo : short 
{
    A, B
}

class Test
{
    static void Main()
    {
        Foo[] foo = new Foo[10];
        short[] shorts = (short[]) (object) foo;
        ushort[] ushorts = (ushort[]) (object) foo;        
    }
}

C#语言并不期望这种转​​换是可行的,但CLR很乐意这样做。反之亦然 - 您可以从short[]投射到Foo[]。哦,如果你有另一个具有相同基础类型的枚举,你也可以投射到那个。基本上,CLR知道所有这些类型都只是16位整数 - 所有位模式都是有效值,即使它们具有不同的含义 - 因此它允许您将一种类型视为另一种类型。我不会想到在CLI规范中记录的内容 - 无论如何我都找不到任何引用。

当LINQ中的优化(Cast<>ToList)合并时,这可能会导致一些有趣的问题。

例如:

int[] foo = new int[10];
var list = foo.Cast<uint>().ToList();

您可能希望这会产生InvalidCastException(例如,如果您使用任何值的List<int>开头),但最终会得到:

Unhandled Exception: System.ArrayTypeMismatchException: Source array type cannot be assigned to destination array type.
   at System.Array.Copy(Array sourceArray, Int32 sourceIndex, Array destinationArray, Int32 destinationIndex, Int32 length, Boolean reliable)
   at System.SZArrayHelper.CopyTo[T](T[] array, Int32 index)
   at System.Collections.Generic.List`1..ctor(IEnumerable`1 collection)
   at System.Linq.Enumerable.ToList[TSource](IEnumerable`1 source)
   at Test.Main()

这是因为Cast操作已检查并发现int[]已经是uint[],因此它已经将ToList()传递给Array.Copy然后尝试使用item.SubItems.Add(DateTime.Now.ToString("HH:mm")); ,其中 注意到差异。哎哟!