c# 泛型型別參數與約束的深入分析

泛型型別參數簡介
在定義泛型型別和泛型方法時，常用到泛型型別參數，泛型型別參數是在執行個體化泛型時指定類型的預留位置。泛型型別參數放在“<>”內。
泛型型別參數命名建議：
（1）當泛型型別參數為單個字母時，建議用T表示。
（2）當泛型型別參數用單詞定義時，建議在單詞前加T。
複製代碼 代碼如下:private void PromptName<T>(T t) {}
private void PromptName<Tuser>(Tuser user){}

泛型型別參數條件約束
在定義泛型類時，可以對在執行個體化泛型類時用於型別參數的類型種類施加限制。如果執行個體化泛型類時使用某個約束所不允許的類型來執行個體化類，則會產生編譯時間錯誤。
泛型約束分類：

約束	說明
T：結構	型別參數必須是實值型別。 可以指定除 Nullable 以外的任何實值型別。
T：類	型別參數必須是參考型別；這一點也適用於任何類、介面、委託或數群組類型。
T：new()	型別參數必須具有無參數的公用建構函式。 當與其他約束一起使用時，new() 約束必須最後指定。
T：<基類名>	型別參數必須是指定的基類或派生自指定的基類。
T：<介面名稱>	型別參數必須是指定的介面或實現指定的介面。 可以指定多個介面約束。 約束介面也可以是泛型的。
T：U	為 T 提供的型別參數必須是為 U 提供的參數或派生自為 U 提供的參數。

（1）型別參數約束為結構（struct）。
複製代碼 代碼如下:public class ShowObjectType<T> where T : struct
{
public void ShowValue<T>(T t)
{
Console.WriteLine(t.GetType());
}
}
class GenericConstraint
{
static void Main()
{

ShowObjectType<int> showInt = new ShowObjectType<int>();
showInt.ShowValue<int>(5);
showInt.ShowValue(5);//從參數可以推匯出型別參數類型，則可以省略型別參數類型

//因為約束為實值型別，下面代碼不能通過編譯
ShowObjectType<string> showString = new ShowObjectType<string>();
showString.ShowValue("5");
Console.Read();
}
}

（2）型別參數約束為類（class）。
在應用 where T : class 約束時，避免對型別參數使用 == 和 != 運算子，因為這些運算子僅測試類型為參考型別，而不測試值相等性。複製代碼 代碼如下:class GenericConstraint
{
static void Main()
{
List<string > list = new List<string>();
AddClass<string>(list, "hello generic");
Console.Read();
}
private static void AddClass<T>(List<T> list, T t) where T : class
{
list.Add(t);
}
}

（3）型別參數約束為具體類。
約束為具體類時，可利用型別參數調用具體類的屬性和方法。複製代碼 代碼如下:class GenericConstraint
{
static void Main()
{
Person person = new Person { ID = 1, Name = "David" };
PromptName<Person>(person);
Console.Read();
}
//此約束T為Person對象或者繼承Person對象
private static void PromptName<T>(T t) where T : Person
{
//此處可使用Person的Name屬性
if (t.Name == "David")
{
Console.WriteLine("Person name is David");
}
string name = t.GetName();
Console.WriteLine("Person name is {0}", name);
}
}
public class Person
{
private int id;
public int ID
{
get { return id; }
set { id = value; }
}
private string name;
public string Name
{
get { return name; }
set { name = value; }
}
public string GetName()
{
return Name;
}
}

（4）約束多個參數。
複製代碼 代碼如下:class Base { }
class Test<T, U>
where U : struct
where T : Base, new() { }

（5）未繫結的型別參數。
沒有約束的型別參數，稱為未綁定的型別參數。複製代碼 代碼如下:class List<T>{}