【Java && Kotlin】泛型还有30秒达到战场，碾碎它

最新推荐文章于 2023-10-17 22:45:17 发布

ScoutZSH

最新推荐文章于 2023-10-17 22:45:17 发布

阅读量406

点赞数 1

分类专栏： Kotlin 学习总结泛型

本文链接：https://blog.csdn.net/zsh065400/article/details/76615077

版权

Kotlin 同时被 3 个专栏收录

5 篇文章 0 订阅

订阅专栏

学习总结

4 篇文章 0 订阅

订阅专栏

泛型

1 篇文章 0 订阅

订阅专栏

知道什么是绝望么，就是一遍又一遍的体会痛苦。知道什么是希望么，就是在一遍一遍的痛苦中醒来。
全军出击！

是不是看着标题挺吓唬人，其实吧，这就是一篇笔记的整理，配图都没有，纯文字，保证正确使用，后期会及时贴补一些图片的。

Java中有泛型，Kotlin也有，毕竟都是JVM平台的苗，怎能不遵守规则。有些人看到泛型挺晕乎，我也是，用了不少次泛型，始终没有一个具体的了解，这个笔记作为二次学习后的记忆加深，同时分享给有困难需要解决问题、很想了解学习泛型的同学。

不废话，直接进入正题：

JVM平台泛型特点

属于编译期泛型，也可以叫做伪泛型。在编译期间存在类型约束，而运行期间则遵循JVM的实现方式（类型擦除），将类型全部擦除为Object
泛型具有通配符，可在一定程度上保证特定环境的数据安全
型变包括点型变和声明处型变

Java && Kotlin一些特点

一.型变

Java：型变包括三种：不变、协变、逆变，如下所示：

    ArrayList<Integer> listExtends = new ArrayList<Integer>();//不变

    ArrayList<? extends Number> listExtends = new ArrayList<Integer>();//协变
    ArrayList<? super Integer> listSuper = new ArrayList<Object>();//逆变

    Java的协变使用 ? extends T 表示，协变的泛型不能存只能取。协变具有类型上界，在编译期间无法保证存入的对象能够转换成已知的上界。但取出时可明确知道所有对象均是上界的子类，可以顺利转换成上界类型。

    Java的逆变使用 ? super T 表示，逆变的泛型能存不能取。逆变具有类型下界，编译期间可以正确存入下界类型，编译器明确知道可以正确将该类型转换为其父类类型。但取出时编译器不知晓确切的存入类型，为了避免转换异常，故只能取出为Object。

    Java只支持点型变，即方法和变量中的泛型参数可以接受T或其子父类的类型

具体参见：http://www.cnblogs.com/chyu/p/4630798.html

Kotlin：型变包括三种：不变、协变、逆变，如下所示：

    Class A <T> 
    Class A <out T> 
    Class A <in T> 

    Kotlin支持的型变和Java类似，只是使用了不同的修饰符，并且相较于Java来讲，更加严格和安全。同时，对于支持协变、逆变的泛型类，Kotlin定义它们互为子父类，可以互相转换，而这在Java中是不支持的。

    Kotlin支持声明处型变和点型变，声明点型变指类、接口支持泛型T的子或父类型，点型变指的是方法和变量中的泛型参数可以接受T或其子父类的类型

Kotlin官网中文版：http://www.kotlincn.net/docs/reference/generics.html
Kotlin中文网博客：https://blog.kotliner.cn/2017/06/26/kotlin-generics/

二、Java与Kotlin泛型型变的对应关系