泛型程序设计

1、定义简单泛型类
略
2、泛型方法

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

调用泛型方法
String middle=ArrayAlg.<String>getMiddle("John","Lili,""Silla");
<String>可省略

3、类型变量的限定
比如限定类型变量都是实现了Comparable接口的

public static <T extends Comparable> T min(T[] a)...
<T extends BoundingType>表示T应该是绑定类型的子类型。T和绑定类型可以是类，也可以是接口。
多个限定：T extends Comparable & Serializable

4、泛型代码与虚拟机
1）类型擦除
无论何时定义一个泛型类型，都自动提供了一个想应的原始类型。原始类型的名字就是删去类型参数后的泛型类型名。无限定的变量用Object
虚拟机中没有泛型，只有普通的类和方法
所有的类型参数都用他们的限定类型替换
桥方法被合成来保持多态
为保持类型安全性，必要时插入强制类型转换

5、约束与局限性
1）不能用基本类型参数实例化类型参数
没有Pair<double>
2)虚拟机中的对象总有一个特定的非泛型类型因此
if(a instanceof Pair<String>)错误 用样对泛型使用getClass()同时返回原始类型 Pair<String> strPair=...
Pair<Employee> empPair=...
strPair.getClass()==empPair.getClass()为true
3）不能创建参数化类型的数组
Pair<String>[] table=new Pair<String>[10];//error
4)不能实实例化类型变量
first=new T();//error
5)不能构造泛型数组
6）泛型类的静态上下文中类型变量无效

public class Sin<T>{
	private static T single;//error
}

7)不能抛出或捕获泛型类的实例
8）可以消除对受查异常的检查
9）擦除后可能引起冲突

6、泛型类型的继承规则
不能继承
7、通配符类型
例如：<? extends Employee>
用 extends 关键字声明，表示参数化的类型可能是所指定的类型，或者是此类型的子类。
通配符的超类型限定
<？ super Manager>
用 super 进行声明，表示参数化的类型可能是所指定的类型，或者是此类型的父类型，直至 Object
带有超类型限定的通配符可以向泛型对象写入，带有子类型限定的通配符可以从泛型对象读取。

注意< T extends Employee>与<? extends Employee>的区别
区别1：通过 T 来 确保 泛型参数的一致性
// 通过 T 来 确保 泛型参数的一致性
public void test(List dest, List src)
指定T是Number类的子类

//通配符时是不确定的，所以这个方法不能保证两个 List 具有相同的元素类型
public void test(List<? extends Number> dest, List<? extends Number> src)
区别2：类型参数可以多重限定而通配符不行
使用 & 符号设定多重边界
区别3：通配符可以使用超类限定而类型参数不行
类型参数 T 只具有 一种 类型限定方式：

T extends A
但是通配符 ? 可以进行 两种限定：

? extends A
? super A