首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

Kotlin 泛型详解

本文只涉及 Kotlin Jvm,Kotlin Js、Kotlin Native 的具体实现可能有差异。...fun getResult(): R{        ...    } } Java/Kotlin 的泛型实现采用了类型擦除的方式,这与 C# 的实现不同,后者是真·泛型,前者是伪·泛型。...通配符 在Java 中,当我们不知道泛型具体类型的时候可以用 ?来代替具体的类型来使用,比如下面的写法: Class泛型边界 在 Java 中,我们同样可以用 extends 为泛型参数指定上限: class NumberFormatter{    ... } 这表示使用时...小结 通过上面的讨论,其实大家会发现 Kotlin 的泛型相比 Java 有了更严格的约束,更简洁的表述,更灵活的配置,但背后的思路和具体的实现总体来说是一致的。

1.2K20
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    Kotlin---泛型

    Kotlin不变型泛型 Kotlin的不变型泛型和Java一样,通过声明泛型类型来使用泛型类。而该种泛型声明后,则无法使用父类方法与属性。在编译时候,会将泛型擦除。...= null fun print() { println(a) } } 泛型的单继承关系 如果使用单继承关系的话,也和Java相同,在泛型定义时,使用继承即可 fun...toInt()) } } 泛型的多继承关系 当泛型需要使用多继承关系的话,则可以使用where子句来约束该泛型的每一个子类。...Kotlin中的协变与逆变 前人总结过使用协变与逆变的时机,即:PECS。...而逆变可以允许objList中添加B对象,则可认为此时objList是作为Consumer来消费外部传入的数据。 而在Kotlin中使用out和in来实现协变与逆变。 首先定义三个类,递增继承。

    95930

    kotlin--泛型

    kotlin作为一种高级语言,也提供了泛型,它的泛型比Java更为灵活 一、泛型类 1.定义泛型类 定义泛型类和Java差不多 class Magic(_item: T) { var subOject...1.如果想要对传递的泛型作约束,可以指定泛型的父类 //指定父类 class Magic(_item: T) { var subOject: T = _item...age}") } 4.out out修饰泛型,表示该泛型对象可以赋值给父类 class Product(val product: T) { fun getItem(...传入的是Boy的父类Man man.cousume(Man("danny", 15)) } 结果: com.aruba.mykotlinapplication.Man@3cd1a2f1 而Java中泛型只能使用对应的泛型...,没有继承关系 6.reified kotlin也不允许对泛型作类型检查,当我们想要知道泛型参数具体是哪个类型时,可以使用reified关键字修饰 reified必须和inline配合使用,原因是编译的时候

    32710

    【Kotlin】泛型 ① ( 泛型类 | 泛型参数 | 泛型函数 | 多泛型参数 | 泛型类型约束 )

    文章目录 一、泛型类 二、泛型参数 三、泛型函数 四、多泛型参数 五、泛型类型约束 一、泛型类 ---- 定义一个 泛型类 , 将 泛型参数 T 放在 尖括号 中 , 该泛型参数放在 类名后...下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T 类型的成员属性 ; class Student...---- 泛型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 的 参数返回值 都是泛型 的话 , 在该泛型函数 中可能需要使用多个泛型 , 使用不同的字母表示不同的泛型 ; 如果函数中 引入了新的泛型类型...中 泛型 R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 :...return action(item) } 在 尖括号 中声明 泛型参数 时 , 可以指定 泛型类型 的 约束 , 如 泛型类型 必须是某个类型的子类 ; 在下面的代码中

    2.9K10

    Kotlin 泛型:基本使用

    在 Kotlin 中声明和使用泛型类、泛型函数的基本概念和 Java 相似,有 Java 泛型概念的情况下,不用详细解释或者做进一步了解,也能够很容易地上手使用泛型。...但使用泛型仅仅是第一步,要想将泛型应用好,仍然需要做进一步深入的学习。本篇是 Kotlin 泛型的基础介绍,进阶内容可点击链接查看。...Kotlin 泛型:基本使用Kotlin 泛型:类型参数约束系列持续更新中,欢迎关注订阅。为什么需要泛型假如我们想实现自定义的列表类型,用于存放数值、字符串或其他具体的类型。...如果没有泛型,我们只能针对每种具体的类型,分别定义对应的列表,这种方式只能针对有限的具体类型进行实现、不同具体类型的列表实际上具有相似的实现,这些代码只能在不同列表间拷贝重复,无法复用,难以维护。...下一篇文章,将介绍 Kotlin 泛型的进阶知识:类型参数约束

    1.8K30

    Kotlin | 9. 泛型

    和Java一样,Kotlin的泛型在运行时也被擦除了。...* Kotlin中的 MutableList 和 Java中的 MutableList 是一个意思。...会提示报错 // println(Validators[String::class].validate(42)) 总结 Kotlin 的泛型和 Java 相当接近:它们使用同样的方式声明泛型函数和泛型类...变型是一种说明两种拥有相同基础类型和不同类型参数的泛型类型之间子类型化关系的方式,它说明了如果其中一个泛型类型的类型参数是另一个的类型参数的子类型 这个泛型类型就是另外一个泛型类型的子类型或者超类型。...在Kotlin 中既可以为整个泛型类指定变型(声明点变型),也可以为泛型类型特定的使用指定变型(使用点变型)。 当确切的类型实参是未知的或者不重要的时候,可以使用星号投影语法。

    1.8K10

    Kotlin泛型的型变之路

    kotlin修炼指南7之泛型 泛型,是为了让「类」、「接口」、「方法」具有更加通用的使用范围而诞生的,举个例子,假如我们不使用泛型,那么一个List中可以装得下任何对象,这么做的问题就在于,在使用时,需要对类型进行检查...在学习了Java泛型之后,我们再来看下Kotlin的泛型,这时候你再看,就没那么复杂了,核心就两条。 使用关键字 out 来支持协变,等同于 Java 中的上界通配符 ?...支持协变的List 在Kotlin中,有两种List,一种是可变的,一种是不可变的,即MutableList和List,其中List的申明如下,它已经实现的协变,所以Kotlin中的List只能读而不能写...通过对获取的genericType来判断是否实现ParameterizedType接口,是说明支持泛型,从而获取出对应的泛型列表(因为泛型可能有多个)。...❞ PESC PESC是泛型型变中的一个指导性原则,意为「Producer Extend Consumer Super」,当然在Kotlin中,这句话要改为「Consumer in, Producer

    1.2K21

    kotlin入门之泛型

    【码上开学】Kotlin 的泛型 在学习kotlin 泛型之前我们先来回顾一下关于Java的泛型基础吧。 说道泛型,我们可能最常用的就是在三大集合中去使用。...Java的泛型类型会在编译时发生类型擦除,为了保证类型安全,不允许这样赋值、 至于什么是类型擦除,等下再讲。 在实际使用中,我们的确会用这种类似的需求,需要实现上面这种赋值。...说完了Java的泛型之后,我们在回头看一下kotlin中的泛型。 kotlin 中的out和in kotlin和java泛型一样,kotlin中的泛型本身也是不可变的。...HashMap>(),注意:此处的List,实际是value的泛型参数 泛型的概念 1.泛型是一种类型层面的抽象 2.泛型通过泛型参数实现构造更加通用的类型能力...伪泛型:编译时擦除类型,运行时无实际类型生成 例如:java、kotlin 真泛型:编译时生成真实类型,运行时也存在该类 例如:C#、C++ 我们知道JVM上的泛型,一般是通过类型擦除来实现的

    1.2K20

    Kotlin基础之泛型

    上面的代码可以简化为: val box = Box(1) 型变 Java类型系统中最复杂的其中一个部分就是通配符类型(Java泛型FAQ)。...首先,Java中泛型为不可变类型,意味List不是List的子类型。为什么这样?如果List为可变量,List不会比Java的数组更好,并且下面的代码能够成功编译,但在运行时会引起异常。...此时安全地定义投影的泛型,每个泛型的具体实例都是泛型的子类型。 为此,Kotlin提供称为星号投影的语法。 对于Foo,T为带有上界TUpper的协变量,Foo等价于Foo。...val l = SingletonList(1) 泛型约束 所有可以被指定类型参数替代的类型,都可以使用泛型约束进行限制。...Cloneable { return list.filter{it -> threshold }.map { it.clone()} } 附:里氏替换原则协变与逆变泛型中的协变和逆变

    98870

    Kotlin 泛型之类型擦除

    Java 泛型的优点包括: 类型安全 消除强制类型转换 避免了不必要的装箱、拆箱操作,提高程序性能 提高代码的重用性 下面,以我的缓存框架 RxCache 中 Memory 接口为例: package...Kotlin 泛型 Kotlin 基于 Java 6,因此 Kotlin 天生支持泛型。但是 Kotlin 的泛型有自己的特点。...因为,Java 数组是协变的,所以 Java 数组不支持泛型。 协变是在计算机科学中,描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父/子型别关系的用语。 四....Kotlin 如何获得声明的泛型类型 跟 Java 一样,Kotlin 也是通过类型擦除支持泛型。 但是 Kotlin 的数组支持泛型,因此它们并不会协变。...Kotlin 的泛型远不止这些,后续的文章会进一步介绍泛型的协变和逆变。

    1.7K30

    Kotlin 泛型:类型参数约束

    上一篇文章讲了 Kotlin 泛型:基本使用,接下来我们再进一步了解泛型使用相关的进阶知识。本篇是 Kotlin 泛型类型参数约束的讲解,更多内容可点击链接查看。...Kotlin 泛型:基本使用Kotlin 泛型:类型参数约束系列持续更新中,欢迎关注订阅。...利用范型约束实现非空范型Kotlin 有一个为人称道的特性:不可空。但当我们使用范型时,这个特性在不幸的失效了。...(null) // 使用可空类型实参 val nonNullableBox = Box(Any)(Any()) // 使用非空类型实参}在上面这个例子里,通过使用「可空的类型实参」,Box中的泛型属性也同样变得可空...,这使得泛型类在具体实现的时候,需要考虑参数为空的情况,也让编写代码的具体实现变得复杂。

    2.3K31

    Kotlin学习笔记(七)-泛型

    前言 这节我们说下Kotlin的泛型。...本篇还是和反射一样,从实际代码编写角度,说下Kotlin的泛型 逆变与协变 泛型的逆变与协变其其在Java中也有。简单概括来说就是实现了泛型的协变,实现了泛型的逆变。具体的这两种有什么特性可以看开头两篇文章。...Kotlin中的协变与逆变 泛型参数即可作为传入的参数,也可以作为返回值,但被in和out关键字修饰后就不一样了 out 叫协变 只能作为返回值读取 不能写入和修改(Kotlin的list中只有get方法...没有add) in 叫逆变 只能写入不能读取 只能作为参数传入 (Kotlin中的Comparable只能传入参数) 不变 既没有in也没有out就叫做不变 如MutableList(相当于java中的

    66220

    Kotlin 进阶 泛型知识详解

    前言 详细介绍Kotlin中关于泛型的知识。方便我们理解泛型在Kotlin中的使用。 如果对于泛型知识不太了解,也可以通过本篇文章了解泛型到底是什么,并且对我们开发到底有什么作用。...介绍 什么是泛型?我们如果定义类和接口等,针对传入的数据不确定类型的。统一叫做泛型,通过泛型来实现数据类型的动态化。 使用泛型可以最大限度的重用代码,并且保护数据类型的安全以及提高性能。...我们可以在函数声明,属性声明,类声明和接口声明中使用泛型。下面也从这四个维度进行介绍泛型在Kotlin中的使用。 1.声明泛型函数 例如,我们声明一个比较函数。...在Kotlin中的泛型定义和java中其实很类似。都是使用来进行标注。 小知识:泛型并不是必须用T字母来代替。...我们默认没有定义泛型类型其实就是省略了:Any类型而已。 2. 声明泛型属性 我们在上面的示例中了解了泛型的定义,在函数中的使用。下面我们介绍在类属性中的泛型声明和使用。

    26730

    Android面试题之Java 泛型和Kotlin泛型

    ,调用的时候会进行类型的强转,转为T的限制类型 泛型擦除后,字节码中没有泛型信息了,但是类的常量池里保留了泛型信息。...泛型信息String不存在了 泛型在静态方法和静态类中的问题 因为泛型类中的泛型参数的实例化是在定义泛型类型对象时候指定的,而静态成员是不需要使用对象来调用的,所有对象都没创建,无法确定泛型参数; 静态方法中是可以的...,因为调用的时候可以确定参数中的泛型类型 泛型类型中的方法冲突 因为擦除后2个equales方法变成一样的了,参数都会变成object @Override public boolean equals(Object...Java泛型是JDK5新引入的特性,为了向下兼容,虚拟机其实不支持泛型,所以Java实现的是伪泛型机制,也就是说Java在编译期擦除了所有的泛型信息,这样Java就不需要产生新的类型到字节码,所有的泛型类型最终都是一种原始类型...在必要时插入类型转换以保持类型安全 生成桥方法以在扩展时保持多态性 Kotlin泛型 Kotlin的泛型可以看文章:Android面试题之Kotlin泛型和reified关键字 END 点亮【赞和在看】

    7510

    【Kotlin】泛型总结 ★ ( 泛型类 | 泛型参数 | 泛型函数 | 多泛型参数 | 泛型类型约束 | 可变参数结合泛型 | out 协变 | in 逆变 | reified 检查泛型参数类型 )

    都使用 T 来表示泛型 ; 代码示例 : 下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T...return action(item) } 在 尖括号 中声明 泛型参数 时 , 可以指定 泛型类型 的 约束 , 如 泛型类型 必须是某个类型的子类 ; 在下面的代码中...FastFood 是 Food 的子类 , 在 Kotlin 中 , 可以将 Producer 类型赋值给 Producer 类型 , 在 Java 中这种用法不行 ;...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现..., 通过 反射 可以实现 ; Java 泛型类对象.javaClass.name == "要判断的类的全类名" 在 函数 中 使用 reified 关键字 , 需要在 尖括号 中 泛型类型 之前

    4.1K10

    Android经典实战之用Kotlin泛型实现键值对缓存

    Kotlin 中的泛型是一种允许类型参数化的特性。它可以增强代码的重用性、类型安全性和可读性。在实际编写代码时,通过泛型,你可以编写更为通用的类和方法,而不必具体针对某种特定类型。...基本语法 在 Kotlin 中,使用尖括号 来定义泛型。...这可以通过泛型约束实现: fun > sort(list: List) { // sort implementation } 在这个例子中,类型参数...型变(Variance) Kotlin 中的型变分为协变(Covariance)和逆变(Contravariance)。协变允许子类型替换父类型,而逆变则相反。...以下是一个实际示例,展示如何在 Kotlin 中使用泛型构建一个通用的数据缓存系统: class Cache { private val map = mutableMapOf<K,

    10010

    Go泛型实战 | 如何在结构体中使用泛型

    上一篇文章给大家介绍了Go泛型的三步曲。今天给大家分享一篇在结构体中使用泛型的具体示例。 01 目标 假设我们要实现一个blog系统,我们有两个结构体:分类和文章。...为了提高系统的性能,我们需要实现一个缓存系统,该缓存可以用于缓存该系统中的分类和文章。...根据Go泛型使用的三步曲:类型参数化、定义类型约束、类型实例化,我们一步步来定义我们的泛型缓存结构体。...因为在泛型中对类型参数进行约束是必要条件。所以要先定义类型约束。 因为要对分类Category类型和文章Post类型进行缓存,所以我们这里的缓存类型约束限制在了这两个类型上。...cache,所以函数New也必须是泛型函数,只有这样才能将泛型类型T的具体值传递到泛型结构体类型中。

    3.2K20
    领券