在java中,假设有一个泛型接口 GenericClass , 该接口中不存在任何以 T 作为参数的方法,只是方法返回 T 类型值:
那么,在 GenericClass <"Object"> 类型的变量中存储 GenericClass<"String"> 实例的引用, 是极为安全的——没有消费者-方法可以调用。 但是 Java 仍然禁止这样操作:
为此,我们必须声明对象的类型为 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:
集合协变
在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 ,拿走不谢。