類型約束

在定義泛型類時，能夠對客戶端代碼可以在實例化類時用於類型參數的類型種類施加限制。若是客戶端代碼嘗試使用某個約束所不容許的類型來實例化類，則會產生編譯時錯誤。這些限制稱爲約束。約束是使用 where 上下文關鍵字指定的。下表列出了六種類型的約束：

T：結構
類型參數必須是值類型。能夠指定除 Nullable 之外的任何值類型。有關更多信息，請參見使用可空類型（C# 編程指南）。

T：類
類型參數必須是引用類型，包括任何類、接口、委託或數組類型。

T：new()
類型參數必須具備無參數的公共構造函數。當與其餘約束一塊兒使用時，new() 約束必須最後指定。

T： <基類名>
類型參數必須是指定的基類或派生自指定的基類。

T： <接口名稱>
類型參數必須是指定的接口或實現指定的接口。能夠指定多個接口約束。約束接口也能夠是泛型的。

T：U
爲 T 提供的類型參數必須是爲 U 提供的參數或派生自爲 U 提供的參數。這稱爲裸類型約束。

使用約束的緣由

若是要檢查泛型列表中的某個項以肯定它是否有效，或者將它與其餘某個項進行比較，則編譯器必須在必定程度上保證它須要調用的運算符或方法將受到客戶端代碼可能指定的任何類型參數的支持。這種保證是經過對泛型類定義應用一個或多個約束得到的。例如，基類約束告訴編譯器：僅此類型的對象或今後類型派生的對象纔可用做類型參數。一旦編譯器有了這個保證，它就可以容許在泛型類中調用該類型的方法。約束是使用上下文關鍵字 where 應用的。下面的代碼示例演示可經過應用基類約束添加到 GenericList 類（在泛型介紹（C# 編程指南）中）的功能。

public class Employee  
{  
    private string name;  
    private int id;    

    public Employee(string s, int i)  
    {  
        name = s;  
        id = i;  
    }  

    public string Name  
    {  
        get { return name; }  
        set { name = value; }  
    }   
    public int ID  
    {  
        get { return id; }  
        set { id = value; }  
    }  
}  

public class GenericList<T> where T : Employee  
{  
    private class Node  
    {  
        private Node next;  
        private T data;  


        public Node(T t)  
        {  
            next = null;  
            data = t;  
        }  

        public Node Next  
        {  
            get { return next; }  
            set { next = value; }  
        }  

        public T Data  
        {  
            get { return data; }  
            set { data = value; }  
        }  
    }  

    private Node head;  

    public GenericList() //constructor  
    {  
        head = null;  
    }  

    public void AddHead(T t)  
    {  
        Node n = new Node(t);  
        n.Next = head;  
        head = n;  
    }  

    public IEnumerator<T> GetEnumerator()  
    {  
        Node current = head;  


        while (current != null)  
        {  
            yield return current.Data;  
            current = current.Next;  
        }  
    }  

    public T FindFirstOccurrence(string s)  
    {  
        Node current = head;  
        T t = null;  


        while (current != null)  
        {  
            //The constraint enables access to the Name property.  
            if (current.Data.Name == s)  
            {  
                t = current.Data;  
                break;  
            }  
            else  
            {  
                current = current.Next;  
            }  
        }  
        return t;  
    }  
}

經過約束類型參數，能夠增長約束類型及其繼承層次結構中的全部類型所支持的容許操做和方法調用的數量。所以，在設計泛型類或方法時，若是要對泛型成員執行除簡單賦值以外的任何操做或調用 System.Object 不支持的任何方法，您將須要對該類型參數應用約束。
在應用 where T : class 約束時，建議不要對類型參數使用 == 和 != 運算符，由於這些運算符僅測試引用同一性而不測試值相等性。即便在用做參數的類型中重載這些運算符也是如此。下面的代碼說明了這一點；即便 String 類重載 == 運算符，輸出也爲 false。

public static void OpTest<T>(T s, T t) where T : class  
{  
    System.Console.WriteLine(s == t);  
}  
static void Main()  
{  
    string s1 = "foo";  
    System.Text.StringBuilder sb = new System.Text.StringBuilder("foo");  
    string s2 = sb.ToString();  
    OpTest<string>(s1, s2);  
}

這種狀況的緣由在於，編譯器在編譯時僅知道 T 是引用類型，所以必須使用對全部引用類型都有效的默認運算符。若是須要測試值相等性，建議的方法是同時應用 where T : IComparable 約束，並在將用於構造泛型類的任何類中實現該接口。
未綁定的類型參數

沒有約束的類型參數（如公共類 SampleClass {} 中的 T）稱爲未綁定的類型參數。未綁定的類型參數具備如下規則：
•不能使用 != 和 == 運算符，由於沒法保證具體類型參數能支持這些運算符。
•能夠在它們與 System.Object 之間來回轉換，或將它們顯式轉換爲任何接口類型。
•能夠將它們與 null 進行比較。將未綁定的參數與 null 進行比較時，若是類型參數爲值類型，則該比較將始終返回 false。

裸類型約束

用做約束的泛型類型參數稱爲裸類型約束。當具備本身的類型參數的成員函數須要將該參數約束爲包含類型的類型參數時，裸類型約束頗有用，以下面的示例所示：

class List<T>  
{  
    void Add<U>(List<U> items) where U : T {/*...*/}  
}

在上面的示例中，T 在 Add 方法的上下文中是一個裸類型約束，而在 List 類的上下文中是一個未綁定的類型參數。
裸類型約束還能夠在泛型類定義中使用。注意，還必須已經和其餘任何類型參數一塊兒在尖括號中聲明瞭裸類型約束：

//naked type constraint  
public class SampleClass<T, U, V> where T : V { }

泛型類的裸類型約束的做用很是有限，由於編譯器除了假設某個裸類型約束派生自 System.Object 之外，不會作其餘任何假設。在但願強制兩個類型參數之間的繼承關係的狀況下，可對泛型類使用裸類型約束。