[C#] C# 知識回顧 - 裝箱與拆箱


裝箱與拆箱

目錄

  • 生活中的裝箱與拆箱
  • C# 的裝箱與拆箱
  • 值類型和引用類型
  • 裝箱
  • 拆箱
  • 讀者見解

 

生活中的裝箱與拆箱

     我們習慣了在網上購物,這次你想買本編程書 -- 《C 語言從入門到放棄》 ,下單成功后,賣家會幫你將這本入坑指南打好包裝,我們可以稱之為裝箱;經過快遞員的快馬加鞭,風雨無阻,包裹就直接送到你手上了。你一定會以迅雷不及掩耳盜鈴兒響叮當之勢拆開包裝,這個過程我們可以稱之為拆箱,這時,入坑指南就順利的送到你手上。

 

 

C# 的裝箱與拆箱

  裝箱:將值類型(如 int ,或自定義的值類型等)轉換成 object 或者接口類型的一個過程。當 CLR 對值類型進行裝箱時,會將該值包裝為 System.Object 類型,再將包裝后的對象存儲在堆上。 拆箱就是從對象中提取對應的值類型的一個過程。

  裝箱是隱式的;拆箱必定是顯式的。 

  與簡單的賦值操作相比,裝箱和拆箱都需要進行大量的數據計算。對值類型進行裝箱時,CLR 必須重新分配一個新的對象。拆箱所需的強制轉換也需要進行大量的計算,兩者相比,僅僅是程度不高,並且也可能會出現類型轉換發生的異常情形。如果你的操作正處於循環的中心,通過測試(如:Stopwatch),你會很明顯的感覺到性能問題。

  .NET 2.0 引入的泛型其實在很大的程度上解決了裝拆箱產生的類型轉換問題,也減少了類型轉換所引起的運行時的異常,及保證了類型安全,從而提高了性能。
        static void Main(string[] args)
        {
            var i = 123;    //System.Int32

            //對 i 裝箱(隱式)
            object obj = i;

            //對 obj 進行拆箱(顯式)
            i = (int)obj;

            Console.Read();
        }

  在這里,我先將變量 i (int 類型)進行了裝箱,並分配給對象 obj。其次,再次將對象 obj 進行拆箱(即強轉)並重新給變量 i(int 類型)賦值。

 

  直接通過反編譯得到的 IL 代碼,從 box 和 unbox 這兩個指令也可以看出具體在哪一步發生裝箱和拆箱操作。

 

值類型和引用類型

  值類型和引用類型,這兩者本來沒有多大的聯系(可能就是基類為 object),設計人員通過一種名為裝拆箱的操作使得這兩種類型創建了新的聯系,讓任何值類型都可以當成對象(引用)類型來進行操作。

  裝拆箱其實就是值類型和引用類型兩者之間的類型轉換操作。這里,我簡單梳理一下這兩種類型:

  (1)值類型:整型:Int;長整型:long;浮點型:float;字符型:char;布爾型:bool;枚舉:enum;結構:struct;它們統一繼承  System.ValueType。

  (2)引用類型:數組,用戶定義的類、接口、委托,object,字符串等。

  (3)簡單的堆棧圖:

圖:@ 表示一個引用地址 

 

裝箱

  裝箱就是值類型到 object 類型或者到該值類型所實現的接口類型所實現的一個隱式轉換過程(可顯式)。裝箱的時候會在堆中自動創建一個對象實例,然后將該值復制到新對象內。

    var i = 123;    //System.Int32

    //對 i 裝箱(隱式)進對象 o
    object o = i;

  

  從圖可知,對象 o 存的是地址引用,指向的是堆上的值,這個值的類型和變量 i 一樣,也是 int 類型,值(123)也就是從變量 i Copy 過來的一個副本值而已。

  【備注】裝箱默認是隱式的,當然,你可以選擇顯式,但這並不是必須的。

 

拆箱

  拆箱是從 object 類型到值類型,或從接口類型到實現該接口的值類型的顯式轉換的一個過程。

  拆箱:檢查對象實例,確保它是給定值類型的一個裝箱值后,再將該值從實例復制到值類型變量中。

    int i = 123;      // 值類型
    object o = i;     // 裝箱
    int j = (int)o;   // 拆箱

 

  要在運行時成功拆箱值類型,被拆箱的項必須是對一個對象的引用,該對象是先前通過裝箱該值類型的實例創建的。

   

  拆箱時需要注意,轉換出現異常的情形:

  雖然,decimal 類型可以直接強轉為 int 類型,但從調式的結果來看,拆箱時是會引發“轉換無效”的異常。要記住,拆箱時強轉的值類型,應以裝箱時的值類型一致。

 

讀者見解

   深藍醫生:簡單說,裝箱就是把值類型變成引用類型使用;拆箱就是將引用類型變成值類型使用。然而,大量使用值類型會引起變量值的大量拷貝,反而降低運行效率。所以裝箱沒有那么可怕,這可以通過 EF的code first和SOD框架的code first代碼進行測試(要有業務層代碼這種),雖然SOD框架的實體類看起來都是“裝箱”過的,但是它的性能不會輸給EF。

   lulianqi15:最后加的一句注意(decimal 類型可以直接強轉為 int 類型........應以裝箱時的值類型一致),其實不太嚴謹,decimal 128位,想想都不可能無緣無故轉換成32位的數據,之所以能強制轉換,是因為Decimal 自己實現了自定義強制轉換public static explicit operator int(decimal value)。回到最后例子的報錯,JIT肯定是知道obj是Decimal(因為Decimal數據移動到托管堆上后后還額外為其添加了類型對象指針及同步塊索引,所以即使obj在ide里申明為object,不過jit是知道他就是Decimal)之所以發生異常的原因是CLR認為在生成il時就認為obj是object類型,而object沒有實現explicit 指定重載(當然可以自己實現)。所以就調用了object默認的強制轉換,檢查類型指針的時候發現不合法就報錯了,那如果認可Decimal可以強制轉換為int,說到底最后在強制轉換報錯的根本原因也只是object沒有實現explicit 指定重載。如果自定義類型自己實現了explicit,那在轉換時也不用保證其運行時類型與要轉換的類型一致。

 

 

 

 

「如果不想在世界上虛度一生,那就要學習一輩子。」-- 高爾基


【博主】反骨仔

【原文】http://www.cnblogs.com/liqingwen/p/6486332.html 

【參考】微軟官方文檔 MSDN


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM