泛型程序设计

泛型程序设计

编写的代码可以被很多不同类型的对象重用

AsrrayList类有一个类型参数指示元素的类型

简单泛型类

一个泛型类就是具有一个或多个类型变量的类

泛型类可看作普通类的工厂

public class Pair<T>
{
	public Pair(T firset,T second) {this.first = first;this.second = second;}
	private T first;
	private T second;
}

泛型方法

class ArrayAlg
{
	public static <T> T getMiddle(T[] a)
	{
		return a[a.length / 2];
	}
}

泛型方法可以定义在普通类中，也可以定义在泛型类中

类型变量的限定

对类型变量加以约束

将T限制为实现了comparable接口

T和绑定类型可以是类，也可以是接口

无论何时定义一个泛型类型，都自动提供了一个相应的原始类型，原始类型的名字是删去类型参数后的泛型类型名。擦除类型变量，并替换为限定类型

无论何时定义一个泛型类型，都自动提供了一个相应的原始类型

不能用基本类型实例化类型参数

运行时类型查询只适用于原始类型

不能抛出也不能捕获泛型类实例

参数化类型的数组不合法

不能实例化类型变量

泛型类的静态上下文中类型变量无效

注意擦除后的冲突：限制一个类或类型变量不能同时成为两个接口类型的子类

通配符类型

表示任何泛型Pair类型，它的类型参数是Employee的子类

Pair<? extends Employee>

通配符的超类型限定

? super Manager

限制为Manager的所有超类型