C#泛型和泛型約束(轉載)
一、泛型:
所謂泛型,即通過引數化型別來實現在同一份程式碼上操作多種資料型別。泛型程式設計是一種程式設計正規化,它利用“引數化型別”將型別抽象化,從而實現更為靈活的複用。
二、泛型約束:
在定義泛型類時,可以對客戶端程式碼能夠在例項化類時用於型別引數的型別種類施加限制。如果客戶端程式碼嘗試使用某個約束所不允許的型別來例項化類,則會產生編譯時錯誤。這些限制稱為約束。約束是使用 where 上下文關鍵字指定的。
下表列出了五種型別的約束:
約束 | 說明 |
---|---|
T:struct |
型別引數必須是值型別。可以指定除 Nullable 以外的任何值型別。 |
T:class |
型別引數必須是引用型別,包括任何類、介面、委託或陣列型別。 |
T:new() |
型別引數必須具有無引數的公共建構函式。當與其他約束一起使用時,new() 約束必須最後指定。 |
T:<基類名> |
型別引數必須是指定的基類或派生自指定的基類。 |
T:<介面名稱> |
型別引數必須是指定的介面或實現指定的介面。可以指定多個介面約束。約束介面也可以是泛型的。 |
T:U |
為 T 提供的型別引數必須是為 U 提供的引數或派生自為 U 提供的引數。這稱為裸型別約束. |
---------------------------------------
一.派生約束
1.常見的
public class MyClass5<T> where T :IComparable { }
2.約束放在類的實際派生之後
public class B { } public class MyClass6<T> : B where T : IComparable { }
3.可以繼承一個基類和多個介面,且基類在介面前面
public class B { } public class MyClass7<T> where T : B, IComparable, ICloneable { }
二.建構函式約束
1.常見的
public class MyClass8<T> where T : new() { }
2.可以將建構函式約束和派生約束組合起來,前提是建構函式約束出現在約束列表的最後
public class MyClass8<T> where T : IComparable, new() { }
三.值約束
1.常見的
public class MyClass9<T> where T : struct { }
2.與介面約束同時使用,在最前面(不能與基類約束,建構函式約束一起使用)
public class MyClass11<T> where T : struct, IComparable { }
四.引用約束
1.常見的
public class MyClass10<T> where T : class { }
五.多個泛型引數
public class MyClass12<T, U> where T : IComparable where U : class { }
六.繼承和泛型
public class B<T>{ }
1. 在從泛型基類派生時,可以提供型別實參,而不是基類泛型引數
public class SubClass11 : B<int> { }
2.如果子類是泛型,而非具體的型別實參,則可以使用子類泛型引數作為泛型基類的指定型別
public class SubClass12<R> : B<R> { }
3.在子類重複基類的約束(在使用子類泛型引數時,必須在子類級別重複在基類級別規定的任何約束)
public class B<T> where T : ISomeInterface { } public class SubClass2<T> : B<T> where T : ISomeInterface { }
4.建構函式約束
public class B<T> where T : new() { public T SomeMethod() { return new T(); } } public class SubClass3<T> : B<T> where T : new(){ }