淺析C# 泛型約束中的一般約束
C# 泛型約束中的一般約束使用 C# 泛型，編譯器會(huì)將一般代碼編譯為 IL，而不管客戶端將使用什么樣的類型實(shí)參。因此，一般代碼可以嘗試使用與客戶端使用的特定類型實(shí)參不兼容的一般類型參數(shù)的方法、屬性或成員。這是不可接受的，因?yàn)樗喈?dāng)于缺少類型安全。在 C# 中，您需要通知編譯器客戶端指定的類型必須遵守哪些約束，以便使它們能夠取代一般類型參數(shù)而得到使用。存在三個(gè)類型的約束。派生約束指示編譯器一般類型參數(shù)派生自諸如接口或特定基類之類的基類型。默認(rèn)構(gòu)造函數(shù)約束指示編譯器一般類型參數(shù)公開了默認(rèn)的公共構(gòu)造函數(shù)（不帶任何參數(shù)的公共構(gòu)造函數(shù)）。引用/值類型約束將一般類型參數(shù)約束為引用類型或值類型。一般類型可以利用多個(gè)約束，您甚至可以在使用一般類型參數(shù)時(shí)使 IntelliSense 反射這些約束，例如，建議基類型中的方法或成員。
需要注意的是，盡管C# 泛型約束是可選的，但它們在開發(fā)一般類型時(shí)通常是必不可少的。沒有它們，編譯器將采取更為保守的類型安全方法，并且只允許在一般類型參數(shù)中訪問 Object 級(jí)別功能。約束是一般類型元數(shù)據(jù)的一部分，以便客戶端編譯器也可以利用它們?？蛻舳司幾g器只允許客戶端開發(fā)人員使用遵守這些約束的類型，從而實(shí)施類型安全。
C# 泛型約束中的一般約束應(yīng)用實(shí)例：
以下示例將詳細(xì)說明C# 泛型約束的需要和用法。假設(shè)您要鏈表中添加索引功能或按鍵搜索功能
- public class LinkedList
- {
- T Find(K key)
- {...}
- public T this[K key]
- {
- get{return Find(key);}
- }
- }
這使客戶端可以編寫以下代碼：
- LinkedList list = new LinkedList();
- list.AddHead(123,"AAA");
- list.AddHead(456,"BBB");
- string item = list[456];
- Debug.Assert(item == "BBB");
要實(shí)現(xiàn)搜索，您需要掃描列表，將每個(gè)節(jié)點(diǎn)的鍵與您要查找的鍵進(jìn)行比較，并且返回鍵匹配的節(jié)點(diǎn)的項(xiàng)。問題在于，F(xiàn)ind() 的以下實(shí)現(xiàn)無法編譯：
- T Find(K key)
- {
- Node current = m_Head;
- while(current.NextNode != null)
- {
- if(current.Key == key) //Will not compile
- break;
- else
- current = current.NextNode;
- }
- return current.Item;
- }
原因在于，編譯器將拒絕編譯以下行：
- if(current.Key == key)
上述行將無法編譯，因?yàn)榫幾g器不知道 K（或客戶端提供的實(shí)際類型）是否支持 == 運(yùn)算符。例如，默認(rèn)情況下，結(jié)構(gòu)不提供這樣的實(shí)現(xiàn)。您可以嘗試通過使用 IComparable 接口來克服 == 運(yùn)算符局限性：
- public interface IComparable
- {
- int CompareTo(object obj);
- }
如果您與之進(jìn)行比較的對(duì)象等于實(shí)現(xiàn)該接口的對(duì)象，則 CompareTo() 返回 0；因此，F(xiàn)ind() 方法可以按如下方式使用它：
- if(current.Key.CompareTo(key) == 0)
遺憾的是，這也無法編譯，因?yàn)榫幾g器無法知道 K（或客戶端提供的實(shí)際類型）是否派生自 IComparable。
您可以顯式強(qiáng)制轉(zhuǎn)換到 IComparable，以強(qiáng)迫編譯器編譯比較行，除非這樣做需要犧牲類型安全：
- if(((IComparable)(current.Key)).CompareTo(key) == 0)
如果客戶端使用的類型不是派生自 IComparable，則會(huì)導(dǎo)致運(yùn)行時(shí)異常。此外，當(dāng)所使用的鍵類型是值類型而非鍵類型參數(shù)時(shí)，您可以對(duì)該鍵執(zhí)行裝箱，而這可能具有一些性能方面的影響。
C# 泛型約束中的一般約束相關(guān)的內(nèi)容就向你介紹到這里，希望對(duì)你了解和學(xué)習(xí)C# 泛型約束中的一般約束有所幫助。
【編輯推薦】
