Java & Groovy & Scala & Kotlin - 27.泛型

Overview

泛型使类型参数化变得可能。在声明类或接口时，可以使用自定义的占位符来表示类型，在运行时由传入的具体类型进行替换。泛型的引入让集合变得更加好用，使很多错误在编译时就能被发现，也省去了一些强制转换的麻烦。

Java 篇

泛型是 Java 1.5才引进的特性。没有泛型的时候使用一个持有特定类型的值的类的时候是非常麻烦的

例：

public class ObjectCapture {
    private Object object;
    public ObjectCapture(Object o) {
        this.object = o;
    }
    public void set(Object object) {
        this.object = object;
    }
    public Object get() {
        return object;
    }
}

使用以上类

ObjectCapture integerObjectCapture = new ObjectCapture(10);
assert 10 == (Integer) integerObjectCapture.get();

没有泛型的时候在取数据时必须进行强制转换，但是此时根本无法保证 之前使用的 ObjectCapture 保存的是 Integer 类型的值，如果是其它类型的话，程序就会直接挂掉，而且这种错误只有运行时才能发现。

创建泛型

类型参数使用 <类型参数名> 作为类型的占位符。

public class Capture {
    private T t;
    public Capture(T t) {
        this.t = t;
    }
    public void set(T t) {
        this.t = t;
    }
    public T get() {
        return t;
    }
}

Java 中最常用的占位符为通用的 "T"，表示 Key 的 "K"， 表示 Value 的 "V" 和表示异常的 "E"。

使用泛型

Capture integerCapture = new Capture<>(10);
assert 10 == integerCapture.get();
Capture stringCapture = new Capture<>("Hi");
assert "Hi".equals(stringCapture.get());

以上分别用 Integer 和 String 作为传入的类型参数，如果向这两个对象传入不符合的类型时编译器就会理解报错，此外取数据时也不用进行强制转换，比起没有泛型时要方便很多。

类型擦除

Java 的泛型是在编译器层次实现的，所以运行时有关泛型的信息都会被丢失，这被称作类型擦除。也就是说上节例子中的 Capture 和 Capture 在运行时都是 Capture 类型，没有任何区别。

协变与逆变

如果 Capture 被看做是 Capture