枚举是值类型而System.Enum却是引用类型的原因

 

Q:在C#里,我们如何表达枚举类型?

A:你可以使用enum关键字(keyword)来声明一个枚举类型(enum type):

  1. // Code #01
  2. public enum Alignment
  3. {
  4. Left,
  5. Center,
  6. Right
  7. }

--------------------------------------------------------------------------------
Q:C#枚举类型是值类型(value type)还是引用类型(reference type)?

A:枚举类型都是值类型。

--------------------------------------------------------------------------------

Q:System.Enum是枚举类型么?

A:不是。

--------------------------------------------------------------------------------

Q:System.Enum与枚举类型(enum type)有什么关系?

A:System.Enum是一个抽象类(abstract class),所有枚举类型都直接继承自它,当然也同时继承了它的所有成员。

--------------------------------------------------------------------------------

Q:那么System.Enum属于引用类型啦?

A:是的。

--------------------------------------------------------------------------------

Q:既然System.Enum是引用类型,而枚举类型又是直接继承自System.Enum的,那为什么枚举类型却不是引用类型?

A:这种继承关系是隐式的并由编译器负责展开,上面Code #1的Alignment枚举被展开后的IL代码如下:

  1. // Code #02
  2. .class public auto ansi sealed Aligment
  3. extends [mscorlib]System.Enum
  4. {
  5. .field public static literal Aligment Left = int32(0x00000000)
  6. .field public static literal Aligment Center = int32(0x00000001)
  7. .field public static literal Aligment Right = int32(0x00000002)
  8. .field public specialname rtspecialname int32 value__
  9. }

从声明中,你可以看到Aligment的确是继承自System.Enum的,只是你不能在C#里显式声明这种继承关系。

--------------------------------------------------------------------------------

Q:但你好像没有回答为什么枚举类型继承自一个引用类型后,却还是值类型!

A:你知道,所有的值类型都是System.ValueType的后代,枚举类型也不例外,枚举类型直接继承自System.Enum,而System.Enum却又直接继承自System.ValueType的,所以,枚举类型也是System.ValueType的后代。

--------------------------------------------------------------------------------

Q:慢着!从System.ValueType派生出来的类型不都应该是值类型吗?为什么System.Enum会是引用类型?

A:正确的说法应该是“值类型都是System.ValueType的后代”,但System.ValueType的后代不全是值类型,System.Enum就是唯一的特例!在System.ValueType的所有后代中,除了System.Enum之外其它都是值类型。事实上,我们可以在.NET的源代码中找到System.Enum的声明:

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

请注意,.NET Framework SDK v2.0.3600.0 Documentation中的Enum声明是错的:

public abstract struct Enum : IComparable, IFormattable, IConvertible

--------------------------------------------------------------------------------

Q:开始头晕了,究竟C#枚举类型、System.Enum、System.ValueType、值类型和引用类型之间存在着什么样的关系?

A:简单的说,

