c# - 为什么 typeof(System.Enum).IsEnum = false？

Question

据我们所知System.Enum是所有枚举的基础，但我想知道为什么反射说它不是枚举本身？

Console.WriteLine(typeof(System.Enum).IsEnum) // says it is false

我无法理解其中的逻辑，所以 System.Enum 不是枚举，但是从它派生的所有东西都是枚举？

当我看到msdn时，我第二次震惊了。这是一个类

public abstract class Enum : ValueType, 
    IComparable, IFormattable, IConvertible

所以 Enum 是一个类，但是它是值类型(派生自特殊的 ValueType 类，它将枚举作为值类型)并且是所有枚举的基础，但它本身不是枚举 :)

好吧，如果您不相信 Enum 是类，请检查 typeof(System.Enum).IsClass

问题是:对于作为值类型且是所有枚举的基础的类型，IsEnum 为假且 IsClass 为真是否有任何原因？

enum AAA { }
typeof(System.Enum).IsClass //True
typeof(System.Enum).IsEnum  //False
typeof(AAA).IsClass         //False
typeof(AAA).IsEnum          //True
typeof(AAA).BaseType        //System.Enum

Answer 1

IL 不知道结构。 IL 只有类。

那么，什么是 C# 结构？这是一个密封类，扩展了 System.ValueType类型。 System.ValueType也是什么决定了IsClass是什么？和 IsStruct Type 的属性类(class)回归。

那么为什么 Type.IsClass返回假？其实很简单。而 Type.IsClass真的会回来false对于枚举，您通过例如获得的类型typeof(Enum)实际上不是 System.Type - 这是 System.RuntimeType .和 System.RuntimeType定义 IsValueTypeImpl方法有点不同:

return !(this == typeof(ValueType)) 
       && !(this == typeof(Enum)) 
       && this.IsSubclassOf(typeof(ValueType));

所以有一个明确的额外检查 - Enum类型本身，同时派生自 ValueType , 因此在语义上是一个 struct , 实际上属于非值类型。

但是从 System.Enum 派生的单个枚举类型也是 ValueType 的子类，并且不是 System.Enum 的特例, 所以他们注册为不是类。

总而言之，不要假设适用于 C# 的事情也适用于整个 .NET。当然，不要假设高级抽象在实践中仍然有效——从技术上讲，.NET 是 100% 面向对象的，只有一个“主”System.Object。在类层次结构之上。连System.ValueType扩展(必须)System.Object .但是 - 值类型实际上不是 System.Object ;当你转换它们到System.Object ，您正在创建一个新对象，它包装了实际的值类型。

就像一般的值类型一样，.NETs enum s 是“丑陋的黑客”。就运行时(以及许多内部 .NET 代码)而言，它们是一个特殊的东西，它们用于为程序员简化事情，或提高性能(以及安全性和安全性，和...)。

最后，正如您所发现的，有些事情必须是不一致的。 Enum源自 ValueType .根据 C# 语义，它应该是一个 struct .但是你不能扩展 struct !然而，这正是您在这种情况下真正想要做的。

我怀疑如果枚举被添加到(比方说)5.0 中的 .NET，它们将以不同的方式实现。也许只是一个 IEnum接口(interface)和几个扩展方法。但是 C# 1.0 中没有扩展方法，对于值类型，它们会造成不必要的性能损失。