但是如果想让上面的代码编译通过,想往集合中添加元素,这就需要用到逆变了。
Kotlin 和 Java 的逆变
逆变其实是把继承关系颠倒过来,比如 Integer
是 Number
的子类型,但是 Integer
加逆变通配符之后,Number
是 ? super Integer
的子类,如下图所示。
- 在 Java 中用通配符
? super T
表示逆变,其中?
表示未知类型,super
主要用来限制未知类型的子类型T
,比如? super Number
,只要声明时传入是Number
或者Number
的父类型都可以 - 在 Kotlin 中关键字
in T
表示逆变,含义和 Java 一样
现在我们将上面的代码简单修改一下,在花三秒钟思考一下是否可以正常编译。
// Kotlin
val numbers: MutableList<in Number> = ArrayList<Number>()
numbers.add(100)
// Java
List<? super Number> numbers = new ArrayList<Number>();
numbers.add(100);
答案可以正常编译,逆变通配符 ? super Number
或者关键字 in
将继承关系颠倒过来,主要用来限制未知类型的子类型,在上面的例子中,编译器知道子类型是 Number
,因此只要是 Number
的子类都可以添加。
逆变可以往集合中添加元素,那么可以获取元素吗?我们花三秒钟时间思考一下,下面的代码是否可以正常编译。
// Kotlin
val numbers: MutableList<in Number> = ArrayList<Number>()
numbers.add(100)
numbers.get(0)
// Java
List<? super Number> numbers = new ArrayList<Number>();
numbers.add(100);
numbers.get(0);
无论调用 add()
方法还是调用 get()
方法,都可以正常编译通过,现在将上面的代码修改一下,思考一下是否可以正常编译通过。
// Kotlin
val numbers: MutableList<in Number> = ArrayList<Number>()
numbers.add(100)
val item: Int = numbers.get(0)
// Java
List<? super Number> numbers = new ArrayList<Number>();
numbers.add(100);
int item = numbers.get(0);
调用 get()
方法会编译失败,因为 numbers.get(0)
获取的的值是 Object
的类型,因此它不能直接赋值给 int
类型,逆变和协变一样,放宽了对数据类型的约束,但是代价是 不能按照泛型类型读取元素,也就是说往集合中添加 int
类型的数据,调用 get()
方法获取到的不是 int
类型的数据。
对这一小节内容,我们简单的总结一下。
关键字(Java/Kotlin) | 添加 | 读取 | |
---|---|---|---|
协变 | ? extends / out | ❎ | ✅ |
逆变 | ? super / in | ✅ | ❎ |
Kotlin 和 Java 数组协变的不同之处
无论是 Kotlin 还是 Java 它们协变和逆变的含义的都是一样的,只不过通配符不一样,但是他们也有不同之处。
Java 是支持数组协变,代码如下所示:
Number[] numbers = new Integer[10];
但是 Java 中的数组协变有缺陷,将上面的代码修改一下,如下所示。
Number[] numbers = new Integer[10];
numbers[0] = 1.0;
可以正常编译,但是运行的时候会崩溃。
因为最开始我将 Number[]
协变成 Integer[]
,接着往数组里添加了 Double
类型的数据,所以运行会崩溃。
而 Kotlin 的解决方案非常的干脆,不支持数组协变,编译的时候就会出错,对于数组逆变 Koltin 和 Java 都不支持。
协变和逆变的应用场景
协变和逆变应用的时候需要遵循 PECS(Producer-Extends, Consumer-Super)原则,即 ? extends
或者 out
作为生产者,? super
或者 in
作为消费者。遵循这个原则的好处是,可以在编译阶段保证代码安全,减少未知错误的发生。
协变应用
- 在 Java 中用通配符
? extends
表示协变 - 在 Kotlin 中关键字
out
表示协变
协变只能读取数据,不能添加数据,所以只能作为生产者,向外提供数据,因此只能用来输出,不用用来输入。
在 Koltin 中一个协变类,参数前面加上 out
修饰后,这个参数在当前类中 只能作为函数的返回值,或者修饰只读属性 ,代码如下所示。
// 正常编译
interface ProduceExtends<out T> {
val num: T // 用于只读属性
fun getItem(): T // 用于函数的返回值
}
// 编译失败
interface ProduceExtends<out T> {
var num : T // 用于可变属性
fun addItem(t: T) // 用于函数的参数
}
当我们确定某个对象只作为生产者时,向外提供数据,或者作为方法的返回值时,我们可以使用 ? extends
或者 out
。
- 以 Kotlin 为例,例如
Iterator#next()
方法,使用了关键字out
,返回集合中每一个元素
- 以 Java 为例,例如
ArrayList#addAll()
方法,使用了通配符? extends
传入参数 Collection<? extends E> c
作为生产者给 ArrayList
提供数据。
逆变应用
- 在 Java 中使用通配符
? super
表示逆变 - 在 Kotlin 中使用关键字
in
表示逆变
逆变只能添加数据,不能按照泛型读取数据,所以只能作为消费者,因此只能用来输入,不能用来输出。
在 Koltin 中一个逆变类,参数前面加上 in
修饰后,这个参数在当前类中 只能作为函数的参数,或者修饰可变属性 。
// 正常编译,用于函数的参数
interface ConsumerSupper<in T> {
fun addItem(t: T)
}
// 编译失败,用于函数的返回值
interface ConsumerSupper<in T> {
fun getItem(): T
}
当我们确定某个对象只作为消费者,当做参数传入时,只用来添加数据,我们使用通配符 ? super
或者关键字 in
,
- 以 Kotlin 为例,例如扩展方法
Iterable#filterTo()
,使用了关键字in
,在内部只用来添加数据
- 以 Java 为例,例如
ArrayList#forEach()
方法,使用了通配符? super
不知道小伙伴们有没有注意到,在上面的源码中,分别使用了不同的泛型标记符 T
和 E
,其实我们稍微注意一下,在源码中有几个高频的泛型标记符 T
、 E
、 K
、 V
等等,它们分别应用在不同的场景。
标记符 | 应用场景 |
---|---|
T(Type) | 类 |
E(Element) | 集合 |
K(Key) | 键 |
V(Value) | 值 |
全文到这里就结束了,感谢你的阅读,坚持原创不易,欢迎在看、点赞、分享给身边的小伙伴,我会持续分享原创干货!!!
近期必读热门文章
- CPU 如何记录函数调用过程和返回过程
- 揭秘反射真的很耗时吗,射 10 万次耗时多久
- 你知道 Iterable 有多慢吗?试试它提升性能
- 揭秘 Kotlin 1.6.20 重磅功能 Context Receivers
知其然不知其所以然,大厂常问面试技术如何复习?
1、热门面试题及答案大全
面试前做足功夫,让你面试成功率提升一截,这里一份热门350道一线互联网常问面试题及答案助你拿offer
2、多线程、高并发、缓存入门到实战项目pdf书籍
3、文中提到面试题答案整理
4、Java核心知识面试宝典
覆盖了JVM 、JAVA集合、JAVA多线程并发、JAVA基础、Spring原理、微服务、Netty与RPC、网络、日志、Zookeeper、Kafka、RabbitMQ、Hbase、MongoDB 、Cassandra、设计模式、负载均衡、数据库、一致性算法 、JAVA算法、数据结构、算法、分布式缓存、Hadoop、Spark、Storm的大量技术点且讲解的非常深入
服务、Netty与RPC、网络、日志、Zookeeper、Kafka、RabbitMQ、Hbase、MongoDB 、Cassandra、设计模式、负载均衡、数据库、一致性算法 、JAVA算法、数据结构、算法、分布式缓存、Hadoop、Spark、Storm的大量技术点且讲解的非常深入**
[外链图片转存中…(img-QWq1GwIQ-1719164654375)]
[外链图片转存中…(img-xcgLCVzU-1719164654375)]
[外链图片转存中…(img-8abiOaRL-1719164654375)]