Visual Basic 2005新功能点评（二十）——泛型 part.1

这个系列总算走到了Visual Basic最后一个大的语言改进——泛型。事实上，泛型是.NET Framework 2.0所支持的一项特别的功能，Visual Basic 2005只不过从语言层面上支持他，就像C#和C++/CLI一样。首先，我们从泛型本身介绍起。

需求

我们常常会有一种需求，就是我们编写的代码能够针对多种类型执行。比如排序，检索，集合的操作等等。这些操作的代码应该能够只编写一次，就能够广泛地用于所有类型。.NET Framework 1.1或更早版本提供的方案是，用继承树的根——Object，承载任何类型。这样针对Object的算法就等于兼容于所有的类型。但是以Object作为所有类型的承载容器有两个重要的问题：首先值类型在转换成Object时要进行“装箱”操作，该操作的速度非常缓慢，因此性能就成最大的问题。其次是对Object进行操作必须通过运行时类型转换才能进行，这样就不能在编译期间发现类型不兼容的操作。比如我们有一个自定义的结构——Customer，我们希望用ArrayList来保存一个Customer的列表：

Dim customerList As New ArrayList()
customerList.Add(New Customer("Harry Potter", 13, "Hogwarts School"))

'当我们要使用这条记录时
MsgBox(CType(customerList(0), Customer).Name)

初看起来这没有任何问题，但是如果我们添加的语句写成这样：

customerList.Add("Hello")

会怎么样呢？String根本不能转换成Customer类型，但是没有任何提示阻止你这样做。这个错误直到运行时才会体现出来。我们需要强类型的方法，编译时的类型检查和更高的性能，所以我们需要泛型。

感受泛型

现在我们就来看看针对上述需求的泛型解决方案。.NET Framework 2.0支持一种新的泛型列表——List(Of T)。这里我们引入了Of语句，他就是Visual Basic为实现泛型而增加的。其中T称为“类型参数”，它接受任意一个.NET类型作为元素的类型。于是我们可以将上述Customer的代码写成：

Dim customerList As New List(Of Customer)
customerList.Add(New Customer("Harry Potter", 13, "Hogwarts School"))

MsgBox(customerList(0).Name)

我们来看看这段代码中改变的地方。首先List(Of Customer)对T进行了指定，所以现在customerList对象就是一个只能装Customer类型元素的列表。这件事是在编译期间决定的，因此编译期始终知道customerList元素的类型，所以在取出其中对象时无需再进行任何类型装换。更重要的是，现在再向customerList中放入不是Customer类型的变量就会出现编译错误，而不是原来的运行时错误了。泛型能让编译期明确正在操作的类型，它就不会对值类型进行装箱操作，于是性能也大大提高了。使用泛型的另外一个好处是，Visual Basic的IDE能够为你提供智能感知，当你使用customerList.Add时，含有正确信息的提示出现了：

开始编写泛型的代码

泛型提供给你的不仅仅是使用.NET Framework中已经设计好的泛型类型，你完全可以自己书写泛型的代码。仍然是使用Of语句：

Class MyGeneric(Of T)

这时，Of语句的作用不再是为类型参数提供所需的类型，而是定义新的类型参数。现在MyGeneric就接受一个名为T的类型参数。在MyGeneric泛型类的内部T被看作一个类型。你应当将T想象成使用该泛型类时能在Of语句之后提供的任何类型。现在只要对T进行编码就行了，比如：

Class MyGeneric(Of T)
    Private myVar As T

    Public Sub SetVar(ByVal newValue As T)
        myVar = newValue
    End Sub

    Public Function GetVar() As T
        Return myVar
    End Function
End Class

相当简单吧。当你要使用这个泛型类的时候，如同Framework提供的泛型类一样，要指定类型参数T的真实类型。如这一语句：

Dim obj As New MyGeneric(Of Integer)

这时obj的类型实际上就是一个将上述定义中所有T都换成Integer的类型。而

Dim obj As New MyGeneric(Of String)

这条语句中，obj则是一个T为String型的实例。你可以任意指定类型参数，以便创建出更多适于不同类型的对象，这就是泛型的精髓——“书写一次，使用于广泛的类型”。

泛型不仅仅能用于类型的定义，你还能够定义泛型的方法。其语法和泛型类型基本一样：

Public Function IIf(Of T)(Expression As Boolean, TruePart As T, _
    FalsePart As T) As T

这就是一个泛型方法，其参数和返回类型都可以使用类型参数T所表示的类型。泛型方法可以像泛型类型那样，使用Of语句来确定类型参数T：

max = IIf(Of Integer)(a > b, a, b)

通过指定类型参数为Integer，我们的IIf(Of T)函数就成了专门针对Integer的IIf函数。其实，Visual Basic还支持类型参数的隐式指定，就是说当参数或返回值能够有足够的信息确定类型参数时，Of语句就不必写了。比如

Dim max, a, b As Integer
a = 100
b = 50

max = IIf(a > b, a, b)

着段代码中a和b的类型已经都确定为Integer因此IIf(Of T)函数不必通过明确制定类型参数也能知道此处的类型参数应该是Integer。这将大大简化代码的书写，又不失泛型带来的性能好处。

下一次，我将介绍泛型的更多用法和要点，如约束。