【Kotlin精简】第7章 泛型

这篇具有很好参考价值的文章主要介绍了【Kotlin精简】第7章 泛型。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

1 泛型

泛型即 “参数化类型”,将类型参数化,可以用在接口函数上。与 Java 一样,Kotlin 也提供泛型,为类型安全提供保证,消除类型强转的烦恼。

【Kotlin精简】第7章 泛型,Kotlin,Android,kotlin,开发语言,android

1.1 泛型优点

  1. 类型安全:通用允许仅保留单一类型的对象。泛型不允许存储其他对象。
  2. 不需要类型转换:不需要对对象进行类型转换。
  3. 编译时检查:在编译时检查泛型代码,以便在运行时避免任何问题。

1.2 泛型声明

1.2.1 泛型类

interface List<T> {
	fun get(index: Int): T
}

泛型参数可在类中当普通类型使用。

1.2.2 泛型函数

fun <T> lastElement(list: List<T>): T { ... }

在 fun 关键字后声明 泛型形参,可在参数和返回值处声明使用。高阶函数的例子:

fun <T> List<T>.filter(pridicate: (T) -> Boolean): List<T> { ... }

1.2.3 泛型属性

val <T> List<T>.last: T
      get() {
          return last()
      }

不管是泛型类泛型函数还是泛型属性,在使用之前必然已经确定了类型。如泛型类在实例化时需要指定泛型类型,泛型函数在调用时必然已推导出泛型类型,并替换为确定的类型实参,泛型属性同理。

1.3 泛型约束

泛型(类型参数)是有边界的,可以给泛型设置边界:

interface NumberList<T: Number> {
        fun get(index: Int): T
}

不指定边界,则默认上边界为 Any?。如果希望非空,需要显示指定为 <T: Any>

【Kotlin精简】第7章 泛型,Kotlin,Android,kotlin,开发语言,android

2 泛型擦除

Java 一样,Kotlin 中的类型参数也会在运行时被擦除,就是说泛型实例的类型实参在运行时是不保留的。不过 Kotlin 可以通过类型参数实化的方式保留类型信息,需要使用内联函数。

由于泛型擦除,下面的普通方法是无法编译的:

fun <T> isA(obj: Any): Boolean {
	return obj is T
}

通过内联,下面代码可以通过编译:

inline fun <reified T> isA(obj: Any): Boolean {
	return obj is T
}

注意带 reified 类型参数的内联函数不能在 Java 代码中使用,普通内联函数在 Java 中可以像常规函数一样调用,而 reified 的类型参数需要额外处理将类型实参替换到字节码,是永远需要内联的。
实化类型参数也是有限制的,具体可以做:

  1. 类型转换和检查: 如 is 、as
  2. 使用反射: T::class
  3. 获取 java class: T::class.java
  4. 作为调用其他函数类型的实参。

3 变型

变型描述的是具有相同基础类型不同类型参数的泛型类型之间的关系。这种关系可以是 协变的逆变的

先说说不变型,一个泛型类如 MutableList ,对任意两种类型实参 ABMutableList<A> 既不是 MutableList<B> 的子类型也不是它的超类型,则称 该类在该类型参数上是不变型的。Java 中的泛型类对所有类型参数都是不变型的。比如 Java 中你不能把一个 List<Ingeter> 实例传给形参是 List<Number> 的函数,即使 IntegerNumber 的子类。

前面说的子父类型关系类似于类的子父类关系,比如 AB 的子类,那么 AB 的子类型,任一非空类型是其可空类型的子类型,比如 PersonPerson? 的子类型,下面会说到 Kotlin 中借助协变使得 List<Int> 能够成为 List<Number> 的子类型,注意区分 子类子类型

Kotlin 中,比如上面自定义的 List 接口,也是不变型的,List<Int> 并不是 List<Number> 的子类型,因此你不能把一个 List<Int> 实例传给形参是 List<Number> 的函数。

注意 Kotlin 标准库中的 List 接口是可以的,因为是协变的,别和这里自定义的 List 搞混了

3.1 Out (协变)

对于 out 泛型,我们能够将使用子类泛型的对象赋值给使用父类泛型的对象。如果将上面的 List 接口定义改为:

