深入理解Kotlin中的泛型（协变、逆变）

一、泛型的必要性

【1.1】没有泛型之前

在说明为什么有泛型之前，我们先看一段代码

List AList = new ArrayList();
//编译通过，运行不报错
A.add(new B());
//编译通过，运行报错
A a = (A) A.get(0);

这段代码，现在已经很少看到了。但实际上在Java1.5之前，这是很经常写的代码，也很容易犯错的代码。在上面的代码中，我们声明了一个不知道储存什么类型的List。虽然我们通过变量名“AList”来代表这个List是存，取A类型的集合。但是我们仍然可以将B类型的对象存进去。而且取出来的时候，我们还需要进行类型强转。这就带来了两个问题：

1. 我们无法在储存的时候，就限定输入的类型。导致可能存入其他类型导致CastClassException。
2. 集合元素取出来的时候，我们明明知道是A类型的，但是每次还是都要进行一次强转。

出现这问题的原因根本在于，ArrayList()底层是使用Object[]实现的。这样设计的本意是可以让ArrayList更加的通用，适用于一切类型。

【1.2】有了泛型之后

在了解了上面的需求和痛点后，我们可以很自然的想起泛型。它可以让类型参数化。在引入泛型后。上面的代码我们可以这样写：

List<A> AList = new ArrayList();
//编译不通过。
A.add(new B());
//不再需要强转
A a = A.get(0);

可以看到，在引入了泛型后，在编译时就能进行类型检查。但是ArrayList底层实现还是使用Object[]的，为什么可以不用进行类型强转呢？ 我们可以看一下ArrayList.get()方法：

ArrayList.java

transient Object[] elementData;
public E get(int index) {
    rangeCheck(index);
    return elementData(index);
}

E elementData(int index) {
    return (E) elementData[index]; //内部进行类型强转
}

【1.3】泛型的必要性总结

到这里，我们总结一下引入泛型的好处：

1. 类型安全：编译器可以在编译时期就对类型错误的存取报错。
2. 类型参数化，可以写出更加通用的代码。
3. 简化代码。
4. 可以自动进行类型转化，获取数据是可以不用进行类型强转

二、泛型的实现：类型擦除

【2.1】泛型的实际实现

其实关于泛型的背后实现，我们在上面有说到了一些。为了更加深刻的体会他是通过类型擦除的方式来实现泛型的，我们看一下如下代码的字节码：

//没有加泛型
ArrayList list = new ArrayList();
//加了泛型
ArrayList<A> AList = new ArrayList();

字节码：