Kotlin 基础教程之泛型

 更新时间:2017年06月30日 11:27:18   投稿:lqh  
这篇文章主要介绍了Kotlin 基础教程之泛型的相关资料,需要的朋友可以参考下

Kotlin 支持泛型, 语法和 Java 类似。

例如,泛型类:

class Hello<T>(val value: T)

val box = Box<Int>(1)
val box1 = Box(2)

泛型函数:

fun <T> foo(item: T): List<T> {
  // do something
}

val list = foo<Int>(1)

fun <T> T.toString2(): String {
  // 扩展函数
}

fun <K, V>put(key: K, value: V) {
  // 多个泛型参数
}

类型变异

Java 的泛型中,最难理解的就是通配符。Java 中使用通配符是由于泛型类型是不可变的,比如 List<String>不是List<Object>的子类, 因而 List<Object> objs = strs 这样的代码有编译错误。

为了解决此问题,Java 提供了通配符类型参数(wildcard type argument)。如果你只能从一个集合取得元素, 那么就可以使用一个 String 组成的集合, 并从中读取 Object 实例,这个时候用? extends T. 反过来, 如果你只能向集合 放入 元素, 那么就可以使用一个 Object 组成的集合, 并向其中放入 String, 这个时候用? super T。

Kotlin 不存在这样的通配符,提供了两种方法:声明处类型变异(declaration-sitevariance), 以及类型投射(type projection)。

假设我们有一个泛型接口 Source<T> , 其中不存在任何接受 T 作为参数的方法, 仅有返回值为 T 的方法:

// Java
interface Source<T> {
  T nextT();
}

void demo(Source<String> strs) {
  Source<Object> objects = strs; // !!! 在 Java 中禁止这样的操作
  // ...
}

为了解决这个问题, 我们不得不将对象类型声明为 Source<? extends Object> , 其实是毫无意义的, 编译器并不理解这一点。

在 Kotlin 中, 我们有办法将这种情况告诉编译器. 这种技术称为声明处的类型变异(declaration-sitevariance): 我们可以对 Source 的 类型参数 T 添加注解, 来确保 Source<T> 的成员函数只会返回T 类型, 而绝不会消费 T 类型. 为了实现这个目的, 我们可以对 T 添加 out 修饰符:

abstract class Source<out T> {
  abstract fun nextT(): T
}
fun demo(strs: Source<String>) {
  val objects: Source<Any> = strs // 这是 OK 的, 因为 T 是一个 out 类型参数
  // ...
}

一般规则是: 当 C 类的类型参数 T 声明为 out 时, 那么在 C 的成员函数中, T 类型只允许出现在输出位置, 这样的限制带来的回报就是, C<Base> 可以安全地用作 C<Derived> 的父类型。

除了 out 之外, Kotlin 还提供了另一种类型变异注解: in. 这个注解导致类型参数反向类型变异(contravariant): 这个类型将只能被消费, 而不能被生产. 反向类型变异的一个很好的例子是 Comparable :

abstract class Comparable<in T> {
  abstract fun compareTo(other: T): Int
}

fun demo(x: Comparable<Number>) {
  x.compareTo(1.0) // 1.0 类型为 Double, 是 Number 的子类型
  // 因此, 我们可以将 x 赋值给 Comparable<Double> 类型的变量
  val y: Comparable<Double> = x // OK!
}

类型投射(Type projection)

class Array<T>(val size: Int) {
  fun get(index: Int): T { /* ... */ }
  fun set(index: Int, value: T) { /* ... */ }
}

这个类对于类型参数 T 既不能协变, 也不能反向协变. 这就带来很大的不便。

fun copy(from: Array<Any>, to: Array<Any>) {
  assert(from.size == to.size)
  for (i in from.indices)
    to[i] = from[i]
}

val ints: Array<Int> = arrayOf(1, 2, 3)
val any = Array<Any>(3)
copy(ints, any) // 错误: 期待的参数类型是 (Array<Any>, Array<Any>)

我们需要确保的就是 copy() 函数不会做这类不安全的操作. 我们希望禁止这个函数向 from 数组
写入 数据, 我们可以这样声明:

fun copy(from: Array<out Any>, to: Array<Any>) {
  // ...
}

这种声明在 Kotlin 中称为 类型投射(type projection): 我们声明的含义是, from 不是一个单纯的数组, 而是
一个被限制(投射)的数组: 我们只能对这个数组调用那些返回值为类型参数 T 的方法。

也可以使用 in 关键字来投射一个类型。

fun fill(dest: Array<in String>, value: String) {
  // ...
}
  • 星号投射(Star-projection)
  • 泛型约束(Generic constraint)

