.NET Framework泛型
此條目的語調或風格或許不合百科全書。 (2016年11月4日) |
.NET Framework泛型是在.NET Framework 2.0的公共語言運行庫(CLR)中的增加的一項新功能,類似於C++的模板,但不如C++的模板靈活,不過也有一些自己的特性。
泛型為.NET Framework引入了類型參數的概念,這樣便可以設計出這樣的類和方法:它們把指定類型的工作推遲到客戶端代碼聲明並實例化類或方法的時候執行。比如,通過泛型類型參數T,程序員就可以編寫其他客戶端代碼能夠使用的單個類,而不用擔心強制轉換或裝箱操作而帶來的額外的運行成本或風險。
泛型編程
編輯泛型類和方法較之非泛型類和方法具有更高的可用性、類型安全和效率,且通常用在集合和集合上運行的方法中。在.NET Framework 2.0的類庫中添加了一個新的命名空間System.Collections.Generic,其中含有一些新的基於泛型的集合類。微軟建議程序員在設計面向.NET Framework 2.0的應用程序時不要使用舊的非泛型集合類(像ArrayList集合類),而去使用新的泛型集合類。
當然,程序員也可以創建自己的泛型類和方法,提供自己需要的解決方案,但微軟不推薦自己創建泛型類,而建議使用.NET Framework類庫中提供的List<T>類。
可以通過泛型類型參數傳遞一個類型(如一個類TestClass<T>)中的T是泛型的類型參數,可以通過它傳遞一個類型(如int),那麼,在這個類中所有用類型參數(在本例中是T)定義的字段或方法等的類型都會根據傳遞進來的類型(本例中為int類型)所改變。
泛型類型參數
編輯在定義泛型類或方法中,類型參數是客戶端程序實例化泛型類變量時指定的類型占位符。泛型類不能像通常的類那樣使用,因為它實際上並不是一個類型,可能更像一個類型的藍圖。要使用泛型類,客戶端代碼必須要指定尖括號中的類型參數並實例化類型才能構造類型。指定的類型參數可以是編譯器可以識別的任何類型,並且可以構造任意數目的使用不同類型參數的實例。
命名規則
編輯通常,微軟推薦採用如下命名規則:
- 除非單個字母可以讓其他編寫者了解其含義,而描述性名稱並不能帶來更多其他的意義,應該使用描述性短語作為類型參數的名稱;
- 推薦使用T作為單個字母類型參數的參數名;
- 應該將T作為有描述性的類型參數名前綴;
- 推薦在類型參數名中指出對這個類型參數的約束(如將帶有ISession約束的參數名寫為TSession)。
泛型參數的約束
編輯對於泛型參數的約束是指對客戶端代碼實例化類時指定的類型參數進行限制,這樣如果客戶端的程序參試使用某個不允許使用的類型實例化類時會產生編譯時錯誤。
以C#為例,約束採用where上下文關鍵字指定。
為什麼使用約束
編輯若要對泛型列表中的項與其他某個項進行比較,便需要在一定程度上保證所調用的運算符或方法可以得到指定的類型參數的支持。這個保證正是建立在對泛型類定義的一個或多個約束獲得的。一旦編譯器得到了這樣的保證,它就能夠允許在泛型類中調用一些無約束的泛型中不允許使用的方法。
未綁定的類型參數
編輯沒有進行約束的泛型類型參數稱為未綁定的類型參數。
當使用未綁定的類型參數時,相對於使用了約束的類型參數,有以下規則:
- 不允許使用!=和==運算符,因為編譯器無法保證獲得實例化時賦予的類型參數的支持;但可以與null進行比較。如果類型參數為值類型的話,一定返回false
- 可以與System.Object將互相轉換,也可以將它們顯式地轉換為任何藉口類型。
裸類型約束
編輯泛型類
編輯泛型類可以擁有至少一個泛型類型參數,泛型類型參數可以代替泛型類的字段、屬性、方法的參數和返回值、事件的參數和返回值、構造函數的參數的類型,也可作為內部類和基類以及實現接口的泛型類型參數。
泛型類必須在創建其實例時明確指定其所有泛型類型參數的類型。泛型類的構造函數不能自動推斷其泛型類型的泛型類型參數。
如果從泛型類派生,可以選擇確定的泛型類型參數,也可以用泛型派生類,利用泛型派生類的泛型類型參數確定基類的泛型類型參數。
泛型接口
編輯泛型接口的使用大體上與泛型類相同,只是接口不允許包含字段和構造函數,也不允許創建實例。實現接口時,同樣也可以選擇實現確定的泛型類型接口,或者利用泛型類型參數確定接口的泛型類型參數。
泛型方法
編輯泛型方法可以擁有至少一個泛型類型參數,泛型類型參數可以作為方法的參數或返回值的類型。泛型方法不用明確指定各泛型類型參數,可由上下文自動推斷,如果上下文無法自動推斷,則必須明確指定。
泛型委託
編輯泛型委託的使用大體上與泛型方法相同,泛型委託的泛型類型參數可以在創建時通過上下文自動推斷。泛型委託實例總是具有確定的泛型類型參數。
反射
編輯泛型和C++中模板的區別
編輯泛型和模板都是用於提供類型參數支持的語言功能,但這兩者有着諸多差異。
從語法層面上來說,一般認為泛型是一種相對模板簡單的方法,而不具有模板的複雜性。但同時,泛型也不能提供模板的完整功能。
另一方面,從實現層面,泛型的替換是在運行時執行的,這樣可以為實例化的對象保留泛型類型的信息。
下面列出了.NET Framework泛型和C++模板之間的主要區別:
- 泛型沒有提供與模板相同程度的靈活性(如泛型不能調用算數運算符)
- 泛型不允許非類型模板參數(如template C<int i>{})
- 泛型不支持顯式的特定類型模板的自定義實現
- 泛型不支持類型參數子集的自定義實現
- 泛型中不允許將類型參數作泛型類型的基類
- 泛型不允許類型參數具有默認類型,而必須在實例化時指定
泛型類型參數自身不能是泛型,但C++確實允許模板參數。
C++允許程序員編寫可能對模板中某些類型參數無效的代碼,然後將檢查該代碼中是否有用作類型參數的特定類型。比如說可以在C++中編寫對類型參數對象的算術運算符的函數,這樣在用不支持這些運算符的類型實例化模板時出現出現錯誤;而泛型是不允許這樣的,它則要求相應地編寫類當中的代碼,使他們能夠滿足任何約束的類型。因此唯一允許的語言構造是那些能夠從約束中推導出來的結構。