kotlin 泛型-协变、逆变

在java中，假设有一个泛型接口 GenericClass ，
该接口中不存在任何以 T 作为参数的方法，只是方法返回 T 类型值：

那么，在 GenericClass

为此，我们必须声明对象的类型为 GenericClass<? extends Object>，

但这是毫无意义的，因为我们可以像以前一样在该对象上调用所有相同的方法，
所以更复杂的类型并没有带来价值。

在 Kotlin 中，提供了 out 修饰符，向编译器解释这种情况。
我们可以标注GenericClass 的类型参数 T
来确保它仅从 GenericClass 成员中返回（生产），
并从不被消费。

一般原则是：当一个类 GenericClass 的类型参数 T 被声明为 out 时，
它就只能出现在 GenericClass 的成员的输出-位置，
但回报是 GenericClass （如文中的GenericClass），
可以安全地作为 GenericClass（如文中的GenericClass）的超类。

简之，他们说类 GenericClass 是在参数 T 上是协变的，
或者说 T 是一个协变的类型参数。
你可以认为 GenericClass 是 T 的生产者，而不是 T 的消费者。

out、in修饰符称为型变注解，
in得一个类型参数逆变：只可以被消费而不可以被生产。

逆变类型的一个很好的例子是 Comparable：

最后，更好的理解协变与逆变，附图如下：