诚心推荐这一篇文章更好
泛型程序设计
- 泛型意味着编写的代码可以被不同类型重用
- ArrayList 如果没有泛型的话会很糟糕
- 泛型数组提供类型参数以便与检查
- ArrayList<String> files = new ArrayList<String>()
一个泛型程序员的任务就是预测出类在未来的所有可能的用途
泛型程序设计三个级别，基本级别是简单使用泛型类类似于 ArrayList
定义简单的泛型类
public class Pair<T>{
private T first;
private T second;
public Pair(){
first = null;
second = null;
}
public Pair(T first , T second){
this.first = first;
this.second = second;
}
public T getFirst(){
return first;
}
public T getSecond(){
return second;
}
public void setFirst(T newValue){
first = newValue;
}
public void setSecond(T newValue){
second = newValue;
}
}
Pair<T,U> //第二种类型
泛型类可以看成普通类的工厂类
如何在普通类中定义泛型类
泛型代码与虚拟机
- 无论何时定义一个泛型类型，都自动提供一个原始的类型。原始类型的的名字就是删去类型参数后的泛型类型名。擦除类型变量，并替换为限定类型
== 这句话太绕口了，举个例子来看一下 ==
// pair<T> 的原始类型如下
public class Pair {
private Object first;
private Object second;
public Pair(Object first, Object second){
this.first = first;
this.second = second;
}
public Object getFirst{ return first;}
public Object getSecond(return second;)
public void setFirst(Object newValue) { first = newValue; }
public void setSecond(Object newValue) { second = newValue; }
}
// 对比之前我们写的泛型类我们就可以看出编译器利用Object对象擦除了泛型类型
下面我们再考虑下面这种如何擦除类型变量
// 类似这一种 虚拟机就利用 Comparable来擦除相应的对象类型
public class Interval <T extends Comparable & Serializable>
翻译泛型表达式
当程序调用泛型类型，如果擦除返回类型，编译器将插入强制类型转换
Pair<Employee> buddies = . .
Employee buddy = buddies.getFirstO;
例如上面这个代码，编译器翻译回两条虚拟机指令
- 对原始方法Pair.getFirst()的调用
- 将返回的Object类型强制转换为Employee类型
翻译泛型方法
类型擦除也会出现在泛型方法程序员通常认为下列的泛型方法
public static <T extends Comparable> T min(T[] a)
// 越看越奇怪 其实前面的尖括号意思是类型变量 后面紧跟的T代表着我们传统的返回值
// 前面的代码被编译器类型擦除之后变成下列的代码
public static Comparable min (Comparable[] a)
java 泛型需要考虑到的一些限制
- 不能用基本类型实例化类型参数
Pair<double> 是不对的 Pair<Double>是对的
// 类型擦除后对象只有Object对应的域
- 不能使用参数化类型的数组 如果收集参数化类型的对象，只有一种安全而有效的方法
ArrayList:ArrayList<Pair<string>>
- 不能实例化类型变量
不能进行 new T[] 这样的操作
// 写不下去了 等我搞透彻再来写
