【Kotlin学习】泛型——泛型类型参数、擦除和实化类型参数

最新推荐文章于 2024-08-01 12:08:26 发布
原创 最新推荐文章于 2024-08-01 12:08:26 发布 · 1.5k 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#学习 #android #kotlin

本文详细介绍了Kotlin中的泛型类型参数，包括它们如何在编译时帮助类型安全，以及如何在函数和类中声明和使用。泛型函数和属性允许编写通用代码，而类型参数约束确保了类型兼容性。此外，讨论了类型参数的擦除以及实化类型参数的概念，实化类型参数仅在内联函数中可用，允许在运行时检查类型。最后，展示了实化类型参数在类型检查、反射和Java API适配中的应用，并明确了其使用限制。

泛型类型参数

泛型允许你定义带类型形参的类型，当这种类型的实例被创建出来的时候，类型形参被替换成称为类型实参的具体类型。比如有一个list类型的变量，弄清它能存储哪种事物是很有意义的。类型形参可以准确地进行描述，和一般类型一样，kotlin编译器也能推导出类型实参

在这里插入图片描述

因为传给listOf的值是字符串，编译器推导出你在创建一个List<String>。若你想创建一个空列表，此时编译器无法推导，所以要显式声明类型。就创建列表来说，可以选择在变量声明中说明泛型的类型，也可以在创建列表的函数中说明类型实参

在这里插入图片描述

泛型函数和属性

若希望一个使用列表的函数在任何列表上都能使用，需要编写一个泛型函数，泛型函数有它自己的类型实参，这些类型实参在每次函数调用时都必须替换成具体的类型实参

在这里插入图片描述

第一个<T>是类型形参，第二个<T>是接收者的类型形参，第三个<T>是返回类型的类型形参。当你在一个具体的列表上调用这个函数时可以显式指定类型实参，但大部分情况编译器会帮你推导出来

