C#基礎:理解裝箱與拆箱
本文轉(zhuǎn)載自微信公眾號「精致碼農(nóng)」,作者liamwang。轉(zhuǎn)載本文請聯(lián)系精致碼農(nóng)公眾號。
前面我們講到 .NET 平臺支持的兩大數(shù)據(jù)類型:值類型和引用類型。值類型比引用類型更高效,因為它沒有指針引用,不用分配在托管堆中,也不用被 GC 回收。但有時候你可能偶爾需要將一種類型的變量表示為另一種類型的變量。為此,C# 提供了裝箱和拆箱的機制。
1理解裝箱
簡單地說,裝箱就是將一個值類型的數(shù)據(jù)存儲在一個引用類型的變量中。
假設你一個方法中創(chuàng)建了一個 int 類型的本地變量,你要將這個值類型表示為一個引用類型,那么就表示你對這個值進行了裝箱操作,如下所示:
- static void SimpleBox()
- {
- int myInt = 25;
- // 裝箱操作
- object boxedInt = myInt;
- }
確切地說,裝箱的過程就是將一個值類型分配給 Object 類型變量的過程。當你裝箱一個值時,CoreCLR 會在堆上分配一個新的對象,并將該值類型的值復制到該對象實例。返回給你的是一個在托管堆中新分配的對象的引用。
2理解拆箱
反過來,將 Object 引用類型變量的值轉(zhuǎn)換回棧中相應的值類型的過程則稱為拆箱。
從語法上講,拆箱操作看起來就像一個正常的轉(zhuǎn)換操作。然而,其語義是完全不同的。CoreCLR 首先驗證接收的數(shù)據(jù)類型是否等同于被裝箱的類型,如果是,它就把值復制回基于棧存儲的本地變量中。
例如,如果下面的 boxedInt 的底層類型確實是 int,那就完成了拆箱操作:
- static void SimpleBoxUnbox()
- {
- int myInt = 25;
- // 裝箱操作
- object boxedInt = myInt;
- // 拆箱操作
- int unboxedInt = (int)boxedInt;
- }
記住,與執(zhí)行典型的類型轉(zhuǎn)換不同,你必須將其拆箱到一個恰當?shù)臄?shù)據(jù)類型中。如果你試圖將一塊數(shù)據(jù)拆箱到不正確的數(shù)據(jù)類型中,將會拋出 InvalidCastException 異常。為了安全起見,如果你不能保證 Object 類型背后的類型,最好使用 try/catch 邏輯把拆箱操作包起來,盡管這樣會有些麻煩。考慮下面的代碼,它將拋出一個錯誤,因為你正試圖將裝箱的 int 類型拆箱成一個 long 類型:
- static void SimpleBoxUnbox()
- {
- int myInt = 25;
- // 裝箱操作
- object boxedInt = myInt;
- // 拆箱到錯誤的數(shù)據(jù)類型,將觸發(fā)運行時異常
- try
- {
- long unboxedLong = (long)boxedInt;
- }
- catch (InvalidCastException ex)
- {
- Console.WriteLine(ex.Message);
- }
- }
3生成的 IL 代碼
當 C# 編譯器遇到裝箱/拆箱語法時,它會生成包含裝箱/拆箱操作的 IL 代碼。如果你用 ildasm.exe 查看編譯的程序集,你會看到裝箱和拆箱操作對應的 box 和 unbox 指令:
- .method assembly hidebysig static
- void '<<Main>$>g__SimpleBoxUnbox|0_0'() cil managed
- {
- .maxstack 1
- .locals init (int32 V_0, object V_1, int32 V_2)
- IL_0000: nop
- IL_0001: ldc.i4.s 25
- IL_0003: stloc.0
- IL_0004: ldloc.0
- IL_0005: box [System.Runtime]System.Int32
- IL_000a: stloc.1
- IL_000b: ldloc.1
- IL_000c: unbox.any [System.Runtime]System.Int32
- IL_0011: stloc.2
- IL_0012: ret
- } // end of method '<Program>$'::'<<Main>$>g__SimpleBoxUnbox|0_0'
乍一看,裝箱/拆箱似乎是一個沒啥用的語言特性,學術性大于實用性。畢竟,你很少需要在一個本地 Object 變量中存儲一個本地值類型。然而,事實是裝箱/解箱過程是相當有用的,因為它允許你假設一切都可以被當作 Object 類型來處理,而 CoreCLR 會自動幫你處理與內(nèi)存有關的細節(jié)。 讓我們來看看裝箱/拆箱的實際應用,我們以 C# 的 ArrayList 類為例,用它來保存一批在棧中存儲的整型數(shù)據(jù)。ArrayList 類的相關方法成員列舉如下: 請注意,上面 ArrayList 的方法都是對 Object 類型數(shù)據(jù)進行操作。ArrayList 是為操作對象(代表任何類型)而設計的,而對象是在托管堆上分配的數(shù)據(jù)。請考慮下面代碼: 盡管你直接將數(shù)字數(shù)據(jù)傳入需要 Object 參數(shù)的方法中,但運行時自動將分配在棧中的數(shù)據(jù)裝箱。如果你想使用索引器從 ArrayList 中檢索一條數(shù)據(jù),你必須使用轉(zhuǎn)換操作將堆分配的對象拆箱為棧分配的整型,因為 ArrayList 的索引器返回的是 Object 類型,而不是 int 類型。 在調(diào)用 ArrayList.Add() 之前,在棧中分配的 int 數(shù)值被裝箱了,所以它可以被傳入?yún)?shù)為 Object 類型的方法中。從 ArrayList 中檢索到 Object 類型的數(shù)據(jù)時,通過轉(zhuǎn)換操作,它就被拆箱成 int 類型。最后,當它被傳遞給 Console.WriteLine() 方法時,又被裝箱了,因為這個方法的參數(shù)是 Object 類型。 從程序員的角度來看,裝箱和拆箱是很方便的,我們不需要手動去復制和轉(zhuǎn)移內(nèi)存中的值類型和引用類型的數(shù)據(jù)。 但裝箱和拆箱背后的棧/堆內(nèi)存轉(zhuǎn)移也帶來了性能問題。下面總結(jié)一下對一個簡單的整型數(shù)進行裝箱和拆箱所需要的步驟: 在托管堆中分配一個新對象; 在棧中的數(shù)據(jù)值被轉(zhuǎn)移到該托管堆中的對象上; 當拆箱時,存儲在堆中對象上的值被轉(zhuǎn)移回棧中; 堆上未使用的對象將最終被 GC 回收。 盡管很多時候裝箱和拆箱操作不會在性能方面造成重大影響,但如果一個像 ArrayList 這樣的集合包含成千上萬條數(shù)據(jù),而你的程序又會頻繁操作這些數(shù)據(jù),性能的影響還是會很明顯的。 所以,我們平時在編程時應當盡量避免發(fā)生裝箱和拆箱操作。比如對于上面 ArrayList 的示例,如果集合元素類型是一致的,則應當使用泛型的集合類型,比如改用 List4實際應用
5小結(jié)