c# – 枚举[]是IEnumerable在通用方法中返回true

enum Gender { Male, Female }

Gender g = Gender.Male;

bool b = g is int; // false, alright no issues
b = new[] { g } is IEnumerable<int>; // false, alright no issues
b = Is<Gender, int>(g); //false, alright no issues
b = Is<Gender[], IEnumerable<int>>(new[] { g }); // true, why on earth !!!

static bool Is<S, T>(S s)
{
    return s is T;
}

为什么Gender []是IEnumerable<int>在通用情况下返回true？特别是当它们不兼容？

IEnumerable<int> c = new[] { Gender.Male }; //not compilable

在我链接的问题中,我已经绊倒了我！我认为这个问题是相关问题的关键.

对于有兴趣的人来说,这是数组的一个角落(不是真的枚举).关注 Eric Lippert’s blog 文章在答案中了解更多这种边缘案例.列表<T>不会发生这种情况例如：

b = Is<List<Gender>, IEnumerable<int>>(new List<Gender> { g }); // false, rightly

,解释了为什么uint []被CLI处理为int []而不是C#;我怀疑这里也是同样的解释).你甚至不需要泛型来证明：

Gender g = Gender.Male;
Console.WriteLine(new[] { g } is IEnumerable<int>); // False
Console.WriteLine((object)new[] { g } is IEnumerable<int>); // True

第一个是在编译时将表达式优化为false,因为C#编译器“知道”Gender []不是IEnumerable<int>.第二个是表达式生成在运行时评估的isinst指令.引用Eric Lippert：

It is unfortunate that C# and the CLI specifications disagree on this minor point but we are willing to live with the inconsistency.