对于一个给定的类型参数, 所允许使用的类型, 可以通过 泛型约束(generic constraint) 来限制。

最常见的约束是 上界(upper bound), 与 Java 中的 extends 关键字相同:

fun <T : Comparable<T>> sort(list: List<T>) {
  // ...
}

对于类型参数 T , 只允许使用 Comparable<T> 的子类型. 比如:

sort(listOf(1, 2, 3)) // 正确: Int 是 Comparable<Int> 的子类型
sort(listOf(HashMap<Int, String>())) // 错误: HashMap<Int, String> 不是
    // Comparable<HashMap<Int, String>> 的子类型

泛型类型

Java 里面的泛型不支持类型, 比如 T.class这样的代码获取不到类型。Kotlin 泛型函数通过内联函数可以获取泛型的类型,比如:

inline fun <reified T>runtimeType(): Unit {
  println("My type parameter is " + T::class.qualifiedName)
}

inline fun <reified T>List<Any>.collect(): List<T> {
  return this.filter { it is T }.map { it as T }
}


感谢阅读,希望能帮助到大家,谢谢大家对本站的支持!

相关文章

  • JavaWeb开发之Spring+SpringMVC+MyBatis+SpringSecurity+EhCache+JCaptcha 完整Web基础框架

    JavaWeb开发之Spring+SpringMVC+MyBatis+SpringSecurity+EhCache+JC

    这篇文章主要介绍了JavaWeb开发之Spring+SpringMVC+MyBatis+SpringSecurity+EhCache+JCaptcha 完整Web基础框架的相关资料,需要的朋友可以参考下
    2016-12-12
  • Java之String、StringBuffer、StringBuilder的区别分析

    Java之String、StringBuffer、StringBuilder的区别分析

    今天搞安卓在看书的时候遇到了StringBuilder这个类型的东东,有点小迷,不知道它跟string、stringbuffer的关系式怎么样的,赶快查阅相关资料,了解了个大概,拿出来分享一下
    2012-11-11
  • SpringBoot+WebSocket+Netty实现消息推送的示例代码

    SpringBoot+WebSocket+Netty实现消息推送的示例代码

    这篇文章主要介绍了SpringBoot+WebSocket+Netty实现消息推送的示例代码,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2020-04-04
  • spring boot使用拦截器修改请求URL域名 换 IP 访问的方法

    spring boot使用拦截器修改请求URL域名 换 IP 访问的方法

    Spring Interceptor是一个非常类似于Servlet Filter 的概念 ,这篇文章主要介绍了spring boot使用拦截器修改请求URL域名 换 IP 访问的相关知识,需要的朋友可以参考下
    2022-09-09
  • MyBatis学习教程(四)-如何快速解决字段名与实体类属性名不相同的冲突问题

    MyBatis学习教程(四)-如何快速解决字段名与实体类属性名不相同的冲突问题

    我们经常会遇到表中的字段名和表对应实体类的属性名称不一定都是完全相同的情况,如何解决呢?下面脚本之家小编给大家介绍MyBatis学习教程(四)-如何快速解决字段名与实体类属性名不相同的冲突问题,一起学习吧
    2016-05-05
  • Java8中接口的新特性使用指南

    Java8中接口的新特性使用指南

    接口改动一下就要修改对应的实现类,为了兼容老接口,Java8新增了默认方法和静态方法,下面这篇文章主要给大家介绍了关于Java8中接口新特性的相关资料,需要的朋友可以参考下
    2021-11-11
  • 详细介绍Java中的各种锁

    详细介绍Java中的各种锁

    不少同学开始慢慢接触多线时候,对线程之间为了保障数据安全性,一致性有所了解,本文详细解介绍java中的21种锁 ,需要的朋友可以参考下
    2021-06-06
  • 浅析Java中的Caffeine缓存源码

    浅析Java中的Caffeine缓存源码

    这篇文章主要介绍了浅析Java中的Caffeine缓存源码,Caffeine是一个Java开发的高性能缓存库,它提供了一种简单而强大的方式来管理内存中的缓存数据,Caffeine的设计目标是提供快速、高效的缓存访问,同时保持简单易用的API,本文针对其部分源码做出解析,需要的朋友可以参考下
    2023-10-10
  • Java集合框架之Set和Map详解

    Java集合框架之Set和Map详解

    大家好,本篇文章主要讲的是Java集合框架之Set和Map详解,感兴趣的同学赶快来看一看吧,对你有帮助的话记得收藏一下,方便下次浏览
    2021-12-12
  • Spring Boot中的Properties的使用详解

    Spring Boot中的Properties的使用详解

    这篇文章主要介绍了Spring Boot中的Properties的使用详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2020-02-02

最新评论