基于Java语言中地泛型研究.pdfVIP

基于Java语言中的泛型研究木 吴国凤方钰 合肥工业大学计算机与信息学院，安徽合肥230009 摘要：文章简介了编程语言的一种新特性——泛型．在基于Java语言的基础上说明了引入这个概 念对程序设计带来的好处：运行更多的类型检查，减少动态转换等。接下来介绍了如何定义泛型类， 泛型类型的使用，通配符的概念和用法，泛型的引入对方法在重载和覆盖方面的影响。最后简介了在 引入泛型后为了正确地调用方法，编译器在算法方面的一些调整。 关犍词：Java泛型通配符类型参数泛型方法重载覆盖 1引 言 variable)，根据 泛型作为一种语言功能，允许定义和使用泛型类型和方法。通过提供形式类型变量(type 运行时的情况选择合适的类型参数变量(typeparameter)代入。在针对集合类的操作中，我们不希望为聚集 现，从而增加了程序运行时的危险性。 通过设计一个泛型集合(generic 合中，编译器会显示一个错误。从而消除了集合中的任意不明确类型，也除去了从一个集合获取一个对象 时，转换对象类型的需要。通过使用泛型可以在编译时较早的发现错误。当运用参数化类型如ArrayList 现错误，从而在编译时以编译错误的形式报告而不是在运行时报告异常。 2泛型类型的声明和使用 下面是一个泛型类的定义： ． class Eelement； UnitEnext；private UnitE{private Unit(Eelement，UnitEnext)l pubic E elemen；} pubicgetElement(){return void pubGcsetElement(Eelement){tiffs．elementelement；) next；) publicUnitEgetNext(){retum 肥人．硕士研究生，主要研究方向为计算机网络、软件工程． void publicsetNext(UnitI》next)Ithis．next=next；】 l 这个例子中UnitE既E类型的Unit，E称为类型变量(type 类型，v代表值类型，T代表通用类型【4】。在构造Unit对象时，必须告诉编译器希望用那个具体的类型来替代 E。如我们使用UnitString的类型名时，就用一个具体的类型引元(type (E)，因此也就引入了一个参数化类型(parameterizedtype)，这种用法被称为泛型类型调用(generictype 型调用，实际运行中的对象并不包含任何泛型类型信息。 Boolean same=(strUnit．getClass0一intUnit．getClass0)；，返回true 处理过程【3】。泛型类型或参数化类型在被擦除后就是一个不加任何修饰的类型名了。无论何时定义一个泛型 类型，相应的原始类型(rawtype)都会被自动的提供【l】。原始类型的名字就是删去了类型参数的泛型类型的名 extends 字，用限定类型替换。如PairE和PairT 限制成“扩展”了Number的类型，称Number类为T的上界(upper 参数。extends关键字后面可以跟类类型和接口类型。我们也可以通过在方法修饰符的方法返回类型之间定 义类型变量来声明泛型方法： 如：public订T【】toArray(T【】arr){……l 这里类型变量T仅用在了方法头中，用以限制参数类型与返回类型必须相刚51。如调用泛型方法的一个 例子： class Collections{ staticAextends