C# 泛型的約束圖文詳細介紹-C#.Net教程-PHP中文網

本文將詳細介紹C# 泛型的限制：引用型別約束；值型別約束；建構子型別約束；轉換型別約束；組合約束的相關知識。具有很好的參考價值，下面跟著小編一起來看下吧

1.引用型別約束

struct RefSample where T:class 引用型別Class表示約束，其他的引用型別為特定的限制。

表示對於的約束必須為一個類別（引用類型）不能是值類型（int，char，datatime，struct），可以是介面interface

區分，陣列為引用類型，因為定義數組時需要new出一個物件。

雖然定義成RefSample 傳入的必須為引用類型但是RefSample仍然為值類型

2.值類型限制

#class ValSample where T:struct

#為引用類型，因為int，char等型別都是struct

#ValSample

3.建構子類型限制

public T CreateInstance () where T:new() { return new T(); } 登入後複製

指定的類型T必須有建構函數，CreateInstance 和CreateInstance 都是有效的。但是CreateInstance 沒有建構子。

4.轉換類型約束

一種約束允許你指定另一個類型，型別實參必須可以透過一致性、引用或裝箱轉換隱含地轉換為該類型。你也可以規定一個型別實參必須可以轉換為另一個型別實參－這稱為型別參數約束。

理解的意思：可以互換，就是我們可以透過裝箱或強制型別轉換成目標型別的 型別都可以用於型別參數傳入。

class Sample where T:Stream

有效：Sample 這本身符合約束

#無效:Sample 因為String類型無法透過引用或是裝箱拆箱強制轉換成Stream、

struct Sample where T:IDisposable

#規定T必須為IDisposable 類型的參考類型

有效：Sample 引用轉換

無效：Sample

#分析：為什麼SqlConnection 可以而StringBuilder不可以？它們都是引用型別

1.SqlConnection實作了IDisposable接口，所以可以協變

##2.StringBuilder只實作了ISerializable接口，無法透過途徑轉換為IDisposable

class Sample where T:IComparable ##因為IComparable 整體當作約束,分析IComparable&lt ;T>的類型，可以用Type.IsValueType判斷，true為值型，false為引用型別

typeof(IComparable ).IsValueType 結果為false表示為引用類型 有效：Sample （裝箱轉換）

無效：Sample

也可以指定多種限制：

class sample where T：stream，IEnumerable ,IComparable

#class Sample where T:U 有效：Sample

無效：Sample

#總結：要看傳入類別參數是否可以轉換，查看規定參數和傳入類別參數是否實現同一接口，如果實作則可以，否則不可以。

不可以是以下：System.Object,System.Enum,System.ValueType,System.Delegate,結構或密封類別(String)

5.組合約束 對型別參數的限制有多個，注意：只能是一種型，值型別和參考型別不能同時存在，沒用一個型別就是引用型別，又是值型別。

由於每個值類型都有一個無建構函數，此後不能再有建構子約束

有效:

class Sample where T：class，IDisposable，new( ) class Sample where T：Stream where U:IDispsable

無效：

class Sample where T：class，struct (沒有任何類型即時引用類型又是值類型的,所以為無效的)

class Sample where T：Stream，class ( 引用型別約束應該是第一個約束，放在最前面,所以為無效的) Stream只是約束傳入參數為Stream具體類型 ，而class約束為引用類型，一開始我理解錯了 class Sample where T：new() ,Stream ( new() 必須放在最後 )

class Sample where T：IDisposable，Stream ( 類別必須放在介面前面，所以為無效的 )

class Sample where T：XmlReader，IComparable，IComparable （ 對於轉換類型約束，同一個介面不能出現多次 ）

class Sample&lt ;T，U> where T：struct where U：Class，T ( 類型形參「T」有「struct」約束，因此「T」不能用作「U」的約束,所以為無效的 )

class Sample where T：Stream ,U:IDisposable 語法錯誤

看到網路上還有這種版本也是 有效的 我表示不理解：

class Sample where T：struct,IDisapsable IDisapsable為值類型？

class Sample where T：class where U:struct ,T T為引用型別為何與值型別一起約束U？

希望可以指正

# 以上就是C# 泛型的約束圖文詳細介紹的內容，更多相關內容請關注PHP中文網（www.php.cn）！