C# 泛型類概念與實(shí)例的理解應(yīng)用淺析
C# 泛型類封裝不是特定于具體數(shù)據(jù)類型的操作。泛型類最常用于集合,如鏈接列表、哈希表、堆棧、隊(duì)列、樹(shù)等,其中,像從集合中添加和移除項(xiàng)這樣的操作都以大體上相同的方式執(zhí)行,與所存儲(chǔ)數(shù)據(jù)的類型無(wú)關(guān)。對(duì)于大多數(shù)需要集合類的方案,推薦的方法是使用 .NET Framework 2.0 類庫(kù)中所提供的類。一般情況下,創(chuàng)建泛型類的過(guò)程為:從一個(gè)現(xiàn)有的具體類開(kāi)始,逐一將每個(gè)類型更改為類型參數(shù),直至達(dá)到通用化和可用性的***平衡。創(chuàng)建您自己的泛型類時(shí),需要特別注意以下事項(xiàng):
將哪些類型通用化為類型參數(shù)。一般規(guī)則是,能夠參數(shù)化的類型越多,代碼就會(huì)變得越靈活,重用性就越好。但是,太多的通用化會(huì)使其他開(kāi)發(fā)人員難以閱讀或理解代碼。如果存在約束,應(yīng)對(duì)類型參數(shù)應(yīng)用什么約束。一個(gè)有用的規(guī)則是,應(yīng)用盡可能最多的約束,但仍使您能夠處理需要處理的類型。例如,如果您知道您的泛型類僅用于引用類型,則應(yīng)用類約束。這可以防止您的類被意外地用于值類型,并允許您對(duì) T 使用 as 運(yùn)算符以及檢查空值。 是否將泛型行為分解為基類和子類。由于泛型類可以作為基類使用,此處適用的設(shè)計(jì)注意事項(xiàng)與非泛型類相同。有關(guān)從泛型基類繼承的規(guī)則,請(qǐng)參見(jiàn)下面的內(nèi)容。是否實(shí)現(xiàn)一個(gè)或多個(gè)泛型接口。
例如,如果您設(shè)計(jì)一個(gè)類,該類將用于創(chuàng)建基于泛型的集合中的項(xiàng),則可能需要實(shí)現(xiàn)一個(gè)接口,如 IComparable<T>,其中 T 是您的類的類型。
類型參數(shù)和約束的規(guī)則對(duì)于泛型類行為有幾方面的含義,特別是關(guān)于繼承和成員可訪問(wèn)性。請(qǐng)務(wù)必先理解一些術(shù)語(yǔ),然后再繼續(xù)進(jìn)行。對(duì)于泛型類 Node<T>,,客戶端代碼可以通過(guò)指定類型參數(shù)引用該類,以創(chuàng)建封閉式構(gòu)造類型 (Node<int>),或者可以讓類型參數(shù)處于未指定狀態(tài)(例如在指定泛型基類時(shí))以創(chuàng)建開(kāi)放式構(gòu)造類型 (Node<T>)。泛型類可以從具體的、封閉式構(gòu)造或開(kāi)放式構(gòu)造基類繼承:
C# 泛型類代碼
- class BaseNode { }
- class BaseNodeGeneric<T> { }
- // concrete type
- class NodeConcrete<T> : BaseNode { }
- //closed constructed type
- class NodeClosed<T> : BaseNodeGeneric<int> { }
- //open constructed type
- class NodeOpen<T> : BaseNodeGeneric<T> { }
非泛型(具體)類可以從封閉式構(gòu)造基類繼承,但無(wú)法從開(kāi)放式構(gòu)造類或裸類型參數(shù)繼承,因?yàn)樵谶\(yùn)行時(shí)客戶端代碼無(wú)法提供實(shí)例化基類所需的類型變量。
C# 泛型類代碼
- //No error
- class Node1 : BaseNodeGeneric<int> { }
- //Generates an error
- //class Node2 : BaseNodeGeneric<T> {}
- //Generates an error
- //class Node3 : T {}
從開(kāi)放式構(gòu)造類型繼承的泛型類必須為任何未被繼承類共享的基類類型參數(shù)提供類型變量,如以下代碼所示:
C# 泛型類代碼
- class BaseNodeMultiple<T, U> { }
- //No error
- class Node4<T> : BaseNodeMultiple<T, int> { }
- //No error
- class Node5<T, U> : BaseNodeMultiple<T, U> { }
- //Generates an error
- //class Node6<T> : BaseNodeMultiple<T, U> {}
從開(kāi)放式構(gòu)造類型繼承的泛型類必須指定約束,這些約束是基類型約束的超集或暗示基類型約束:
C# 泛型類代碼
- class NodeItem<T> where T : System.IComparable<T>, new() { }
- class SpecialNodeItem<T> :
- NodeItem<T> where T : System.IComparable<T>, new() { }
泛型類型可以使用多個(gè)類型參數(shù)和約束,如下所示:
C# 泛型類代碼
- class SuperKeyType<K, V, U>
- where U : System.IComparable<U>
- where V : new()
- { }
開(kāi)放式構(gòu)造類型和封閉式構(gòu)造類型可以用作方法參數(shù):
C# 泛型類代碼
- void Swap<T>(List<T> list1, List<T> list2)
- {
- //code to swap items
- }
- void Swap(List<int> list1, List<int> list2)
- {
- //code to swap items
- }
泛型類是不變的。也就是說(shuō),如果輸入?yún)?shù)指定 List<BaseClass>,則當(dāng)您試圖提供 List<DerivedClass> 時(shí),將會(huì)發(fā)生編譯時(shí)錯(cuò)誤。
C# 泛型類的相關(guān)內(nèi)容就向你介紹到這里,希望對(duì)你了解和學(xué)習(xí)C# 泛型類有所幫助。
【編輯推薦】