C# 泛型深入學習實例（一）：核心機制與編譯模型

前言

C# 泛型透過「參數化型別」實現同一份程式碼操作多種資料型別，是泛型程式設計範式的核心實踐。本文介紹 CLR 執行期支援、編譯兩階段模型、JIT 實例化機制與核心特性。

C# 泛型 vs C++ 模板 vs Java 泛型

兩階段編譯模型

1. C# 編譯器（csc）：產生含**佔位符**的 IL 与中繼資料，**不實例化**泛型型別。
   例：Stack → IL 中 T 為佔位符。
2. JIT 編譯器：首次遇到 Stack 時，以 int 替換佔位符產生機器碼；Stack 共享參考型別程式碼；Stack 另行實例化。

核心特性

• 避免程式碼膨脹：相同型別引數重用 JIT 程式碼；參考型別共享單一實作。
• 豐富中繼資料：typeof(List)、MethodInfo.GetGenericArguments() 等反射 API 完整可用。
• 顯式約束：where T : Base, IFace, new(), struct/class 提供編譯期型別安全，犧牲 C++ 隱式鴨子類型靈活性。

泛型類別與結構體宣告

// 合法
class Node { }
class Node2 { }
struct Point { public T X, Y; }

// 繼承規則
class A { }
class B : A { }           // 合法
class C : A { }            // 合法
class D : A { }           // 合法
// class E : A { }               // 非法：缺少型別引數