where（泛型類型約束）（C# 參考）

在泛型類型定義中，where 子句用於指定對下列類型的約束：這些類型可用作泛型聲明中定義的類型參數的實參。 例如，可以聲明一個泛型類MyGenericClass，這樣，類型參數 T 就可以實現 IComparable<T> 接口：

public class MyGenericClass<T> where T:IComparable { }

說明

有關查詢表達式中的 where 子句的更多信息，請參見 where 子句（C# 參考）。

除了接口約束，where 子句還可以包括基類約束，以指出某個類型必須將指定的類作爲基類（或者就是該類本身），才能用作該泛型類型的類型參數。 這樣的約束一經使用，就必須出現在該類型參數的所有其他約束之前。

C#

class MyClass<T, U>
    where T : class
    where U : struct
{ }

where 子句還可以包括構造函數約束。 可以使用 new 運算符創建類型參數的實例；但類型參數爲此必須受構造函數約束 new() 的約束。 new() 約束可以讓編譯器知道：提供的任何類型參數都必須具有可訪問的無參數（或默認）構造函數。 例如：

C#

public class MyGenericClass<T> where T : IComparable, new()
{
    // The following line is not possible without new() constraint:
    T item = new T();
}

new() 約束出現在 where 子句的最後。

對於多個類型參數，每個類型參數都使用一個 where 子句，例如：

C#

interface IMyInterface
{
}

class Dictionary<TKey, TVal>
    where TKey : IComparable, IEnumerable
    where TVal : IMyInterface
{
    public void Add(TKey key, TVal val)
    {
    }
}

還可以將約束附加到泛型方法的類型參數，例如：

public bool MyMethod<T>(T t) where T : IMyInterface { }

請注意，對於委託和方法兩者來說，描述類型參數約束的語法是一樣的：

delegate T MyDelegate<T>() where T : new()

有關泛型委託的信息，請參見泛型委託。

有關約束的語法和用法的詳細信息，請參見類型參數的約束。

C# 語言規範

有關詳細信息，請參閱 C# 語言規範。該語言規範是 C# 語法和用法的權威資料。

請參見

參考

泛型介紹（C# 編程指南）

new 約束（C# 參考）

類型參數的約束（C# 編程指南）

概念

C# 編程指南

其他資源

C# 參考