深入理解C#的装箱和拆箱

装箱和拆箱是值类型和引用类型之间相互转换要进行的操作。

1.装箱是值类型转化成引用类型时发生的。

2.拆箱是引用类型转化成值类型时发生的。

先通过一个例子看看装箱会发生什么：

object obj = 1;

这行语句将整型常量1赋给object的变量obj；众所周知常量1是值类型，值类型是要放到栈上的，而object是引用类型，它需要放在堆上；要把值类型放在堆上就需要执行一次装箱操作。

这行语句的IL代码如下：

.locals init (

[0]objectobjValue

)//以上三行IL表示声明object类型的名称为objValue的局部变量

IL_0000: nop

IL_0001: ldc.i4.s 9//表示将整型数9放到栈顶

IL_0003: box [mscorlib]System.Int32//执行IL box指令，在内存堆中申请System.Int32类型需要的堆空间

IL_0008: stloc.0//弹出堆栈上的变量，将它存储到索引为0的局部变量中

拆箱的例子：

object  objValue = 4;

int value = (int)objValue;

.locals init (

[0]objectobjValue,

[1] int32'value'

)//上面IL声明两个局部变量object类型的objValue和int32类型的value变量

IL_0000: nop

IL_0001: ldc.i4.4//将整型数字4压入栈

IL_0002: box [mscorlib]System.Int32//执行IL box指令，在内存堆中申请System.Int32类型需要的堆空间

IL_0007: stloc.0//弹出堆栈上的变量，将它存储到索引为0的局部变量中

IL_0008: ldloc.0//将索引为0的局部变量（即objValue变量）压入栈

IL_0009: unbox.any [mscorlib]System.Int32//执行IL 拆箱指令unbox.any 将引用类型object转换成System.Int32类型

IL_000e: stloc.1//将栈上的数据存储到索引为1的局部变量即value

拆箱操作的执行过程和装箱操作过程正好相反，是将存储在堆上的引用类型值转换为值类型并给值类型变量。

装箱操作和拆箱操作是要额外耗费cpu和内存资源的，所以在c# 2.0之后引入了泛型来减少装箱操作和拆箱操作消耗。

装箱拆箱原理解释