13605185909
<strike id="suge2"></strike>
<tfoot id="suge2"></tfoot>
<ul id="suge2"></ul> 裝箱是隱式的；拆箱必定是顯式的。
與簡(jiǎn)單的賦值操作相比，裝箱和拆箱都需要進(jìn)行大量的數(shù)據(jù)計(jì)算。對(duì)值類(lèi)型進(jìn)行裝箱時(shí)，CLR 必須重新分配一個(gè)新的對(duì)象。拆箱所需的強(qiáng)制轉(zhuǎn)換也需要進(jìn)行大量的計(jì)算，兩者相比，僅僅是程度不高，并且也可能會(huì)出現(xiàn)類(lèi)型轉(zhuǎn)換發(fā)生的異常情形。如果你的操作正處于循環(huán)的中心，通過(guò)測(cè)試（如：Stopwatch），你會(huì)很明顯的感覺(jué)到性能問(wèn)題。
static void Main(string[] args)
{
var i = 123; //System.Int32
//對(duì) i 裝箱（隱式）
object obj = i;
//對(duì) obj 進(jìn)行拆箱（顯式）
i = (int)obj;
Console.Read();
}
在這里，我先將變量 i （int 類(lèi)型）進(jìn)行了裝箱，并分配給對(duì)象 obj。其次，再次將對(duì)象 obj 進(jìn)行拆箱（即強(qiáng)轉(zhuǎn)）并重新給變量 i（int 類(lèi)型）賦值。
直接通過(guò)反編譯得到的 IL 代碼，從 box 和 unbox 這兩個(gè)指令也可以看出具體在哪一步發(fā)生裝箱和拆箱操作。
值類(lèi)型和引用類(lèi)型，這兩者本來(lái)沒(méi)有多大的聯(lián)系（可能就是基類(lèi)為 object），設(shè)計(jì)人員通過(guò)一種名為裝拆箱的操作使得這兩種類(lèi)型創(chuàng)建了新的聯(lián)系，讓任何值類(lèi)型都可以當(dāng)成對(duì)象（引用）類(lèi)型來(lái)進(jìn)行操作。
裝拆箱其實(shí)就是值類(lèi)型和引用類(lèi)型兩者之間的類(lèi)型轉(zhuǎn)換操作。這里，我簡(jiǎn)單梳理一下這兩種類(lèi)型：
（1）值類(lèi)型：整型:Int；長(zhǎng)整型:long；浮點(diǎn)型:float；字符型:char；布爾型:bool；枚舉:enum；結(jié)構(gòu):struct；它們統(tǒng)一繼承 System.ValueType。
（2）引用類(lèi)型：數(shù)組，用戶定義的類(lèi)、接口、委托，object，字符串等。
（3）簡(jiǎn)單的堆棧圖：
裝箱就是值類(lèi)型到 object 類(lèi)型或者到該值類(lèi)型所實(shí)現(xiàn)的接口類(lèi)型所實(shí)現(xiàn)的一個(gè)隱式轉(zhuǎn)換過(guò)程（可顯式）。裝箱的時(shí)候會(huì)在堆中自動(dòng)創(chuàng)建一個(gè)對(duì)象實(shí)例，然后將該值復(fù)制到新對(duì)象內(nèi)。
var i = 123; //System.Int32
//對(duì) i 裝箱（隱式）進(jìn)對(duì)象 o
object o = i;
從圖可知，對(duì)象 o 存的是地址引用，指向的是堆上的值，這個(gè)值的類(lèi)型和變量 i 一樣，也是 int 類(lèi)型，值（123）也就是從變量 i Copy 過(guò)來(lái)的一個(gè)副本值而已。
【備注】裝箱默認(rèn)是隱式的，當(dāng)然，你可以選擇顯式，但這并不是必須的。
拆箱是從 object 類(lèi)型到值類(lèi)型，或從接口類(lèi)型到實(shí)現(xiàn)該接口的值類(lèi)型的顯式轉(zhuǎn)換的一個(gè)過(guò)程。
拆箱：檢查對(duì)象實(shí)例，確保它是給定值類(lèi)型的一個(gè)裝箱值后，再將該值從實(shí)例復(fù)制到值類(lèi)型變量中。
int i = 123; // 值類(lèi)型
object o = i; // 裝箱
int j = (int)o; // 拆箱
要在運(yùn)行時(shí)成功拆箱值類(lèi)型，被拆箱的項(xiàng)必須是對(duì)一個(gè)對(duì)象的引用，該對(duì)象是先前通過(guò)裝箱該值類(lèi)型的實(shí)例創(chuàng)建的。
拆箱時(shí)需要注意，轉(zhuǎn)換出現(xiàn)異常的情形：
雖然，decimal 類(lèi)型可以直接強(qiáng)轉(zhuǎn)為 int 類(lèi)型，但從調(diào)式的結(jié)果來(lái)看，拆箱時(shí)是會(huì)引發(fā)“轉(zhuǎn)換無(wú)效”的異常。要記住，拆箱時(shí)強(qiáng)轉(zhuǎn)的值類(lèi)型，應(yīng)以裝箱時(shí)的值類(lèi)型一致。
深藍(lán)醫(yī)生：簡(jiǎn)單說(shuō)，裝箱就是把值類(lèi)型變成引用類(lèi)型使用；拆箱就是將引用類(lèi)型變成值類(lèi)型使用。然而，大量使用值類(lèi)型會(huì)引起變量值的大量拷貝，反而降低運(yùn)行效率。所以裝箱沒(méi)有那么可怕，這可以通過(guò) EF的code first和SOD框架的code first代碼進(jìn)行測(cè)試（要有業(yè)務(wù)層代碼這種），雖然SOD框架的實(shí)體類(lèi)看起來(lái)都是“裝箱”過(guò)的，但是它的性能不會(huì)輸給EF。
lulianqi15：最后加的一句注意（decimal 類(lèi)型可以直接強(qiáng)轉(zhuǎn)為 int 類(lèi)型........應(yīng)以裝箱時(shí)的值類(lèi)型一致），其實(shí)不太嚴(yán)謹(jǐn)，decimal 128位，想想都不可能無(wú)緣無(wú)故轉(zhuǎn)換成32位的數(shù)據(jù)，之所以能強(qiáng)制轉(zhuǎn)換，是因?yàn)镈ecimal 自己實(shí)現(xiàn)了自定義強(qiáng)制轉(zhuǎn)換public static explicit operator int(decimal value)。回到最后例子的報(bào)錯(cuò)，JIT肯定是知道obj是Decimal（因?yàn)镈ecimal數(shù)據(jù)移動(dòng)到托管堆上后后還額外為其添加了類(lèi)型對(duì)象指針及同步塊索引，所以即使obj在ide里申明為object，不過(guò)jit是知道他就是Decimal）之所以發(fā)生異常的原因是CLR認(rèn)為在生成il時(shí)就認(rèn)為obj是object類(lèi)型，而object沒(méi)有實(shí)現(xiàn)explicit 指定重載（當(dāng)然可以自己實(shí)現(xiàn)）。所以就調(diào)用了object默認(rèn)的強(qiáng)制轉(zhuǎn)換，檢查類(lèi)型指針的時(shí)候發(fā)現(xiàn)不合法就報(bào)錯(cuò)了，那如果認(rèn)可Decimal可以強(qiáng)制轉(zhuǎn)換為int，說(shuō)到底最后在強(qiáng)制轉(zhuǎn)換報(bào)錯(cuò)的根本原因也只是object沒(méi)有實(shí)現(xiàn)explicit 指定重載。如果自定義類(lèi)型自己實(shí)現(xiàn)了explicit，那在轉(zhuǎn)換時(shí)也不用保證其運(yùn)行時(shí)類(lèi)型與要轉(zhuǎn)換的類(lèi)型一致。
