C# 裝箱與拆箱深度解析：從 IL 看值類型如何變身引用類型

背景：CTS 類型系統的二元結構

.NET 通用類型系統（CTS）將所有類型分為兩大類：

• 值類型：繼承自 System.ValueType，包含基本型別（int, double 等）、結構體、列舉。特點：儲存在堆疊/內嵌、不可為 null、傳值語意、無多型行為。
• 引用類型：繼承自 System.Object，包含類別、介面、委派、陣列。特點：儲存在堆積、可為 null、傳引用語意、支援多型。

這種二元結構造成「原生型別非物件」的缺陷，導致無法統一處理。Java 採用包裝類別，C++ 採用模板/多重繼承，.NET 則創造性地引入裝箱/拆箱機制，實現值類型與引用類型的無縫轉換。

裝箱：值類型 → 引用類型

原理

1. 在 Managed Heap 配置記憶體，大小 = 值類型大小 + 物件標頭 + 方法表指標。
2. 將值類型的位元逐位複製到新物件的資料區。
3. 返回新物件的引用（指標）。

IL 層面觀察

.locals init ([0] float64 dubBox, [1] object objBox)
IL_0000: ldc.r8 77.77          // 推入常數
IL_0009: stloc.0               // 存入區域變數 dubBox (值類型)
IL_000a: ldloc.0               // 載入值類型
IL_000b: box [mscorlib]System.Double  // 裝箱指令！關鍵步驟
IL_0010: stloc.1               // 存入 objBox (引用類型)

box 指令接收值類型的型別標記，執行上述三步驟。裝箱後的物件擁有完整的 System.Object 行為：可呼叫 ToString()、GetHashCode()、作為 object 參數傳遞、存入集合等。

拆箱：引用類型 → 值類型

原理

1. 檢查引用是否為 null，是則拋 NullReferenceException。
2. 檢查物件型別是否匹配（精確型別檢查，不支援繼承鏈），否則拋 InvalidCastException。
3. 將物件資料區的位元複製回目標值類型變數。

IL 指令

unbox.any [mscorlib]System.Double  // 拆箱並轉換
// 或分兩步：
unbox [mscorlib]System.Double      // 取得資料區位址
ldobj [mscorlib]System.Double      // 複製值

效能與記憶體影響

頻繁裝箱（如非泛型集合 ArrayList.Add(1)、介面呼叫 IComparable.CompareTo(1)、字串格式化 string.Format("{0}", 1)）會產生大量短命物件，觸發 Gen0 GC，影響效能。

避免不必要裝箱的策略

1. 使用泛型：List<int> 替代 ArrayList，IComparable<T> 替代 IComparable。
2. 避免值類型實作介面後經介面呼叫：直接呼叫結構體方法。
3. 字串插值/格式化：$"{value}" 內部仍會裝箱，熱路徑可用 value.ToString() 手動控制。
4. 自訂結構體實作介面時提供強型別多載：int CompareTo(MyStruct other) 避免拆箱。

進階：值類型的虛擬方法呼叫

值類型呼叫繼承自 Object 的虛擬方法（ToString, Equals, GetHashCode）時，不會裝箱，JIT 直接發出 call 指令。但透過介面或 object 參數呼叫則必須裝箱。

總結

裝箱/拆箱是 .NET 統一類型系統的基石，讓值類型在需要時擁有引用類型身分。理解其 IL 機制、效能代價與避免策略，是寫出高效能 .NET 程式碼的關鍵。現代開發中，善用泛型與 Span<T>、Memory<T> 等新型別，可將裝箱減至最低。