1. 所有枚举类型(enum type)都是值类型。 
2. System.Enum和System.ValueType本身是引用类型。 
3. 枚举类型(enum type)都是隐式的直接继承自System.Enum,并且这种继承关系只能由编译器自动展开。但System.Enum本身不是枚举类型(enum type)。 
4. System.Enum是一个特例,它直接继承自System.ValueType(参见Code #03),但本身却是一个引用类型。
好吧,现在来看看下面代码,你能猜得出它的输出结果吗?

  1. // Code #04
  2. static void Main()
  3. {
  4. Type t = typeof(System.Enum);
  5. if (t.IsEnum)
  6. Console.WriteLine("I'm enum type.");
  7. if (t.IsValueType)
  8. Console.WriteLine("I'm value type.");
  9. }

请别惊讶于程序的运行结果没有任何输出!对于第一个判断,我们很清楚System.Enum并不是枚举类型。但第二个判断呢?System.Enum明明继承自System.ValueType,却不承认是System.ValueType的后代!这是.NET上的一个特例,恰恰体现出System.Enum是特殊性。

--------------------------------------------------------------------------------

Q:既然枚举类型是值类型,自然会涉及到装箱和拆箱(boxing and unboxing)的问题,那么枚举类型会被装箱成什么呢?[Updated]

A:枚举类型可以被装箱成System.Enum、System.ValueType、System.Object或者System.IConvertible、System.IFormattable、System.IComparable。

注意:在.NET 1.1上,枚举类型只能被装箱到System.Enum、System.ValueType、System.Object;而在.NET 2.0上,枚举类型还能被装箱到System.Enum所实现的三个接口:System.IConvertible、System.IComparable、System.IFormattable。对应的装箱操作既可以为隐式的也可以是显式的。

下面的C#代码:

  1. // Code #05
  2. // See Code #01 for Alignment.
  3. static void Main()
  4. {
  5. Alignment a = Alignment.Center;
  6. Console.WriteLine(a.ToString());
  7. Console.WriteLine(a);
  8. }

对应的IL代码是:

  1. // Code #06
  2. .method private hidebysig static void Main() cil managed
  3. {
  4. .entrypoint
  5. // Code Size: 32 byte(s)
  6. .maxstack 1
  7. .locals (
  8. EnumerationFaq.Alignment alignment1)
  9. L_0000: ldc.i4.1
  10. L_0001: stloc.0
  11. L_0002: ldloc.0
  12. L_0003: box EnumerationFaq.Alignment
  13. L_0008: call instance string [mscorlib]System.Enum::ToString()
  14. L_000d: call void [mscorlib]System.Console::WriteLine(string)
  15. L_0012: nop
  16. L_0013: ldloc.0
  17. L_0014: box EnumerationFaq.Alignment
  18. L_0019: call void [mscorlib]System.Console::WriteLine(object)
  19. L_001e: nop
  20. L_001f: ret
  21. }

从IL代码中我们可以看到枚举类型被装箱两次。第一次(L_0003)被装箱成System.Enum,而第二次(L_0014)就被装箱成System.Object。

但如果你让编译器自动为你选择装箱类型的话,它会优先考虑System.Enum:

  1. // Code #07
  2. // See Code #01 for Alignment.
  3. class Program
  4. {
  5. static void Main()
  6. {
  7. Alignment a = Alignment.Center;
  8. Print(a);
  9. }
  10. static void Print(IConvertible c)
  11. {
  12. Console.WriteLine(c);
  13. }
  14. static void Print(IFormattable f)
  15. {
  16. Console.WriteLine(f);
  17. }
  18. static void Print(IComparable c)
  19. {
  20. Console.WriteLine(c);
  21. }
  22. static void Print(Object o)
  23. {
  24. Console.WriteLine(o);
  25. }
  26. static void Print(ValueType v)
  27. {
  28. Console.WriteLine(v);
  29. }
  30. static void Print(Enum e)
  31. {
  32. Console.WriteLine(e);
  33. }
  34. }

上面的代码将被编译成如下的IL:

  1. // Code #08
  2. .method private hidebysig static void Main(string[] args) cil managed
  3. {
  4. .entrypoint
  5. // Code Size: 15 byte(s)
  6. .maxstack 1
  7. .locals (
  8. EnumerationFaq.Alignment alignment1)
  9. L_0000: ldc.i4.1
  10. L_0001: stloc.0
  11. L_0002: ldloc.0
  12. L_0003: box EnumerationFaq.Alignment
  13. // 调用static void Print(Enum e);
  14. L_0008: call void EnumerationFaq.Program::Print([mscorlib]System.Enum)
  15. L_000d: nop
  16. L_000e: ret
  17. }

C#一探究竟——枚举的更多相关文章

  1. 很多人都搞不清楚C语言和C++的关系!今天我们来一探究竟为大家解惑~

    最近,身边有许多小伙伴已经开始学习编程了,但是呢,学习又会碰到许多的问题,其中作为新手小白提到最多的问题就是编程语言的选择. 每次遇到这种问题,看起来很简单,但是又有很多小伙伴搞不清编程语言之间的关系 ...

  2. 并发王者课-青铜5:一探究竟-如何从synchronized理解Java对象头中的锁

    在前面的文章<青铜4:synchronized用法初体验>中,我们已经提到锁的概念,并指出synchronized是锁机制的一种实现.可是,这么说未免太过抽象,你可能无法直观地理解锁究竟是 ...

  3. 打开order by的大门,一探究竟《死磕MySQL系列 十二》

    在日常开发工作中,你一定会经常遇到要根据指定字段进行排序的需求. 这时,你的SQL语句类似这样. select id,phone,code from evt_sms where phone like  ...

  4. .NET中的枚举(Enum)

    摘要:.NET中的枚举分为简单枚举和标志枚举,这次主要总结一下标志枚举适用条件,以及它的使用方法,并在文章的最后列举枚举使用的一些规范. 在刚接触.NET的枚举时,只用简单的枚举,对于标记枚举,只知道 ...

  5. gulp.src()内部实现探究

    写在前面 本来是想写个如何编写gulp插件的科普文的,突然探究欲又发作了,于是就有了这篇东西...翻了下源码看了下gulp.src()的实现,不禁由衷感慨:肿么这么复杂... 进入正题 首先我们看下g ...

  6. Java中的枚举--Enumeration

    之前并没有注意到枚举这个知识点,因为之前在项目中并没有使用过枚举,可能是项目并不是很复杂的原因吧,今天看张孝祥老师的讲解,觉得,这个枚举真的有很多值得学习的地方,探究一下枚举的设计原理,底层到底是怎么 ...

  7. [c#基础]关于const和readonly常见的笔试题剖析

    引言 有那么几天没更新博客了,发现到了不得不写的地步,总是有那么个声音在强迫自己,虽然工作很累,但是有些东西不写出来,不能原谅自己.今天为什么总结这两个关键字的区别,总觉得这两个关键字的用法用的太习惯 ...

  8. 【转】Logistic regression (逻辑回归) 概述

    Logistic regression (逻辑回归)是当前业界比较常用的机器学习方法,用于估计某种事物的可能性.比如某用户购买某商品的可能性,某病人患有某种疾病的可能性,以及某广告被用户点击的可能性等 ...

  9. SpringBoot学习之自动依赖

    在前面使用SSM集成时,我们可以使用注解实现无配置化注入,但是这种依赖被进行“人工干预了的”,换句话就是说我们手动进行装配,那么此时还没有达到SpringBoot这种自动装配的效果,那么究竟Sprin ...

随机推荐

  1. 疑难问题解决备忘录(2)——ubuntu12.04分配swap

    分配swapdd if=/dev/zero of=Swap.disk bs=1M count=6k (count=1k创建1G的Swap,如果要创建6G则count=6k:这步比较慢) 创建swap文 ...

  2. css箭头

    .aui-list-item-arrow:before { content: ''; width: 0.4rem; height: 0.4rem; position: absolute; top: 5 ...

  3. js接收对象类型数组的服务端、浏览器端实现

    1.服务端 JSONArray jsonArr = JSONUtil.generateObjList(objList); public static generateObjList(List<O ...

  4. 【BZOJ】3996: [TJOI2015]线性代数

    题意 给出一个\(N \times N\)的矩阵\(B\)和一个\(1 \times N\)的矩阵\(C\).求出一个\(1 \times N\)的01矩阵\(A\),使得\[ D = ( A * B ...

  5. windows service 1053错误 启动失败

    做项目移植的时候发现一个项目的window service启动失败,最后试出来是启动时间超时 解决办法是给window service设置一个长一点的等待时间,步骤如下: 启动,输入regedit启动 ...

  6. SICAU教务系统登录密码加密算法的VB方式实现

    关于一个算法.这个算法是SICAU教务系统在账号登录时采取的一个加密算法.算法的实现并不复杂. 具体如下: Function Form1pwdvalue(ByVal pwdvalue As Strin ...

  7. Jsonp原理就是这么简单

    原理就是:包裹数据的js数据文件,自动执行,找到目标函数,通过传参,把数据注入进去. 当你打开本篇博文,证明你已经大体知道了Jsonp的作用了. 但如果需要我介绍一下,我也可以简单介绍: 简单说,就是 ...

  8. SubVersion Ubuntu

    UbuntuサーバにSubversionを入れる Linux, 開発ツール |    Ubuntuサーバが無事に動いたので.続いてSubversionを入れてみる. こんな感じの環境を考える. Apa ...

  9. json相关的一些用法

    一. json可以表示3种类型的值:   简单值 . 对象. 数组    表示对象时:>1. 没有变量的概念 ,所以不用申明变量                    >2. 没有末尾结束 ...

  10. ThreadPoolExecutor源码学习(2)-- 在thrift中的应用

    thrift作为一个从底到上除去业务逻辑代码,可以生成多种语言客户端以及服务器代码,涵盖了网络,IO,进程,线程管理的框架,着实庞大,不过它层次清晰,4层每层解决不同的问题,可以按需取用,相当方便. ...