如果要檢查泛型列表中的某個項以確定它是否有效，或者將它與其他某個項進行比較，則編譯器必須在一定程度上保證它需要呼叫的運算子或方法將受到客戶端**可能指定的任何型別引數的支援。這種保證是通過對泛型類定義應用乙個或多個約束獲得的。
例如，基類約束告訴編譯器：僅此型別的物件或從此型別派生的物件才可用作型別引數。一旦編譯器有了這個保證，它就能夠允許在泛型類中呼叫該型別的方法。約束是使用上下文關鍵字 where 應用的。下面的**示例演示可通過應用基類約束新增到 genericlist 類（在泛型介紹（c# 程式設計指南）中的功能。
約束說明
t：結構
型別引數必須是值型別。可以指定除 nullable 以外的任何值型別。
t：類型別引數必須是引用型別，包括任何類、介面、委託或陣列型別。
t：new()
型別引數必須具有無引數的公共建構函式。當與其他約束一起使用時，new() 約束必須最後指定。
t：《基類名》
型別引數必須是指定的基類或派生自指定的基類。
t：《介面名稱》
型別引數必須是指定的介面或實現指定的介面。可以指定多個介面約束。約束介面也可以是泛型的。
t：u為 t 提供的型別引數必須是為 u 提供的引數或派生自為 u 提供的引數。這稱為裸型別約束。
public
class employee
public
string name
set
}public
int id
set
}}public
class genericlistwhere t : employee
public node next
set
}public t data
set }}
private node head;
public
genericlist() //constructor
public
void
addhead(t t)
public ienumeratorgetenumerator()
}public t findfirstoccurrence(string s)
else
}return t;
}}//約束使得泛型類能夠使用 employee.name 屬性，因為型別為 t 的所有項都保證是 employee 物件或從 employee 繼承的物件。
class
base
class
test
, u>
where u
: struct
where t
:base, new()
在應用 where t : class 約束時，建議不要對型別引數使用 == 和 != 運算子，因為這些運算子僅測試引用同一性而不測試值相等性。即使在用作引數的型別中過載這些運算子也是如此。下面的**說明了這一點；即使 string 類過載 == 運算子，輸出也為 false。
public
static
void optest(t s, t t) where t : class
static
void main()
未繫結的型別引數
沒有約束的型別引數（如公共類 sampleclass{} 中的 t）稱為未繫結的型別引數。未繫結的型別引數具有以下規則：
裸型別約束
用作約束的泛型型別引數稱為裸型別約束。當具有自己的型別引數的成員函式需要將該引數約束為包含型別的型別引數時，裸型別約束很有用，如下面的示例所示：
class list
}
裸型別約束還可以在泛型類定義中使用。注意，還必須已經和其他任何型別引數一起在尖括號中宣告了裸型別約束：
public
class sampleclasswhere t : v
c 泛型約束
在定義泛型類時，可以對客戶端 能夠在例項化類時用於型別引數的型別種類施加限制。如果客戶端 嘗試使用某個約束所不允許的型別來例項化類，則會產生編譯時錯誤。這些限制稱為約束。約束是使用 where 上下文關鍵字指定的。下表列出了六種型別的約束 約束說明 t struct 型別引數必須是值型別。可以指定除...
C 泛型約束
約束告知編譯器型別引數必須具備的功能。在沒有任何約束的情況下，型別引數可以是任何型別。編譯器只能假定 system.object 的成員，它是任何 net 型別的最終基類。有關詳細資訊，請參閱使用約束的原因。如果客戶端 嘗試使用約束所不允許的型別來例項化類，則會產生編譯時錯誤。通過使用where上下...
C 泛型約束
一 泛型約束 預設情況下，泛型的型別引數可以是任何型別的。為什麼要使用型別引數的約束呢？簡單點說就是篩選型別引數，在使用泛型的 中如果違反了某個約束不允許的型別來例項化則會產生編譯錯誤，型別引數的約束是使用關鍵字where。下面列出了6中型別的約束 泛型約束有以下幾種 where t base cl...