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