泛型類型參數簡介
在定義泛型類型和泛型方法時,常用到泛型類型參數,泛型類型參數是在實例化泛型時指定類型的占位符。泛型類型參數放在“<>”內。
泛型類型參數命名建議:
(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>{}