再談裝箱和拆箱，深刻理解C#的裝箱和拆箱

裝箱和拆箱是值類型和引用類型之間相互轉換是要執行的操做。

1.裝箱在值類型向引用類型轉換時發生

2.拆箱在引用類型向值類型轉換時發生

光上述兩句話不難理解，可是往深處瞭解，就須要一些篇幅來解釋了。

咱們先看裝箱時都會發生什麼事情，下面是一行最簡單的裝箱代碼

view sourcePRint?object obj = 1;

這行語句將整型常量1賦給object類型的變量obj； 衆所周知常量1是值類型，值類型是要放在棧上的，而object是引用類型，它須要放在堆上；要把值類型放在堆上就須要執行一次裝箱操做。

這行語句的IL代碼以下，請注意註釋部分說明：

view sourceprint?.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#代碼：

view sourceprint?object objValue = 4; 

int value = (int)objValue;

上面的兩行代碼會執行一次裝箱操做將整形數字常量4裝箱成引用類型object變量objValue；而後又執行一次拆箱操做，將存儲到堆上的引用變量objValue存儲到局部整形值類型變量value中。

一樣咱們須要看下IL代碼：

view sourceprint?.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以後引入了泛型來減小裝箱操做和拆箱操做消耗。

下一篇咱們看下使用泛型和不使用泛型狀況下的裝箱拆箱狀況。