Java 类型擦除与泛型

更多 Java 高级知识方面的文章，请参见文集《Java 高级知识》

---

类型系统

Liskov 里氏替换原则，子类可以替换父类。

• 需要 Object 的引用时，可以传入 String 对象
• 需要 String 的引用时，传入 Object 对象需要强制类型转换，运行时可能抛出 ClassCastException

类型擦除 Type Erasure

Java 的泛型是在 编译器 层次实现的。
在编译生成的字节码中不包含泛型中的类型参数，类型参数会在编译时去掉。
例如：List 和 List 在编译后都变成 List。

类型擦除的基本过程：将代码中的类型参数替换为具体的类，同时去掉 <> 的内容。

泛型

• 类型参数只能是类，例如 List ，不能是简单类型，例如 List
• 类型参数可以有多个，例如 HashMap

泛型的优势

• 编译时更强大的类型检测。Java 编译器对泛型应用了强大的类型检测，如果代码违反了类型安全就会报错。修复编译时错误比修复运行时错误更加容易，因为运行时错误很难查找到。

例如如下代码： 方法传入一个 String 对象，传出一个 String 对象，并强制转换为 Integer 对象。
这段代码编译可以通过，因为都是 Object 的子类，但是运行时会产生 ClassCastException。

public static Object setAndReturn(Object obj) {
    return obj;
}

public static void main(String[] args) {
    Integer i = (Integer) setAndReturn(new String("abc"));
}

而如果通过泛型来实现，则会在编译时进行类型的检测。例如如下代码：会产生编译错误。

public static  T setAndReturn(T t) {
    return t;
}

public static void main(String[] args) {
    Integer i = (Integer) setAndReturn(new String("abc"));
}

• 提供自动和隐式的类型转换
  例如如下代码：在函数返回时，不需要显示的类型转换 setAndReturn(new Integer("123"));

public static  T setAndReturn(T t) {
    return t;
}

public static void main(String[] args) {
    // 不需要使用 = setAndReturn(new Integer("123"));
    Integer i = setAndReturn(new Integer("123"));
}

• 实现泛型算法，类似于 C++ 中的模板

泛型的奇怪特性

• 泛型类并没有独有的 Class 对象。即不存在 List.class ，只存在 List.class。
• 泛型类中的静态变量被所有实例共享。
• 泛型类中的类型参数不能用在异常处理的 catch 中。
  因为异常处理是 JVM 运行时刻来进行的，此时类型参数已被擦除。

VS

不同点：

• 用于 泛型的定义，例如 class MyGeneric {...}
• 用于 泛型的声明，即泛型的使用，例如 MyGeneric g = new MyGeneric<>();

相同点：都可以指定上界和下界，例如：
class MyGeneric {...}
class MyGeneric {...}

MyGeneric g = new MyGeneric<>();
MyGeneric g = new MyGeneric<>();

泛型类

示例：

public class Generic_Test {
    public static void main(String[] args) {
        MyGeneric g1 = new MyGeneric(new String("123"));
        g1.print();

        MyGeneric g2 = new MyGeneric(new Integer("123"));
        g2.print();
    }
}

class MyGeneric {
    private T t;

    public MyGeneric(T t) {
        this.t = t;
    }

    public void print() {
        System.out.println(t.getClass().getName());
    }
}

Java7 的泛型类型推断改进

在上面的代码中，MyGeneric g1 = new MyGeneric(new String("123"));。可以看出，需要在声明和赋值的时候，两侧都加上泛型类型 。

在Java 7中，这种方式得以改进，可以使用如下语句进行声明和赋值：
MyGeneric g1 = new MyGeneric<>(new String("123"));
在这条语句中，编译器会根据变量声明时的泛型类型自动推断出实例化 MyGeneric 时的泛型类型。

泛型方法

示例：

public static  void print(T t) {
    System.out.println(t.getClass().getName());
}

public static void main(String[] args) {
    print(new String("123"));
    print(new Integer("123"));
}

使用泛型类

• 指定具体类型，如 List
• 指定未知类型，如 List。
  List 不等于 List