Java泛型相关总结（上）

Posted 2021-11-24 minguo

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

泛型程序设计是什么？

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

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

解决什么问题？

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

如何用

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

 1 public class Pair<T> {
 2     private T first;
 3     private T second;
 4 
 5     public Pair() {
 6         first = null;
 7         second = null;
 8     }
 9 
10     public Pair(T first, T second) {
11         this.first = first;
12         this.second = second;
13     }
14 
15     public T getFirst() {
16         return first;
17     }
18 
19     public void setFirst(T first) {
20         this.first = first;
21     }
22 }

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