VB.NET泛型類型基本概念詳解
VB.NET編程語言中的數(shù)據(jù)類型種類繁多,初學(xué)者要想全部掌握這些類型的應(yīng)用是一個(gè)比較困難的步驟。今天我們先讓大家了解一下VB.NET泛型類型這一高階技術(shù)的應(yīng)用,以便讓大家對這一語言進(jìn)行深入的解讀。#t#
“泛型類型”是可適應(yīng)對多種數(shù)據(jù)類型執(zhí)行相同功能的單個(gè)編程元素。定義泛型類或過程時(shí),無需為可能需要對其執(zhí)行該功能的每個(gè)數(shù)據(jù)類型定義單獨(dú)版本。
就好比是帶有可拆卸刀頭的螺絲刀。您檢查需要擰動(dòng)的螺絲,然后選擇適合該螺絲的刀頭(一字、十字、星形)。將正確的刀頭插入到螺絲刀柄上后,您就可以使用螺絲刀執(zhí)行完全相同的功能,即擰螺絲。
定義VB.NET泛型類型時(shí),即使用一個(gè)或多個(gè)數(shù)據(jù)類型將其參數(shù)化。這樣可允許使用代碼定制數(shù)據(jù)類型以滿足其要求。代碼可以通過泛型元素聲明若干個(gè)不同的編程元素,每個(gè)元素可使用一組不同的數(shù)據(jù)類型。但是,無論聲明的元素使用哪些數(shù)據(jù)類型,它們均執(zhí)行相同的邏輯。
例如,您可能想創(chuàng)建并使用一個(gè)處理特定數(shù)據(jù)類型(如 String)的隊(duì)列類。可以通過 System.Collections.Generic.Queue 聲明一個(gè)如下例所示的類。
- Visual Basic
- Public stringQ As New System.
Collections.Generic.Queue(Of String)
現(xiàn)在,可以使用 stringQ 來專門處理 String 值。由于 stringQ 專用于 String 而未針對 Object 值進(jìn)行泛型化,因此,不會(huì)有后期綁定或類型轉(zhuǎn)換。這就節(jié)省了執(zhí)行時(shí)間并減少了運(yùn)行時(shí)錯(cuò)誤。
有關(guān)使用VB.NET泛型類型的更多信息,請參見如何:使用泛型類。
泛型類的示例
下面的示例演示泛型類的主干定義。
- Visual Basic
- Public Class classHolder(Of t)
- Public Sub processNewItem(ByVal newItem As t)
- Dim tempItem As t
- ' Insert code that processes an item of data type t.
- End Sub
- End Class
在上面的主干中,t 是一個(gè)類型參數(shù),也即您在聲明此類時(shí)提供的數(shù)據(jù)類型的占位符。在代碼中的其他地方,可以通過為 t 提供不同的數(shù)據(jù)類型來聲明不同版本的 classHolder。下面的示例演示兩個(gè)此類聲明。
- Visual Basic
- Public integerClass As New classHolder(Of Integer)
- Friend stringClass As New classHolder(Of String)
上面的語句聲明了構(gòu)造類,在這些類中,特定的類型替換了類型參數(shù)。此類替換會(huì)傳播到構(gòu)造類中的代碼內(nèi)。下面的示例顯示了 processNewItem 過程在 integerClass 中的形式。
- Visual Basic
- Public Sub processNewItem(ByVal newItem As Integer)
- Dim tempItem As Integer
- ' Inserted code now processes an Integer item.
- End Sub
有關(guān)更完整的示例,請參見如何:定義可對不同數(shù)據(jù)類型提供相同功能的類。
合格的編程元素
可以定義并使用泛型類、結(jié)構(gòu)、接口、過程和委托。請注意,.NET Framework 定義了幾個(gè)代表常用泛型元素的泛型類、結(jié)構(gòu)和接口。System.Collections.Generic 命名空間提供字典、列表、隊(duì)列和堆棧。在定義自己的泛型元素之前,請查看 System.Collections.Generic 中是否已提供了此元素。
過程不是類型,但可以定義并使用泛型過程。請參見 Visual Basic 中的泛型過程。
VB.NET泛型類型的優(yōu)點(diǎn)
泛型類型用作聲明幾個(gè)不同編程元素的基礎(chǔ),而每個(gè)元素均處理特定的數(shù)據(jù)類型。泛型類型的替代項(xiàng)有:
對 Object 數(shù)據(jù)類型進(jìn)行處理的單一類型。
一組特定于類型的類型版本,每個(gè)版本單獨(dú)進(jìn)行編碼并處理一種特定的數(shù)據(jù)類型,如 String、Integer 或用戶定義的類型(如 customer)。
與上述替代項(xiàng)相比,泛型類型具有以下優(yōu)點(diǎn):
類型安全。泛型類型強(qiáng)制實(shí)施編譯時(shí)類型檢查。而基于 Object 的類型可接受任何數(shù)據(jù)類型,因此,您必須編寫代碼以檢查是否可接受某種輸入數(shù)據(jù)類型。利用泛型類型,編譯器可以在運(yùn)行時(shí)之前捕獲類型不匹配錯(cuò)誤。
性能。泛型類型無需對數(shù)據(jù)進(jìn)行裝箱和取消裝箱操作,原因是每種泛型類型均專用于一種數(shù)據(jù)類型。而基于 Object 的操作必須將輸入數(shù)據(jù)類型進(jìn)行裝箱操作,以將它們轉(zhuǎn)換為 Object,而且還要將預(yù)定輸出的數(shù)據(jù)進(jìn)行取消裝箱操作。裝箱和取消裝箱操作會(huì)降低性能。
此外,還要對基于 Object 的類型進(jìn)行后期綁定,這意味著需要編寫額外的代碼才能在運(yùn)行時(shí)訪問它們的成員。這同樣會(huì)降低性能。
代碼合并。只需定義VB.NET泛型類型中的代碼一次。而一組特定于類型的類型版本必須在每個(gè)版本中復(fù)制相同的代碼,代碼中唯一的不同就是特定于該版本的數(shù)據(jù)類型。利用泛型類型,特定于類型的版本全都利用原始的泛型類型生成。
代碼重用。對于不依賴特定數(shù)據(jù)類型的泛型代碼,可以利用不同的數(shù)據(jù)類型重用它??梢越?jīng)常重用此類代碼(甚至利用最初未預(yù)料到的數(shù)據(jù)類型來重用它)。
IDE 支持。在使用通過泛型類型聲明的構(gòu)造類型時(shí),集成開發(fā)環(huán)境 (IDE) 可以在您開發(fā)代碼時(shí)給予更多的支持。例如,IntelliSense™ 可以顯示適用于構(gòu)造函數(shù)或方法的某個(gè)參數(shù)的特定于類型的選項(xiàng)。
泛型算法。獨(dú)立于類型的抽象算法非常適用于泛型類型。例如,可以將使用 IComparable 接口對項(xiàng)進(jìn)行排序的泛型過程用于任何實(shí)現(xiàn) IComparable 的數(shù)據(jù)類型。
約束
雖然VB.NET泛型類型定義中的代碼應(yīng)盡可能獨(dú)立于類型,但您可能必須要求向泛型類型提供任何數(shù)據(jù)類型的某項(xiàng)功能。例如,如果出于排序或?qū)φ盏哪康亩氡容^兩個(gè)項(xiàng),則它們的數(shù)據(jù)類型必須實(shí)現(xiàn) IComparable 接口??赏ㄟ^向類型參數(shù)添加約束來強(qiáng)制實(shí)施此要求。
約束的示例
下面的示例演示帶有約束(要求類型參數(shù)實(shí)現(xiàn) IComparable)的類的主干定義。
- Visual Basic
- Public Class itemManager(Of t As IComparable)
- ' Insert code that defines class members.
- End Class
如果后續(xù)代碼嘗試從提供未實(shí)現(xiàn) IComparable 的類型的 itemManager 中構(gòu)造一個(gè)類,則編譯器會(huì)引發(fā)錯(cuò)誤。
約束的類型
約束可以按任意組合指定下列要求:
類型參數(shù)必須實(shí)現(xiàn)一個(gè)或多個(gè)接口
類型參數(shù)至多只能是一個(gè)類的類型,或至多只能從一個(gè)類繼承
對于通過類型參數(shù)創(chuàng)建對象的代碼,類型參數(shù)必須公開一個(gè)可供其訪問的無參數(shù)構(gòu)造函數(shù)
類型參數(shù)必須是引用類型或值類型
如果需要強(qiáng)制實(shí)施多個(gè)要求,則可以使用以逗號分隔的約束列表(括在大括號 ({ }) 中)。若要求可訪問的構(gòu)造函數(shù),請?jiān)诖肆斜碇屑尤?New (Visual Basic) 關(guān)鍵字。若要求引用類型,請加入 Class (Visual Basic) 關(guān)鍵字;若要求值類型,請加入 Structure (Visual Basic) 關(guān)鍵字。
多個(gè)約束的示例
下面的示例演示帶有類型參數(shù)約束列表的泛型類的主干定義。在創(chuàng)建此類的實(shí)例的代碼中,類型參數(shù)必須實(shí)現(xiàn) IComparable 和 IDisposable 接口,必須是引用類型,并且必須公開一個(gè)可訪問的無參數(shù)構(gòu)造函數(shù)。
- Visual Basic
- Public Class thisClass(Of t As {IComparable, IDisposable, Class, New})
- ' Insert code that defines class members.
- End Class
重要術(shù)語
VB.NET泛型類型引入并使用了以下術(shù)語:
泛型類型。類、結(jié)構(gòu)、接口、過程或委托的定義,在聲明它們時(shí)要為它們提供至少一種數(shù)據(jù)類型。
類型參數(shù)。在泛型類型定義中,您在聲明數(shù)據(jù)類型時(shí)為其提供的占位符。
類型變量。特定的數(shù)據(jù)類型,用于在您通過泛型類型聲明構(gòu)造類型時(shí)替換類型參數(shù)。
約束。有關(guān)類型參數(shù)的條件,限制了可以為類型參數(shù)提供的類型變量。約束可以要求類型參數(shù)必須實(shí)現(xiàn)特定的接口,必須是特定的類或繼承自特定的類,必須具有可訪問的無參數(shù)構(gòu)造函數(shù),或者必須是引用類型或值類型??梢越M合這些約束,但至多只能指定一個(gè)類。
構(gòu)造類型。通過為泛型類型的類型參數(shù)提供類型變量,從VB.NET泛型類型中聲明的類、結(jié)構(gòu)、接口、過程或委托。