重学Java—泛型

泛型

1、泛型正是我们需要的程序设计手段。使用泛型机制编写的程序代码要比那些杂乱地使用Object 变量，然后再进行强制类型转换的代码具有更好的安全性和可读性。
2、泛型对于集合类尤其有用。
3、泛型意味着代码可以被很多不同类型的对象所重用。

泛型类和泛型方法

一个泛型类(generic class)就是具有一个或多个类型变量的类。
一个简单的泛型类如下所示：
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 getFirstO { return first; }
    public T getSecondO { return second; }
    public void setFirst(T newValue) { first = newValue; }
    public void setSecond(T newValue) { second = newValue; }
}
当然一个泛型类也可以有多个类型变量，如：public class Pair<T, U> { . . . }

用具体类型替换类型变量就可以实例化泛型类型，如：Pair<String>

也能定义带有类型参数的简单方法，如：public static <T> T getMiddle(T... a)｛｝

类型变量的限定

有时，类或方法需要对类型变量加以约束：
可以通过对类型变量 T 设置限定（bound) 实现这一点：

public static <T extends Coiparable> T a) . . .

一个类型变量或通配符可以有多个限定， 例如：
T extends Comparable & Serializable
限定类型用“ &” 分隔，而逗号用来分隔类型变量。

泛型代码和虚拟机

虚拟机没有泛型类型对象——所有对象都属于普通类。
无论何时定义一个泛型类型， 都自动提供了一个相应的原始类型 （ raw type)。原始类型的名字就是删去类型参数后的泛型类型名。擦除（ erased) 类型变量 , 并替换为限定类型 （无限定的变量用 Object)。

约束性与局限性

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

因此， 没有Pair<double> , 只 有 Pair<Double>。 

当然 ,其原因是类型擦除。擦除之后， Pair 类含有 Object 类型的域， 而 Object 不能存储 double 值。
不能实例化类型变量，不能构造泛型数组。
不能抛出或捕获泛型类的实例。

通配符类型

固定的泛型类型系统使用起来并没有那么令人愉快，Java 的设计者发明了一种巧妙的 （仍然是安全的“） 解决方案”：通配符类型。
1、通配符类型中，允许类型参数变化，如：

Pair<? extends Employee>表示任何泛型Pair类型。