本文引自
裝箱和拆箱是值類(lèi)型和引用類(lèi)型之間相互轉(zhuǎn)換是要執(zhí)行的操作。
1. 裝箱在值類(lèi)型向引用類(lèi)型轉(zhuǎn)換時(shí)發(fā)生
2. 拆箱在引用類(lèi)型向值類(lèi)型轉(zhuǎn)換時(shí)發(fā)生
光上述兩句話不難理解,但是往深處了解,就需要一些篇幅來(lái)解釋了。
我們先看裝箱時(shí)都會(huì)發(fā)生什么事情,下面是一行最簡(jiǎn)單的裝箱代碼
object obj = 1; |
這行語(yǔ)句將整型常量1賦給object類(lèi)型的變量obj; 眾所周知常量1是值類(lèi)型,值類(lèi)型是要放在棧上的,而object是引用類(lèi)型,它需要放在堆上;要把值類(lèi)型放在堆上就需要執(zhí)行一次裝箱操作。
這行語(yǔ)句的IL代碼如下,請(qǐng)注意注釋部分說(shuō)明:
.locals init ( [0]object objValue) //以上三行IL表示聲明object類(lèi)型的名稱(chēng)為objValue的局部變量IL_0000: nopIL_0001: ldc.i4.s 9 //表示將整型數(shù)9放到棧頂IL_0003: box [mscorlib]System.Int32 //執(zhí)行IL box指令,在內(nèi)存堆中申請(qǐng)System.Int32類(lèi)型需要的堆空間IL_0008: stloc.0 //彈出堆棧上的變量,將它存儲(chǔ)到索引為0的局部變量中 |
以上就是裝箱所要執(zhí)行的操作了,執(zhí)行裝箱操作時(shí)不可避免的要在堆上申請(qǐng)內(nèi)存空間,并將堆棧上的值類(lèi)型數(shù)據(jù)復(fù)制到申請(qǐng)的堆內(nèi)存空間上,這肯定是要消耗內(nèi)存和cpu資源的。我們?cè)倏聪虏鹣洳僮魇窃趺椿厥拢?/p>
請(qǐng)看下面的C#代碼:
object objValue = 4;int value = (int)objValue; |
上面的兩行代碼會(huì)執(zhí)行一次裝箱操作將整形數(shù)字常量4裝箱成引用類(lèi)型object變量objValue;然后又執(zhí)行一次拆箱操作,將存儲(chǔ)到堆上的引用變量objValue存儲(chǔ)到局部整形值類(lèi)型變量value中。
同樣我們需要看下IL代碼:
.locals init ( [0]object objValue, [1] int32 'value')//上面IL聲明兩個(gè)局部變量object類(lèi)型的objValue和int32類(lèi)型的value變量IL_0000: nopIL_0001: ldc.i4.4 //將整型數(shù)字4壓入棧IL_0002: box [mscorlib]System.Int32 //執(zhí)行IL box指令,在內(nèi)存堆中申請(qǐng)System.Int32類(lèi)型需要的堆空間IL_0007: stloc.0 //彈出堆棧上的變量,將它存儲(chǔ)到索引為0的局部變量中IL_0008: ldloc.0//將索引為0的局部變量(即objValue變量)壓入棧IL_0009: unbox.any [mscorlib]System.Int32 //執(zhí)行IL 拆箱指令unbox.any 將引用類(lèi)型object轉(zhuǎn)換成System.Int32類(lèi)型IL_000e: stloc.1 //將棧上的數(shù)據(jù)存儲(chǔ)到索引為1的局部變量即value |
拆箱操作的執(zhí)行過(guò)程和裝箱操作過(guò)程正好相反,是將存儲(chǔ)在堆上的引用類(lèi)型值轉(zhuǎn)換為值類(lèi)型并給值類(lèi)型變量。
裝箱操作和拆箱操作是要額外耗費(fèi)cpu和內(nèi)存資源的,所以在c# 2.0之后引入了泛型來(lái)減少裝箱操作和拆箱操作消耗。
1. 使用非泛型集合時(shí)引發(fā)的裝箱和拆箱操作
看下面的一段代碼:
| 12345678 | var array = new ArrayList();array.Add(1);array.Add(2); foreach (int value in array){Console.WriteLine(“value is {0}”,value);} |
代碼聲明了一個(gè)ArrayList對(duì)象,向ArrayList中添加兩個(gè)數(shù)字1,2;然后使用foreach將ArrayList中的元素打印到控制臺(tái)。
在這個(gè)過(guò)程中會(huì)發(fā)生兩次裝箱操作和兩次拆箱操作,在向ArrayList中添加int類(lèi)型元素時(shí)會(huì)發(fā)生裝箱,在使用foreach枚舉ArrayList中的int類(lèi)型元素時(shí)會(huì)發(fā)生拆箱操作,將object類(lèi)型轉(zhuǎn)換成int類(lèi)型,在執(zhí)行到Console.WriteLine時(shí),還會(huì)執(zhí)行兩次的裝箱操作;這一段代碼執(zhí)行了6次的裝箱和拆箱操作;如果ArrayList的元素個(gè)數(shù)很多,執(zhí)行裝箱拆箱的操作會(huì)更多。
你可以通過(guò)使用ILSpy之類(lèi)的工具查看IL代碼的box,unbox指令查看裝箱和拆箱的過(guò)程
2. 使用泛型集合的情況
請(qǐng)看如下代碼:
var list = new List<int>();list.Add(1);list.Add(2); foreach (int valuein list){Console.WriteLine("value is {0}", value);} |
代碼和1中的代碼的差別在于集合的類(lèi)型使用了泛型的List,而非ArrayList;我們同樣可以通過(guò)查看IL代碼查看裝箱拆箱的情況,上述代碼只會(huì)在Console.WriteLine()方法時(shí)執(zhí)行2次裝箱操作,不需要拆箱操作。
可以看出泛型可以避免裝箱拆箱帶來(lái)的不必要的性能消耗;當(dāng)然泛型的好處不止于此,泛型還可以增加程序的可讀性,使程序更容易被復(fù)用等等。
新聞熱點(diǎn)
疑難解答
圖片精選
網(wǎng)友關(guān)注