最低0.47元/天 解锁文章
Kotlin 2.1.0 入门教程（二十五）类型擦除
qq_19661207的博客
02-23 1197
Kotlin 2.1.0 入门教程（二十五）。
【Kotlin精简】第7章 泛型
Yvan
11-05 701
泛型即 “参数化类型”，将类型参数化，可以用在类接口函数上。与Java一样，Kotlin也提供泛型，为提供保证，的烦恼。
Kotlin 泛型之类型擦除
qianfeng_dashuju的博客
07-12 846
　　一. Java 泛型的优点 　　泛型是 Java 5 的重要特性之一。泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。 　　Java 泛型的优点包括： 　　类型安全 　　消除强制类型转换 　　避免了不必要的装箱、拆箱操作，提高程序性能 　　提高代码的重用性下面，以我的缓存框架RxCac...
（十一）kotlin泛型
一颗西瓜的博客
02-27 259
Kotlin 泛型泛型，即 "参数化类型"，将类型参数化，可以用在类，接口，方法上。与 Java 一样，Kotlin 也提供泛型，为类型安全提供保证，消除类型强转的烦恼。声明一个泛型类:class Box&lt;T&gt;(t: T) { var value = t }创建类的实例时我们需要指定类型参数:val box: Box&lt;Int&gt; = Box&lt;Int&gt;(1)...
Kotlin的泛型：泛型类型参数
okclouderx的博客
02-15 5015
Kotlin 的泛型是指带类型形参的类型。当泛型的实例被创建时，类型形参被替换为具体类型。 ​ 以 Kotlin 的 list 方法为例，当创建一个字符串列表时，类型形参 T 被替换为具体类型 String。 val strList: List<String> public inline fun <T> List(size: Int, init: (index: Int) -> T): List<T> = MutableList(size, init) 除了 L
Kotlin类型投影与泛型擦除的3种创新解决方案解析
尽管JVM仍执行类型擦除，但Kotlin通过内联类（inline class）、reified type parameters（具体化类型参数）配合`inline`函数，能够在特定作用域内“恢复”部分泛型信息。例如，在高阶函数中使用`reified`关键字后，...
Kotlin类型投影实战：解决泛型擦除的3种方案
文档以“类型投影”为核心切入点，围绕如何在实际开发中应对Java虚拟机层面的泛型类型擦除所带来的类型安全性缺失、多态性受限等问题，提出了三种切实可行且具有创新性的解决方案，尤其聚焦于星号投影（*）、协变...
Kotlin类型投影解决泛型擦除的JVM字节码修复实战
资源摘要信息:"Kotlin类型投影实战：泛型类型擦除的JVM字节码修复"是一份系统深入探讨Kotlin语言中泛型机制核心问题的专业技术文档，聚焦于“类型擦除”这一JVM平台固有的限制及其在Kotlin中的应对策略——类型投影...
Kotlin泛型-类型擦除、泛型实化
qq_37159335的博客
01-12 3192
Kotlin泛型-类型擦除、reified关键字
Kotlin 语言学习(12) - 泛型类型参数
蒙的博客
04-26 744
一、本文概要 二、泛型类型参数 泛型允许你定义带 类型形参 的类型，当这种类型的实例被创建出来的时候，类型形参被替换成为 类型实参 的具体类型。 和Java不同，Kotlin始终要求类型实参要么被显示地说明，要么能被编译器推导出来。例如，在Java中可以声明List类型的变量，而不需要说明它可以包含哪些事物，而Kotlin从一开始就有泛型，所以它不支持原生态类型，类型实参必须定义。 ...
Kotlin的泛型：类型擦除与实化
okclouderx的博客
02-22 2034
JVM 的泛型一般是通过类型擦除实现的，就是说泛型的类型实参在运行时不保留。 ​ 和 Java 一样，Kotlin 的泛型在运行时也被擦除了，但是 Kotlin 可以通过将函数声明为 inline 来解决这个问题。Kotlin 可以声明一个 inline 函数，使用实化 reified 使其类型实参不被擦除。 类型检查与转换 在运行时，List 的类型实参 String 被擦除了，只能知道它是一个 List，不能知道它是否声明为一个字符串列表。 ​ list1 和 list2 在运行时每个都是 List，不
kotlin 泛型解决擦除_解决Kotlin的约瑟夫斯问题
dlz00001的博客
07-08 787
kotlin 泛型解决擦除 我最近偶然发现了一个帖子讲述的约瑟夫问题 ，并试图解决它在不同的脚本语言。 为了简洁起见，这是问题所在（摘自引用的帖子）： Flavius Josephus是犹太裔的罗马历史学家。 在公元一世纪的犹太罗马战争期间，他与同伴士兵（共40名士兵）一起在一个山洞里，被敌方罗马军队包围。 他们决定自杀成环，并指望每三个男人自杀。 每个这样指定的人都会自杀...约瑟夫斯不想...
Kotlin泛型-运行时候的类型擦除和使用inline具像化泛型
m0_59162559的博客
07-28 231
如果想要成为架构师或想突破20~30K薪资范畴，那就不要局限在编码，业务，要会选型、扩展，提升编程思维。此外，良好的职业规划也很重要，学习的习惯很重要，但是最重要的还是要能持之以恒，任何不能坚持落实的计划都是空谈。如果你没有方向，这里给大家分享一套由阿里高级架构师编写的《Android八大模块进阶笔记》，帮大家将杂乱、零散、碎片化的知识进行体系化的整理，让大家系统而高效地掌握Android开发的各个知识点。
Kotlin 知识梳理(12) 泛型类型参数
weixin_34413802的博客
12-21 236
一、本文概要 本文是对&lt;&lt;Kotlin in Action&gt;&gt;的学习笔记，如果需要运行相应的代码可以访问在线环境 try.kotlinlang.org，这部分的思维导图为： 二、泛型类型参数 泛型允许你定义带 类型形参 的类型，当这种类型的实例被创建出来的时候，类型形参被替换成为 类型实参 的具体类型。 和Java不同，Kotlin始终要求类型实参要么被显示地说明，要么能...
Java和kotlin泛型的类型擦除和使用限制
最新发布
micro9981的专栏
08-01 1344
Kotlin 的泛型在编译时同样会经历类型擦除，与 Java 一致。不过，通过reified关键字，Kotlin 提供了一种在某些情况下保留泛型类型信息的方式，使得在运行时获取泛型类型成为可能。这使得 Kotlin 在泛型使用上比 Java 更灵活。我有多年软件开发经验，精通嵌入式STM32，RTOS，Linux，Ubuntu, Android AOSP, Android APP, Java , Kotlin , C, C++, Python , QT。
【Kotlin】泛型 ① ( 泛型类 | 泛型参数 | 泛型函数 | 多泛型参数 | 泛型类型约束 )
让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )
01-23 1668
一、泛型类、 二、泛型参数、 三、泛型函数、 四、多泛型参数、 五、泛型类型约束
kotlin 泛型实化
爱孔孟
04-06 449
https://www.kotlincn.net/docs/reference/inline-functions.html#%E5%85%B7%E4%BD%93%E5%8C%96%E7%9A%84%E7%B1%BB%E5%9E%8B%E5%8F%82%E6%95%B0 内联函数支持具体化的类型参数 inline fun <reified T> TreeNode.findParentOfType(): T? { var p = parent while (p != null &am
【Kotlin】泛型总结 ★ ( 泛型类 | 泛型参数 | 泛型函数 | 多泛型参数 | 泛型类型约束 | 可变参数结合泛型 | out 协变 | in 逆变 | reified 检查泛型参数类型 )
让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )
02-01 1020
一、泛型类、 二、泛型参数、 三、泛型函数、 四、多泛型参数、 五、泛型类型约束、 六、可变参数 vararg 关键字与泛型结合使用、 七、使用 [] 运算符获取指定可变参数对象、 八、泛型 out 协变、 九、泛型 in 逆变、 十、泛型 invariant 不变、 十一、泛型逆变协变代码示例、 十二、使用 reified 关键字检查泛型参数类型
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值