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