泛型是具有占位符(类型参数)的类、结构、接口和方法,这些占位符是类、结构、接口和方法所存储或使用的一个或多个类型的占位符。泛型集合可以将类型参数用作它所存储的对象的类型的占位符;类型参数作为其字段的类型及其方法的参数类型出现,泛型方法可以将其参数用作其返回值的类型或者其某个形参的类型。下面的代码阐释一个简单的泛型类定义。
Public Class Generic(of T)
public Field As T
End Class
在创建泛型类的实例时,会指定实际类型来替换类型参数。这会建立一个新的泛型类,称为构造泛型类,选定的类型将替换所有出现的类型参数。最后将得到按照您选择的类型定制的类型安全的类,如下面的代码所示。
dim g as New Generic(of String)
g.Field="A String"
泛型术语
“泛型类型定义”是用做模板的类、结构或接口声明,其中具有该类、结构或接口声明可以包含或使用的类型的占位符。例如,Dictionary<(Of <(TKey, TValue>)>) 类可以包含两种类型:键和值。因为它只是一个模板,您不能创建作为泛型类型定义的类、结构或接口的实例。
“泛型类型参数”或称“类型参数”是泛型类型或方法定义中的占位符。Dictionary<(Of <(TKey, TValue>)>) 泛型类型具有两个类型参数:TKey 和 TValue,分别表示其键和值的类型。
“构造泛型类型”或称“构造类型”是为泛型类型定义的泛型类型参数指定类型得到的结果。
“泛型类型参数”是替换泛型类型参数的任何类型。
术语“泛型类型”一般包括构造类型和泛型类型定义。
“约束”是加在泛型类型参数上的限制。例如,可以将类型参数限制为实现 IComparer<(Of <(T>)>) 泛型接口的类型以确保可以对该类型的实例进行排序。还可以将类型参数限制为具有特定基类的类型、具有默认构造函数的类型或是引用类型或值类型。泛型类型的用户不能替换不满足这些约束的类型参数。
“泛型方法定义”是具有两个参数列表的方法:一个泛型类型参数列表和一个形参列表。类型参数可以作为返回类型或形参的类型出现,如下面的代码所示。
Function Generic(Of T)(ByVal arg As T) As T
Dim temp As T = arg
...
End Function
泛型方法可以出现在泛型或非泛型类型上。需要注意的是,并不是只要方法属于泛型类型,或者甚至是方法的形参的类型是封闭类型的泛型参数,就可以说方法是泛型方法。只有当方法具有它自己的类型参数列表时,才能称其为泛型方法。在下面的代码中,只有方法 G 是泛型方法。
Class A
Function G(Of T)(ByVal arg As T) As T
...
End Function
End Class
Class Generic(Of T)
Function M(ByVal arg As T) As T
...
End Function
End Class