kotlin 泛型-协变、逆变

1,946 阅读2分钟

0.jpg

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

image.png

那么,在 GenericClass <"Object"> 类型的变量中存储 GenericClass<"String"> 实例的引用, 是极为安全的——没有消费者-方法可以调用。 但是 Java 仍然禁止这样操作:

image.png

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

image.png

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

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

image.png

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

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

out、in修饰符称为型变注解,

in: 一个类型参数逆变:只可以被消费而不可以被生产。

逆变类型的一个很好的例子是 Comparable: image.png

集合协变

在Kotlin里,非空类型是可空类型的子类型。

Java实现的协变

List<? extends Number> list = new ArrayList<Integer>();

Kotlin实现的协变

val list: MutableList<out Number> = arrayListOf<Int>()

集合逆变

Java实现的逆变

List<? super Integer> list = new ArrayList<Number>();

对应的Kotlin逆变的实现:

val list: MutableList<in Int> = arrayListOf<Number>()

总结:

变型(协变和逆变)涉及到集合元素,集合类。协变讲的是两个集合的元素是子类关系,这两个集合也是子类关系,有了子类关系,就可以用多态表示。逆变的关系是反过来的,逆变说得是,两个集合的元素是父类关系,这两个集合却能成为子类关系。

利用kotlin高效开发Android,常用工具类封装 如SharePreferenceUtil等,以及控件扩展 github.com/AlbertShen0… 欢迎Star ,拿走不谢。