C# 泛型介紹（三）：型別約束 where、JIT 實例化機制、不支援運算子多載與泛型橫向關聯意義

型別約束 where 子句

可組合：public class Point where T : class, IComparable, new()

泛型 JIT 實例化機制

1. C# 編譯器：產生含型別參數佔位符的「泛型版」IL + 中繼資料，**不實例化**
2. JIT 編譯器：首次遇到 Stack → 以 int 取代佔位符產生機器碼，**實例化**
3. 程式碼共享策略：
   • 參考型別參數 (class、interface) → **共用同一份機器碼**
   • 值型別參數 (int、double、struct) → **每種值型別產生獨立機器碼**

已知限制

• **不支援運算子多載**：泛型方法中無法直接使用 +、-、== 等運算子 (需透過介面約束或 dynamic)

泛型的核心意義：橫向關聯

繼承提供「縱向」關聯 (基類 → 衍生類)；泛型提供「橫向」關聯 — **讓編譯器知道不同方法參數/回傳值的型別相同** (如 Add(T) 與 Remove(T) 同為 T)。此機制類似 AOP 切面思維，將型別一致性約束提升至編譯期，帶來類型安全與重構彈性的雙重收益。