泛型程序设计

诚心推荐这一篇文章更好

java 泛型详解

泛型程序设计

1. 泛型意味着编写的代码可以被不同类型重用
2. ArrayList 如果没有泛型的话会很糟糕
3. 泛型数组提供类型参数以便与检查
4. 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> //第二种类型

泛型类可以看成普通类的工厂类

如何在普通类中定义泛型类

泛型代码与虚拟机

1. 无论何时定义一个泛型类型，都自动提供一个原始的类型。原始类型的的名字就是删去类型参数后的泛型类型名。擦除类型变量，并替换为限定类型
   == 这句话太绕口了，举个例子来看一下 ==

// 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;
例如上面这个代码，编译器翻译回两条虚拟机指令

1. 对原始方法Pair.getFirst()的调用
2. 将返回的Object类型强制转换为Employee类型

翻译泛型方法

类型擦除也会出现在泛型方法程序员通常认为下列的泛型方法

public static <T extends Comparable> T min(T[] a)
// 越看越奇怪 其实前面的尖括号意思是类型变量 后面紧跟的T代表着我们传统的返回值
// 前面的代码被编译器类型擦除之后变成下列的代码
public static Comparable min (Comparable[] a)

java 泛型需要考虑到的一些限制

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

Pair<double> 是不对的 Pair<Double>是对的
// 类型擦除后对象只有Object对应的域

2. 不能使用参数化类型的数组 如果收集参数化类型的对象，只有一种安全而有效的方法

ArrayList:ArrayList<Pair<string>>

3. 不能实例化类型变量
   不能进行 new T[] 这样的操作

// 写不下去了 等我搞透彻再来写