interface List<out T> {
	fun get(index: Int): T
}

则称该 List 接口是协变的,如果基础类型间有子类型关系,则泛型类也具有相同的子类型关系。如 IntNumber 的子类型,则 上面定义的 List<Int> 也是List<Number> 的子类型。这样就可以将 一个 List<Int> 实例传给形参是 List<Number> 的函数了,简单来说协变——父类引用指向子类

当然,out 也不可以滥用 ,因为不安全,比如将一个 List<Int> 实例传入形参是 List<Any> 的函数,该函数像实例中添加 Any 类型的数据显然是错误的:

fun addMore(list: List<Any>) {
	list.add("abc")
}
addMore(listOf(1, 2, 3))

为了防止这种风险,如果类在该类型参数上是协变的,那么该类型参数只能出现在返回值位置,我们称之为 out 位置,即该泛型参数只读,编译器也会做这种检查。Kotlin 中的 List 接口就是协变的。集合可读、不可写,集合泛型协变。

3.2 In (逆变)

和协变相反,对于 in 泛型,我们可以将使用父类泛型的对象赋值给使用子类泛型的对象。如果一个泛型类 MyClass 是逆变的,则对于 有子类型关系的 A B(A是B的子类型),则 MyClass<A>MyClass<B> 的超类型。逆变——子类引用指向父类

【Kotlin精简】第7章 泛型,Kotlin,Android,kotlin,开发语言,android

例如 Comparable 接口:

public interface Comparable<in T> {
	public operator fun compareTo(other: T): Int
}

那么,Comparable<Any>Comparable<Int> 的子类型。可以尝试理解成“能对 Any 类型进行比较”的比较器也能比较 Int 类型“。

类似的,这里的泛型参数只能出现在函数参数位置,我们称之为 in 位置。集合可读 Any 、可写,集合泛型逆变。

3.3 声明点变型

即声明泛型的地方产生变型。前面说的变型是针对类的所有实例的。而声明点变型则可以只针对某一实例变型。如:

val list: MutableList<out Int> = MutableList()
list.add(1,2) //报错

上面代码会将 list 变为只读的。

Java 中,没有类的变型声明,只通过声明点产生型变,如:

public interface Stream<T> {
	 <R> Stream<R> map(Function<? super T, ? extends R> mapper);
}

Kotlin 不同的是,Java 通过 ? super T 产生逆变? extends R 产生协变

3.4 星号投影

List<*> 对应与 Java 中的 List<?>, 表示不确定的任意类型类型实参。可能是 Int,可能是Any,是确定的某种类型,但对使用者是未知的,因而不能生产该值,只能访问,当作 Any? 访问。注意和 List<Any?> 作区分。文章来源地址https://www.toymoban.com/news/detail-743537.html

4 小结

  1. Kotlin 的泛型概念和声明和 Java 相当接近。
  2. Kotlin 的类型实参和 Java 一样会在运行期擦除。
  3. Kotlin 可以通过类型参数实化保留运行时类型实参,需要借助内联函数。
  4. 变型指的是具有相同基础类型和不同类型参数的泛型类型间的子类型关系。他指出了如果一个泛型类型的类型参数是另一个泛型类型类型参数的子类型,那么这个泛型类就是另一个泛型类的子类型或超类型。
  5. 如果某个类在一个类型参数上声明成协变的,那么该类型参数只能出现在 out 位置上。逆变相反。Java 的泛型类都是不变型的。
  6. 声明点泛型只在声明处产生变型,Java 的变型都是该方式。Kotlin 既可以使用声明点变型,也可以在整个泛型类上声明变型。
  7. 如果确切的类型实参是未知的或不重要的时候,可以使用星号投影

