C# 泛型深度解析（五）：泛型與非泛型類型在 CLR 層面的實例化差異

核心差異：封閉構造類型 vs 開放泛型類型

非泛型類別

StandardClass a = new StandardClass();
StandardClass b = new StandardClass();
StandardClass c = new StandardClass();
// CLR 中僅存在一個 StandardClass 類型物件
// 靜態欄位 _count 共享，最終值為 3

泛型類別

GenericClass gA = new GenericClass();
GenericClass gB = new GenericClass();
GenericClass gC = new GenericClass();
GenericClass gD = new GenericClass();
// CLR 產生三個獨立類型：
// GenericClass`1[Boolean], GenericClass`1[Int32], GenericClass`1[String]
// 各自擁有獨立靜態欄位 _count
// gC/gD 共享 GenericClass`1[String] 類型，_count 為 2

輸出結果對照

// 非泛型
There are 1 instances of StandardClass which contains 0 items of type System.Object[]...
There are 2 instances of StandardClass which contains 0 items of type System.Object[]...
There are 3 instances of StandardClass which contains 0 items of type System.Object[]...

// 泛型
There are 1 instances of GenericClass`1[System.Boolean] which contains 0 items of type System.Boolean[]...
There are 1 instances of GenericClass`1[System.Int32] which contains 0 items of type System.Int32[]...
There are 1 instances of GenericClass`1[System.String] which contains 0 items of type System.String[]...
There are 2 instances of GenericClass`1[System.String] which contains 0 items of type System.String[]...

CLR 實作機制

1. 類型實例化：JIT 編譯時，為每個具體型別參數組合產生專屬機器碼
2. 靜態欄位隔離：每個封閉構造類型擁有獨立靜態欄位副本
3. 程式碼共享：參考型別參數共享機器碼（標準化為物件參考），實值型別各自產生碼

實際影響

型別安全

// 非泛型：編譯通過，執行時可能出錯
StandardClass c = new StandardClass(5);
c.AddItem("str");
c.AddItem(123); // 裝箱，無編譯錯誤

// 泛型：編譯期攔截
GenericClass g = new GenericClass(5);
g.AddItem("str");
g.AddItem(123); // CS1503: 無法從 int 轉換為 string

效能優勢

• 免裝箱/拆箱：實值型別直接儲存於陣列，無 box/unbox IL 指令
• 免轉型：GetItem 直接回傳 T，無需 castclass
• 快取友好：記憶體佈局緊湊，CPU 快取命中率高

程式碼膨脹風險

大量實值型別參數化會產生大量機器碼。對策：

• 參考型別參數化共享實作
• 核心邏輯提取至非泛型基類/介面
• 避免不必要的泛型化

最佳實踐總結

1. 集合、資料結構、演算法庫 必須 使用泛型
2. 實值型別高頻使用場景 強烈建議 泛型
3. 公開 API 設計優先考慮泛型約束（where T : IComparable<T>）
4. 內部實作細節可視情況使用非泛型基類減少程式碼膨脹