kotlin 泛型-协变、逆变

  1. 云栖社区>
  2. 博客>
  3. 正文

kotlin 泛型-协变、逆变

Albert0211 2020-02-18 21:25:40 浏览92
展开阅读全文

0.jpg

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

为此,我们必须声明对象的类型为 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

最后,更好的理解协变与逆变,附图如下:
image.png

网友评论

登录后评论
0/500
评论
Albert0211
+ 关注