您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> 關於C語言

C# 2.0 泛型深度解析：型別具現化與約束機制完整指南

編輯：關於C語言

前言

C# 2.0 引入泛型，是語言演進的里程碑。本文整理自官方文件翻譯，深入解析「泛型型別具現化」與「型別參數約束」兩大核心機制，幫助開發者理解編譯器與 CLR 背後的運作細節。

泛型型別具現化

編譯與 JIT 運作

泛型類別編譯為 IL 與中繼資料，保留型別參數資訊。
首次建構封閉型別（如 Stack<int>）時，JIT 將 IL 具現化為原生碼，以實際型別取代參數。
後續相同封閉型別重複使用同一份原生碼。

值型別 vs 參考型別的程式碼共享

值型別：每種具現化（Stack<int>、Stack<long>）各自擁有獨立原生碼副本，因大小/配置不同。
參考型別：所有封閉型別（Stack<string>、Stack<object>）共享單一原生碼，因參考在原生層級皆為指標，大小相同。

型別參數約束

為何需要約束

預設型別參數 T 僅能存取 object 成員（Equals、GetHashCode、ToString）。若需呼叫 CompareTo，需約束 T : IComparable。

語法與類型

public class Dictionary<K, V> where K : IComparable
{
    public void Add(K key, V value)
    {
        if (key.CompareTo(someKey) < 0) { ... } // 合法，K 保證有 CompareTo
    }
}

約束類型一覽

約束	說明
`where T : ClassName`	基底類別約束（單一）
`where T : InterfaceName`	介面約束（可多個）
`where T : new()`	建構函式約束：需有公用無參數建構子
`where T : struct`	值型別約束
`where T : class`	參考型別約束
`where T : unmanaged`	非受控型別約束
`where T : notnull`	非 Nullable 型別約束
`where T : default`	預設約束（覆寫時使用）

多重約束範例


public class EntityTable<K, E>
    where K : IComparable<K>, IPersistable
    where E : Entity, new()
{
    public void Add(K key, E entity)
    {
        if (key.CompareTo(other) < 0) { ... } // K 滿足 IComparable
        var newEntity = new E();               // E 滿足 new()
    }
}

約束的代價與取捨

優點：編譯期型別安全、避免執行期轉型、效能提升（值型別避免裝箱）。
缺點：限制泛型適用範圍。例如 List<T> where T : IComparable 會排除不實作 IComparable 的型別，即使永遠不呼叫 Sort()。
建議：僅在真正需要約束成員時加入；集合類別通常不加約束，由呼叫端決定是否排序。