泛型型別約束

where（泛型型別約束）（c# 參考）

visual studio 2015 其他版本

在泛型型別定義中，where 子句用於指定對下列型別的約束：這些型別可用作泛型宣告中定義的型別引數的實參。例如，可以宣告乙個泛型類 mygenericclass，這樣，型別引數 t 就可以實現 icomparable 介面：

public
class mygenericclasswhere t:icomparable

system_caps_note注意

有關查詢表示式中的 where 子句的更多資訊，請參見 where 子句（c# 參考）。

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

class myclass , u> where t :class where u : struct

where 子句還可以包括建構函式約束。可以使用 new 運算子建立型別引數的例項；但型別引數為此必須受建構函式約束 new() 的約束。 new() 約束可以讓編譯器知道：提供的任何型別引數都必須具有可訪問的無引數（或缺省）建構函式。例如：

public
class mygenericclasswhere t : icomparable, new()

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

對於多個型別引數，每個型別引數都使用乙個 where 子句，例如：

inte***ce imyinte***ce
class dictionarywhere tkey : icomparable, ienumerable
where tval : imyinte***ce
}

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

public
bool mymethod(t t) where t : imyinte***ce

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

delegate t mydelegate() where t : new()

有關泛型委託的資訊，請參見泛型委託。

有關約束的語法和用法的詳細資訊，請參見型別引數的約束。