解析C#中的裝箱與拆箱的詳解

裝箱和拆箱是值型別和參考型別之間相互轉換是要執行的操作。
1. 裝箱在值類型轉換到引用型別時發生
2. 拆箱在引用型別轉換為值型別時發生
光上述兩句話不難理解，但是往深處了解，就需要一些篇幅來解釋了。
我們先看裝箱時都會發生什麼事情，下面是一行最簡單的裝箱代碼

object obj = 1;

這行語句將整數常數1賦給object類型的變數obj； 眾所周知常數1是值類型，值類型是要放在堆疊上的，而object是參考類型，它需要放在堆上；要把值類型放在堆上就需要執行一次裝箱操作。
這行語句的IL程式碼如下，請注意註解部分說明：

.locals init (
  [0] object objValue
)  //以上三行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的局部变量中

以上就是裝箱所要執行的操作了，執行裝箱操作時不可避免的要在堆上申請記憶體空間，並將堆疊上的值類型資料複製到申請的堆記憶體空間上，這肯定是要消耗記憶體和cpu資源的。我們再看下拆箱操作是怎麼回事：
請看下面的C#程式碼：

object objValue = 4;
int value = (int)objValue;

上面的兩行程式碼會執行一次裝箱操作將整形數字常數4裝箱成引用型別object變數objValue；然後又執行一次拆箱操作，將儲存到堆上的引用變數objValue儲存到局部整形值類型變數value。
同樣我們需要看下IL程式碼：

.locals init (
  [0] object objValue,
  [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之後引入了泛型來減少裝箱操作和拆箱操作消耗。

更多解析C#中的裝箱與拆箱的詳解相關文章請關注PHP中文網！