到了这里,关于【Kotlin精简】第7章 泛型的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • Android开发知识学习——Kotlin进阶

    申明前缀有construct修饰 如果有一个主构造函数,每个次构造函数需要委托给主构造函数,可以直接委托或者通过别的构造函数 主构造函数:是类头的一部分,跟在类名后面(可带参数),没有任何注解和可见性修饰符。如: 主构造函数中没有任何代码,初始化代码放在关键

    2024年02月06日
    浏览(58)
  • 拥抱创新:用Kotlin开发高效Android应用

    在当今数字时代,移动应用已经成为人们生活中不可或缺的一部分。无论是社交媒体、电子商务还是健康管理,移动应用已经深刻地影响了我们的生活方式。随着移动设备的普及和功能的增强,Android平台作为最大的移动操作系统之一,扮演着举足轻重的角色。然而,随着用户

    2024年02月14日
    浏览(47)
  • Android开发中,JDK版本,Gradle版本,Kotlin插件与Kotlin版本等各自对应关系

    一、Gradle版本和Java版本对应关系 二、Gradle版本和Kotlin版本对应关系 三、Gradle版本和Gradle插件版本匹配关系 可以在Android Studio的 File Project Structure Project 菜单中指定插件版本,也可以在顶级 build.gradle 文件中进行修改

    2024年03月15日
    浏览(66)
  • Android开发:基于Kotlin编写一个简易计算器

    本着程序员“拥抱变化”的思想,最近开始学Kotlin了。感觉还是得通过实战来入门一门新语言,所以打算写一个基于Kotlin语言的计算器,本文对开发过程以及学习Kotlin的一些知识进行了记录。 计算器的全部源码已经放到了我的Github中,需要的伙伴自取:Calculator Kotlin中文站:

    2023年04月27日
    浏览(59)
  • Android java项目添加kotlin混合开发环境配置

    Android Studio java代码中添加kotlin混合开发 1.项目的build.gradle中添加kotlin-gradle-plugin buildscript {     repositories {         google()         jcenter()              }     dependencies {         classpath \\\'com.android.tools.build:gradle:7.3.1\\\'         classpath \\\"org.jetbrains.kotlin:kotlin-gradle-plugin:1.7.20\\\"

    2023年04月19日
    浏览(45)
  • 10个用于Android开发的有用的Kotlin库及示例

    在Android开发领域,Kotlin已成为一门领先的语言,带来了现代语法和功能的浪潮。随着Kotlin的崛起,涌现出了许多专为其定制的库,进一步增强了开发体验。本文将深入介绍其中的10个库,并为每个库提供简要概述和实际示例。 一个用于异步编程的Kotlin原生方法。 示例: 一个

    2024年01月18日
    浏览(37)
  • 颠覆Android开发行业未来,让Kotlin成为您的新宠

    看看这位老哥的回答: kotlin语言有前景吗? 看看在职高级开发怎么说的: Kotlin是一种基于Java虚拟机(JVM)的静态类型编程语言,可以与Java代码互相调用、混合使用。Kotlin受到了许多现代编程语言的影响,如Swift、Scala、Groovy和C#,它被认为是一种功能强大、直观易用、安全

    2024年02月02日
    浏览(49)
  • Kotlin DSL教程:使用DSL构建HTML | Android开发

    本文详细介绍了如何在Android开发中使用Kotlin DSL(领域特定语言)构建HTML。包括定义接口,实现父类和子元素,以及实际使用示例。

    2024年02月07日
    浏览(46)
  • android studio创建一个新的项目为什么默认是kotlin语言而选择不了java语言

    关于android studio语言选择的问题。 我在进入android studio为什么创建一个新项目之后选择不了java语言有什么办法可以解决。 解决办法:这个模式下选着一个Empty Activity模块就可以使用java语言。 这对于刚刚接触anaroid studio新手比较管用。  

    2024年02月11日
    浏览(56)
  • android计算器界面布局线性布局跨2行,使用Kotlin高效地开发Android App(一,GitHub标星3.2K

    get(url).placeholder(R.drawable.shape_default_round_bg) .error(R.drawable.shape_default_round_bg) // .apply(RequestOptions.bitmapTransform(RoundedCornersTransformation(DisplayUtil.dp2px(context, 6f), 0))) .transform(RoundedCornersTransformation(DisplayUtil.dp2px(context, 6f), 0)) .into(this) } /** 占位符圆形 */ fun ImageView.loadCircle(url: Drawable) {

    2024年04月11日
    浏览(47)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包