kotlin修炼指南7之泛型 泛型，是为了让「类」、「接口」、「方法」具有更加通用的使用范围而诞生的，举个例子，假如我们不使用泛型，那么一个List中可以装得下任何对象，这么做的问题就在于，在使用时，需要对类型进行检查...❝正是由于泛型擦除的问题，你甚至可以通过反射绕开泛型的限制，传递一个非当前泛型限制的对象。...在学习了Java泛型之后，我们再来看下Kotlin的泛型，这时候你再看，就没那么复杂了，核心就两条。 使用关键字 out 来支持协变，等同于 Java 中的上界通配符 ?...if (item is T) { println(item) } 为了解决这个问题，在Java或者Kotlin中，我们通常会多传入一个Class类型的参数，然后通过Class.isInstance...类型，我们也可以在运行时获取泛型类型，这个方法是Java和Kotlin都支持的，这个在前面的文章中也提到了。
我最早听到这个问题的时候，反应比较懵逼，因为我居然没有感觉到 Kotlin 的反射、泛型特别是注解有专门学习的必要，因为他们跟 Java 实在是太像了。...所以我想说的是，泛型这东西，只要你对 Java 泛型有一定的认识，Kotlin 的泛型基本可以直接用。那我们这篇文章要干嘛呢？只是做一个简单的介绍啦，都很好理解的。 1....fun getResult(): R{ ... } } Java/Kotlin 的泛型实现采用了类型擦除的方式，这与 C# 的实现不同，后者是真·泛型，前者是伪·泛型。...通配符 在Java 中，当我们不知道泛型具体类型的时候可以用 ？来代替具体的类型来使用，比如下面的写法： Class<?...(); list = integers; 但 Kotlin 中，单纯的 ArrayList<Any?
泛型基础 在了解Kotlin的泛型之前，先来看看Java中的泛型： 举个栗子：在JDK中，有一类列表对象，这些对象对应的类都实现了List接口。...，不过在Kotlin泛型中，没有通配符。...为了解决这个问题，Java泛型提供了问号（？）通配符来解决这个问题。例如Collection接口中的addAll方法定义如下： boolean addAll(CollectionKotlin中 Kotlin泛型并没有提供通配符，取而代之的是out和in关键字。用out声明的泛型占位符只能在获取泛型类型值得地方，如函数的返回值。...小结 Kotlin泛型是在Java泛型的基础上进行了改进，变得更好用，更安全，尽管上述的泛型技术不一定都用得上，但对于全面了解Kotlin泛型会起到很大作用。
Kotlin不变型泛型 Kotlin的不变型泛型和Java一样，通过声明泛型类型来使用泛型类。而该种泛型声明后，则无法使用父类方法与属性。在编译时候，会将泛型擦除。...toInt()) } } 泛型的多继承关系 当泛型需要使用多继承关系的话，则可以使用where子句来约束该泛型的每一个子类。...即将来临的问题的原因就在这里。Java 禁止这样！ objs.add(1); // 这里我们把一个整数放入一个字符串列表 String s = strs.get(0); // ！！！...的泛型是不变型的，也就是定义的泛型是Object就必须是Object，而不能是它的子类。...Kotlin中的协变与逆变 前人总结过使用协变与逆变的时机，即：PECS。
kotlin作为一种高级语言，也提供了泛型，它的泛型比Java更为灵活 一、泛型类 1.定义泛型类 定义泛型类和Java差不多 class Magic(_item: T) { var subOject...val magic = Magic(Boy("danny", 15)) magic.available = true println(magic.getItem()) } 2.多个泛型参数的函数...1.如果想要对传递的泛型作约束，可以指定泛型的父类 //指定父类 class Magic(_item: T) { var subOject: T = _item...： com.aruba.mykotlinapplication.Man@3cd1a2f1 而Java中泛型只能使用对应的泛型，没有继承关系 6.reified kotlin也不允许对泛型作类型检查，当我们想要知道泛型参数具体是哪个类型时...，可以使用reified关键字修饰 reified必须和inline配合使用，原因是编译的时候，编译器就需要知道我们传入的类型，只不过代码写成了泛型而已 class Magic { inline
下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T 类型的成员属性 ; class Student...---- 泛型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 的 参数返回值 都是泛型 的话 , 在该泛型函数 中可能需要使用多个泛型 , 使用不同的字母表示不同的泛型 ; 如果函数中 引入了新的泛型类型..., 泛型 T 的实际类型是 String 类型 , 在 logT 中 泛型 R 的类型是 Double 类型 ; student2 实例对象中 , 泛型 T 的实际类型是 Int 类型 , 在 logT...中 泛型 R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 :...return action(item) } 在 尖括号 中声明 泛型参数 时 , 可以指定 泛型类型 的 约束 , 如 泛型类型 必须是某个类型的子类 ; 在下面的代码中
和Java一样，Kotlin的泛型在运行时也被擦除了。...* Kotlin中的 MutableList 和 Java中的 MutableList 是一个意思。...会提示报错 // println(Validators[String::class].validate(42)) 总结 Kotlin 的泛型和 Java 相当接近：它们使用同样的方式声明泛型函数和泛型类...变型是一种说明两种拥有相同基础类型和不同类型参数的泛型类型之间子类型化关系的方式，它说明了如果其中一个泛型类型的类型参数是另一个的类型参数的子类型 这个泛型类型就是另外一个泛型类型的子类型或者超类型。...在Kotlin 中既可以为整个泛型类指定变型（声明点变型），也可以为泛型类型特定的使用指定变型（使用点变型）。 当确切的类型实参是未知的或者不重要的时候，可以使用星号投影语法。
在 Kotlin 中声明和使用泛型类、泛型函数的基本概念和 Java 相似，有 Java 泛型概念的情况下，不用详细解释或者做进一步了解，也能够很容易地上手使用泛型。...但使用泛型仅仅是第一步，要想将泛型应用好，仍然需要做进一步深入的学习。本篇是 Kotlin 泛型的基础介绍，进阶内容可点击链接查看。...Kotlin 泛型：基本使用Kotlin 泛型：类型参数约束系列持续更新中，欢迎关注订阅。为什么需要泛型假如我们想实现自定义的列表类型，用于存放数值、字符串或其他具体的类型。...这个方法虽然能解决上述问题，但它带来了其他的问题。...下一篇文章，将介绍 Kotlin 泛型的进阶知识：类型参数约束
【码上开学】Kotlin 的泛型 在学习kotlin 泛型之前我们先来回顾一下关于Java的泛型基础吧。 说道泛型，我们可能最常用的就是在三大集合中去使用。...Java也已经想到了，所以为我们提供了泛型通配符 ? exntends与? super 来解决这个问题 正确认识Java泛型中? exntends与? super ?...我们看看在使用上界通配符后，List的使用上有没有什么问题: List的泛型之后，我们在回头看一下kotlin中的泛型。 kotlin 中的out和in kotlin和java泛型一样，kotlin中的泛型本身也是不可变的。...当泛型类作为泛型参数类实例的消费者时用协变 *号 *号 前面讲到了 Java 中单个?
Effective Java解释了这个问题，第28条：使用受限通配符来增加API灵活性。首先，Java中泛型为不可变类型，意味List不是List的子类型。为什么这样？...此时安全地定义投影的泛型，每个泛型的具体实例都是泛型的子类型。 为此，Kotlin提供称为星号投影的语法。 对于Foo，T为带有上界TUpper的协变量，Foo等价于Foo。...val l = SingletonList(1) 泛型约束 所有可以被指定类型参数替代的类型，都可以使用泛型约束进行限制。...上界 最常见的泛型约束就是上界，对应java的extends关键字。...Cloneable { return list.filter{it -> threshold }.map { it.clone()} } 附：里氏替换原则协变与逆变泛型中的协变和逆变
上一篇文章讲了 Kotlin 泛型：基本使用，接下来我们再进一步了解泛型使用相关的进阶知识。本篇是 Kotlin 泛型类型参数约束的讲解，更多内容可点击链接查看。...Kotlin 泛型：基本使用Kotlin 泛型：类型参数约束系列持续更新中，欢迎关注订阅。...它实际上对非数值类型不生效，但它却误导了使用者，引入了潜在问题，也失去了使用泛型的提供的很重要的一个好处：通过编译器在编译期进行类型检查，找出潜在的类型错误，进而保证程序的健壮。...我想 QA 同学在回归其他打印机设备的时候，心里想得肯定是给编写代码的你寄刀片吧？利用范型约束实现非空范型Kotlin 有一个为人称道的特性：不可空。但当我们使用范型时，这个特性在不幸的失效了。...中的泛型属性也同样变得可空，这使得泛型类在具体实现的时候，需要考虑参数为空的情况，也让编写代码的具体实现变得复杂。
Java 泛型的优点包括： 类型安全 消除强制类型转换 避免了不必要的装箱、拆箱操作，提高程序性能 提高代码的重用性 下面，以我的缓存框架 RxCache 中 Memory 接口为例： package...Kotlin 泛型 Kotlin 基于 Java 6，因此 Kotlin 天生支持泛型。但是 Kotlin 的泛型有自己的特点。...因为，Java 数组是协变的，所以 Java 数组不支持泛型。 协变是在计算机科学中，描述具有父/子型别关系的多个型别通过型别构造器、构造出的多个复杂型别之间是否有父/子型别关系的用语。 四....Kotlin 如何获得声明的泛型类型 跟 Java 一样，Kotlin 也是通过类型擦除支持泛型。 但是 Kotlin 的数组支持泛型，因此它们并不会协变。...Kotlin 的泛型远不止这些，后续的文章会进一步介绍泛型的协变和逆变。
泛型是为了解决方法逻辑相同，而数据类型不同造成的代码冗余问题。 1. 泛型方法 ? 为了能在一个方法里实现传入什么数据类型就返回什么数据类型，可以利用泛型将方法写成下面这样： ? 2....泛型类 实现一个泛型类，List里面可以增加任意类型的数据，但是每次增加的数据类型必须统一。 ? 3. 泛型接口 实现数据缓存的功能：有文件缓存、和内存缓存。...内存缓存和文件缓存按照接口约束实现，它的子类必须有getByKey(key) 和 setByKey(key,value)，要求setByKey的时候的value的类型和实例化子类的时候指定的类型一致。
前言 这节我们说下Kotlin的泛型。...首先默认大家对Java泛型有个基本的认识，如果 不熟悉Java的泛型，可以阅读文章，或是看下Java《Java核心技术卷一基础知识第10版》中关于泛型章节的知识，讲述的也很详细。...其实Kotlin的泛型和Java很相似。他们都是伪泛型，所谓伪泛型就是我们们是无法获取到泛型的具体的类型的。以为Java存在类型擦除和转换。...本篇还是和反射一样，从实际代码编写角度，说下Kotlin的泛型 逆变与协变 泛型的逆变与协变其其在Java中也有。简单概括来说就是实现了泛型的协变，Kotlin中的协变与逆变 泛型参数即可作为传入的参数，也可以作为返回值，但被in和out关键字修饰后就不一样了 out 叫协变 只能作为返回值读取 不能写入和修改(Kotlin的list中只有get方法
前言 详细介绍Kotlin中关于泛型的知识。方便我们理解泛型在Kotlin中的使用。 如果对于泛型知识不太了解，也可以通过本篇文章了解泛型到底是什么，并且对我们开发到底有什么作用。...我们可以在函数声明，属性声明，类声明和接口声明中使用泛型。下面也从这四个维度进行介绍泛型在Kotlin中的使用。 1.声明泛型函数 例如,我们声明一个比较函数。...在Kotlin中的泛型定义和java中其实很类似。都是使用来进行标注。 小知识：泛型并不是必须用T字母来代替。...1.1 多类型定义 我们在上面的示例中只是定义了一种泛型，那么如果有两种甚至更多的数据定义为泛型呢？下面就来介绍多种泛型类型的定义。...我们默认没有定义泛型类型其实就是省略了：Any类型而已。 2. 声明泛型属性 我们在上面的示例中了解了泛型的定义，在函数中的使用。下面我们介绍在类属性中的泛型声明和使用。
书上摘抄的一段话，非常有用 表示T应该是绑定类型的子类型（subType） T和绑定类型可以是类，也可以是接口。...选择关键字extands的原因是更接近子类的概念，并且java的设计者也不打算在语言中添加一个新的关键字。...这里的泛型用中extends 的关键字的意思，其实是在给泛型设置限定（bound）的时候, 让extends = extends or implements.
，调用的时候会进行类型的强转，转为T的限制类型 泛型擦除后，字节码中没有泛型信息了，但是类的常量池里保留了泛型信息。...反射的时候提供了一套API可以拿到，比如getGenericType() 泛型带来的问题 泛型类型变量不能使用基本类型 比如没有ArrayList，只有ArrayList，当泛型擦除后...泛型信息String不存在了 泛型在静态方法和静态类中的问题 因为泛型类中的泛型参数的实例化是在定义泛型类型对象时候指定的，而静态成员是不需要使用对象来调用的，所有对象都没创建，无法确定泛型参数； 静态方法中是可以的...，因为调用的时候可以确定参数中的泛型类型 泛型类型中的方法冲突 因为擦除后2个equales方法变成一样的了，参数都会变成object @Override public boolean equals(Object...在必要时插入类型转换以保持类型安全 生成桥方法以在扩展时保持多态性 Kotlin泛型 Kotlin的泛型可以看文章：Android面试题之Kotlin泛型和reified关键字 END 点亮【赞和在看】
都使用 T 来表示泛型 ; 代码示例 : 下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T...---- 泛型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 的 参数返回值 都是泛型 的话 , 在该泛型函数 中可能需要使用多个泛型 , 使用不同的字母表示不同的泛型 ; 如果函数中 引入了新的泛型类型...FastFood 是 Food 的子类 , 在 Kotlin 中 , 可以将 Producer 类型赋值给 Producer 类型 , 在 Java 中这种用法不行 ;...// FastFoodFactory 是 Producer 子类 // Producer 的泛型参数 FastFood 是 Food 的子类 // 在 Kotlin...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现
Kotlin在Java的基础上，同样对泛型语法进行了拓展，所以很多Kotlin开发者，看着源码中的一堆in、out和*，感觉非常不知所措。...Kotlin，或者说Java的泛型，实际上是一种伪泛型，即泛型只在申明时检查泛型是否有效，在编译时，泛型类型会被擦除，这是因为Java的历史原因所导致的，由于它为了兼容没有泛型的老Java版本，从而做出的妥协...星型投影 星型投影，其实就是Java中的「?」通配符，用于在泛型的使用中，去除泛型的依赖，这么说有点抽象，简单的说，就是当你不关心具体的泛型类型时，就可以使用「?」或者「*」来忽略泛型的约束。...那么在Kotlin中，可以将这种在使用时的协变，变为申明时的协变，代码如下。...判断是一样的，在Java中，我们通常会再传入一个Class类型的参数来处理这个问题。
void test(Function a, Function b, T ad) { } } 可以看到test方法的第
领取专属 10元无门槛券
手把手带您无忧上云
云服务器
ICP备案
对象存储
腾讯会议
云直播
