Java泛型相关总结（上）

最近在看《Java核心技术》泛型相关的部分，总结下。

泛型程序设计是什么？

泛型编程（generic programming）是计算机编程中的一种风格，类型通过参数指定。意味着编写的代码可以被不同类型的对象所使用。

类型参数（type parameters），指示类型。ArrayList用类型参数来指示包含元素的类型。使程序有更好的可读性和安全性。

解决什么问题？

使代码具有更好的可读性和安全性。

如何用

泛型类（generic class）具有一个或多个类型参数的类。如下所示，用具体的类型替换类型变量就可以实例化类型参数，Pair<String>。

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 void setFirst(T first) {
        this.first = first;
    }
}

泛型方法（generic method）。泛型方法可以定义在普通类中，也可以定义到泛型类中。

在普通类定义泛型方法

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

调用泛型方法，<String>大部分情况下可不写。

ArrayAlg.<String>getMiddle("John", "Q", "Public");

对于编译器无法确定参数类型会给出错误报告，如下所示。编译器会将参数打包成1个Double，2个Integer，并寻找其共同的超类，且找到两个Number和Comparable，会报错。

ArrayAlg.getMiddle(3.14, 1729, 0);

对类或方法的类型变量加以限定。

class ArrayAlg {
    public static <T extends Comparable> T min(T... a) {
    }
}

可以有多个限定，用&连接，但限定中至多有一个类，且必须是限定列表中的第一个。

T extends Comparable & Serializable

虚拟机没有泛型类型对象，所有对象都属于普通类。编译器会擦除（erased）类型变量，并替换为限定类型（如果没有限定类型，使用Object），使之成为原始类型（raw type）。Pair<T>的原始类型如下：

public class Pair {
    private Object first;
    private Object second;
}

关于Java泛型转换的事实：
虚拟机中没有泛型，只有普通的类和方法
所有的类型参数都用它们的限定类型替换
桥方法被合成来保持多态
为保持类型安全性，必要时插入强制类型转换