理解kotlin中的泛型，协变，逆变

Understanding Generics and Variance in Kotlin
起源于继承，所以就有了标题说到的这些东西

先说结论：

1. Out 适用于生产者模式，会返回一个T
2. In 适用于消费者模式，作为参数传递进来消费掉，不会返回T

继承关系：

我们可以将子类实例赋值给一个父类

Integer integer = new Integer(1);
Number number = integer;

得益于此，我们可以写一个方法，参数是父类，这样子类也可以往里面传：
参数需要Number，我们可以传递Integer

void printNumber(Number number)

但是有了泛型之后，如下就编译不通过

List<Integer> integerList = new ArrayList<>();
List<Number> numberList = integerList; // Compiler error

要理解这个，我们就要搞清楚3个东西：
（1）类（class） vs 类型 (type)
（2）subclass vs subtype
（3）协变、逆变，不可变

在java 和 kotlin 中，所有的类都至少有一个和类相同的type.比如，Integer 既是一个class，也是一种type，在kotlin中，引入了可空的type，比如String?。实际上我们不能说这是一个class，但是理论上来说，它还是属于String type

另一个例子就是List， 它是一个class ，但是List不是class ，而是一个type。
所以，这个说的协变，逆变等概念我们就要讲到type这个层面。

Subclass vs subtype

Subclass 一般是在说继承关系中，比如Integer 继承 Number，他们是Subclass 关系。同时他们也是subtype 关系
那么对于可空类型，比如：