1.引用類(lèi)型約束

struct RefSample<T> where T:class         引用類(lèi)型用Class表示約束，其他的引用類(lèi)型為具體的約束。

表示對(duì)于的約束必須為一個(gè)類(lèi)（引用類(lèi)型）不能是值類(lèi)型（int，char，datatime，struct），可以是接口interface

區(qū)分，數(shù)組為引用類(lèi)型，因?yàn)槎x數(shù)組時(shí)需要new出一個(gè)對(duì)象。

雖然定義成 RefSample<T> 傳入的必須為引用類(lèi)型 但是RefSample仍然為值類(lèi)型

2.值類(lèi)型約束

class ValSample<T> where T:struct

為引用類(lèi)型，因?yàn)閕nt，char等類(lèi)型都是struct

ValSample<int>

3.構(gòu)造函數(shù)類(lèi)型約束

public T CreateInstance<T>() where T:new()
{
  return new T();
}

指定的類(lèi)型T必須有構(gòu)造函數(shù)，CreateInstance<int>和CreateInstance<object> 都是有效的。但是CreateInstance<strings>沒(méi)有構(gòu)造函數(shù)。

4.轉(zhuǎn)換類(lèi)型約束

一種約束允許你指定另一個(gè)類(lèi)型，類(lèi)型實(shí)參必須可以通過(guò)一致性、引用或裝箱轉(zhuǎn)換隱式地轉(zhuǎn)換為該類(lèi)型。你還可以規(guī)定一個(gè)類(lèi)型實(shí)參必須可以轉(zhuǎn)換為另一個(gè)類(lèi)型實(shí)參——這稱(chēng)為類(lèi)型參數(shù)約束。

理解的意思：可以互換，就是我們可以通過(guò)裝箱或者強(qiáng)制類(lèi)型轉(zhuǎn)換成目標(biāo)類(lèi)型的 類(lèi)型都可以用于類(lèi)型參數(shù)傳入。

class Sample<T> where T:Stream

有效：Sample<Stream> 這本身符合約束

無(wú)效:Sample<String> 因?yàn)镾tring類(lèi)型無(wú)法通過(guò)引用或者裝箱拆箱強(qiáng)制轉(zhuǎn)換成Stream、

struct Sample<T> where T:IDisposable

規(guī)定T必須為IDisposable 類(lèi)型的 引用類(lèi)型

有效：Sample<SqlConnection>引用轉(zhuǎn)換

無(wú)效：Sample<StringBuilder>

分析：為什么SqlConnection 可以而StringBuilder不可以？它們都是引用類(lèi)型

1.SqlConnection實(shí)現(xiàn)了IDisposable接口，所以可以協(xié)變

2.StringBuilder只實(shí)現(xiàn)了ISerializable接口，無(wú)法通過(guò)途徑轉(zhuǎn)換為IDisposable

class Sample<T> where T:IComparable<T>

因?yàn)閷Comparable<T>整體當(dāng)作約束,分析IComparable<T>的類(lèi)型，可以用Type.IsValueType判斷，true為值類(lèi)型，false為引用類(lèi)型

typeof(IComparable<T>).IsValueType   結(jié)果為false表示為引用類(lèi)型

有效：Sample<int>（裝箱轉(zhuǎn)換）

無(wú)效：Sample<FileInfo>

也可以指定多種約束：

class sample<T> where T：stream，IEnumerable<string>,IComparable<int>

class Sample<T,U> where T:U

有效：Sample<Stream,IDisposable>

無(wú)效：Sample<string,IDiposable>

總結(jié)：要看傳入類(lèi)參數(shù)是否可以轉(zhuǎn)換，查看規(guī)定參數(shù)和傳入類(lèi)參數(shù)是否實(shí)現(xiàn)同一接口，如果實(shí)現(xiàn)則可以，否則不可以。

不可以是以下：System.Object,System.Enum,System.ValueType,System.Delegate,結(jié)構(gòu)或密封類(lèi)(String)

5.組合約束

對(duì)類(lèi)型參數(shù)的約束有多個(gè)，注意：只能是一種類(lèi)型，值類(lèi)型和引用類(lèi)型不能同時(shí)存在，沒(méi)用一個(gè)類(lèi)型即是引用類(lèi)型，又是值類(lèi)型。

由于每一個(gè)值類(lèi)型都有一個(gè)無(wú)構(gòu)造函數(shù)，此后不能再有構(gòu)造函數(shù)約束

有效:

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

無(wú)效：

class Sample<T> where T：class，struct (沒(méi)有任何類(lèi)型即時(shí)引用類(lèi)型又是值類(lèi)型的,所以為無(wú)效的)

class Sample<T> where T：Stream，class (引用類(lèi)型約束應(yīng)該為第一個(gè)約束，放在最前面,所以為無(wú)效的) Stream只是約束傳入?yún)?shù)為Stream具體類(lèi)型，而class約束為引用類(lèi)型，一開(kāi)始我理解錯(cuò)了
class Sample<T> where T：new(),Stream   (new() 必須放在最后)

class Sample<T> where T：IDisposable，Stream (類(lèi)必須放在接口前面，所以為無(wú)效的)

class Sample<T> where T：XmlReader，IComparable，IComparable （對(duì)于轉(zhuǎn)換類(lèi)型約束，同一個(gè)接口不能出現(xiàn)多次）

class Sample<T，U> where T：struct where  U：Class，T (類(lèi)型形參“T”具有“struct”約束，因此“T”不能用作“U”的約束,所以為無(wú)效的)

class Sample<T，U> where T：Stream ,U:IDisposable  語(yǔ)法錯(cuò)誤

看到網(wǎng)上還有這種版本也是有效的我表示不理解：

class Sample<T> where T：struct,IDisapsable  IDisapsable為值類(lèi)型？

class Sample<T,U> where T：class where U:struct ,T   T為引用類(lèi)型為何與值類(lèi)型一起約束U？

希望可以指正

以上就是本文的全部?jī)?nèi)容，希望本文的內(nèi)容對(duì)大家的學(xué)習(xí)或者工作能帶來(lái)一定的幫助，同時(shí)也希望多多支持腳本之家！

最新評(píng)論