where（泛型類型約束）（C# 參考） · MSDN C# 編程指南 & 參考手冊 2015

# where（泛型類型約束）（C# 參考）在泛型類型定義中，**where** 子句用于指定對下列類型的約束：這些類型可用作泛型聲明中定義的類型參數的實參。例如，可以聲明一個泛型類 MyGenericClass，這樣，類型參數 T 就可以實現 [IComparable<T>](https://msdn.microsoft.com/zh-CN/library/4d7sx9hd.aspx) 接口： ``` public class MyGenericClass<T> where T:IComparable { } ``` | ![](https://box.kancloud.cn/2016-01-31_56adb62c1380a.jpg) 注意 | | :-- | | 有關查詢表達式中的 where 子句的更多信息，請參見 [where 子句（C# 參考）](https://msdn.microsoft.com/zh-CN/library/bb311043.aspx)。 | 除了接口約束，**where** 子句還可以包括基類約束，以指出某個類型必須將指定的類作為基類（或者就是該類本身），才能用作該泛型類型的類型參數。這樣的約束一經使用，就必須出現在該類型參數的所有其他約束之前。 ``` class MyClass<T, U> where T : class where U : struct { } ``` **where** 子句還可以包括構造函數約束。可以使用 new 運算符創建類型參數的實例；但類型參數為此必須受構造函數約束 **new()** 的約束。 [new() 約束](https://msdn.microsoft.com/zh-CN/library/sd2w2ew5.aspx)可以讓編譯器知道：提供的任何類型參數都必須具有可訪問的無參數（或默認）構造函數。例如： ``` public class MyGenericClass<T> where T : IComparable, new() { // The following line is not possible without new() constraint: T item = new T(); } ``` **new()** 約束出現在 **where** 子句的最后。對于多個類型參數，每個類型參數都使用一個 **where** 子句，例如： ``` 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() ``` 有關泛型委托的信息，請參見[泛型委托](https://msdn.microsoft.com/zh-CN/library/sx2bwtw7.aspx)。有關約束的語法和用法的詳細信息，請參見[類型參數的約束](https://msdn.microsoft.com/zh-CN/library/d5x73970.aspx)。 ## C# 語言規范有關詳細信息，請參閱 [C# 語言規范](https://msdn.microsoft.com/zh-CN/library/ms228593.aspx)。該語言規范是 C# 語法和用法的權威資料。 ## 請參閱 [C# 參考](https://msdn.microsoft.com/zh-CN/library/618ayhy6.aspx) [C# 編程指南](https://msdn.microsoft.com/zh-CN/library/67ef8sbd.aspx) [泛型介紹（C# 編程指南）](https://msdn.microsoft.com/zh-CN/library/0x6a29h6.aspx) [new 約束（C# 參考）](https://msdn.microsoft.com/zh-CN/library/sd2w2ew5.aspx) [類型參數的約束（C# 編程指南）](https://msdn.microsoft.com/zh-CN/library/d5x73970.aspx)