1.引用類型約束
struct RefSample<T> where T:class 引用類型用Class表示約束,其他的引用類型為具體的約束。
表示對於的約束必須為一個類(引用類型)不能是值類型(int,char,datatime,struct),可以是接口interface
區分,數組為引用類型,因為定義數組時需要new出一個對象。
雖然定義成 RefSample<T> 傳入的必須為引用類型 但是RefSample仍然為值類型
2.值類型約束
class ValSample<T> where T:struct
為引用類型,因為int,char等類型都是struct


ValSample<int>
3.構造函數類型約束
public T CreateInstance<T>() where T:new()
{
return new T();
}
指定的類型T必須有構造函數,CreateInstance<int>和CreateInstance<object> 都是有效的。但是CreateInstance<strings>沒有構造函數。
4.轉換類型約束
一種約束允許你指定另一個類型,類型實參必須可以通過一致性、引用或裝箱轉換隱式地轉換為該類型。你還可以規定一個類型實參必須可以轉換為另一個類型實參——這稱為類型參數約束。
理解的意思:可以互換,就是我們可以通過裝箱或者強制類型轉換成目標類型的 類型都可以用於類型參數傳入。
class Sample<T> where T:Stream
有效:Sample<Stream> 這本身符合約束
無效:Sample<String> 因為String類型無法通過引用或者裝箱拆箱強制轉換成Stream、
struct Sample<T> where T:IDisposable
規定T必須為IDisposable 類型的 引用類型
有效:Sample<SqlConnection>引用轉換
無效:Sample<StringBuilder>
分析:為什么SqlConnection 可以而StringBuilder不可以?它們都是引用類型
1.SqlConnection實現了IDisposable接口,所以可以協變




2.StringBuilder只實現了ISerializable接口,無法通過途徑轉換為IDisposable


class Sample<T> where T:IComparable<T>
因為將IComparable<T>整體當作約束,分析IComparable<T>的類型,可以用Type.IsValueType判斷,true為值類型,false為引用類型
typeof(IComparable<T>).IsValueType 結果為false表示為引用類型
有效:Sample<int>(裝箱轉換)
無效:Sample<FileInfo>
也可以指定多種約束:
class sample<T> where T:stream,IEnumerable<string>,IComparable<int>
class Sample<T,U> where T:U
有效:Sample<Stream,IDisposable>
無效:Sample<string,IDiposable>
總結:要看傳入類參數是否可以轉換,查看規定參數和傳入類參數是否實現同一接口,如果實現則可以,否則不可以。
不可以是以下:System.Object,System.Enum,System.ValueType,System.Delegate,結構或密封類(String)
5.組合約束
對類型參數的約束有多個,注意:只能是一種類型,值類型和引用類型不能同時存在,沒用一個類型即是引用類型,又是值類型。
由於每一個值類型都有一個無構造函數,此后不能再有構造函數約束
有效:
class Sample<T> where T:class,IDisposable,new()
class Sample<T,U> where T:Stream where U:IDispsable
無效:
class Sample<T> where T:class,struct (沒有任何類型即時引用類型又是值類型的,所以為無效的)
class Sample<T> where T:Stream,class (引用類型約束應該為第一個約束,放在最前面,所以為無效的) Stream只是約束傳入參數為Stream具體類型,而class約束為引用類型,一開始我理解錯了
class Sample<T> where T:new(),Stream (new() 必須放在最后)
class Sample<T> where T:IDisposable,Stream (類必須放在接口前面,所以為無效的)
class Sample<T> where T:XmlReader,IComparable,IComparable (對於轉換類型約束,同一個接口不能出現多次)
class Sample<T,U> where T:struct where U:Class,T (類型形參“T”具有“struct”約束,因此“T”不能用作“U”的約束,所以為無效的)
class Sample<T,U> where T:Stream ,U:IDisposable 語法錯誤
看到網上還有這種版本也是有效的我表示不理解:
class Sample<T> where T:struct,IDisapsable IDisapsable為值類型?
class Sample<T,U> where T:class where U:struct ,T T為引用類型為何與值類型一起約束U?
希望可以指正