Kotlin 范型之泛型约束、类型投影、星号投影

本文详细介绍了Kotlin中的泛型约束,包括Upper bounds和where关键字的使用。同时,解释了类型投影的概念,特别是in和out修饰符在MutableList中的应用。此外,还探讨了星号投影(Star-projections)的作用,即表示泛型参数的未知类型信息,以及其只读不写的特性。通过这些内容,读者将深入理解Kotlin范型的高级特性。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

一. 泛型约束(Generic constraints)

Kotlin 跟 Java 一样,也拥有泛型约束。Java 使用 extends 关键字指明上界。

在 Kotlin 中使用 :代替 extends 对泛型的的类型上界进行约束。

1.1 Upper bounds

下面的代码,在调用 sum() 函数时,传入的参数只能是 Number 及其子类,如果是其他类型,则会报错。

fun <T : Number> sum(vararg param: T) = param.sumByDouble { it.toDouble() }
fun main() {
    val result1 = sum(1,10,0.6)
    val result2 = sum(1,10,0.6,"kotlin") // compile error
}

Kotlin 默认的上界是 Any?,为何是 Any?而不是 Any 呢?

Any 类似于 Java 中的 Object,它是所有非空类型的超类型。但是 Any 不能保存 null 值,如果需要 null 作为变量的一部分,则需要使用 Any?Any?是 Any 的超类型,所以 Kotlin 默认的上界是 Any?

1.2 where 关键字

当一个类型参数指定多个约束时,在 Java 中使用 &连接多个类、接口。

class ClassA { }
interface InterfaceB { }
public class MyClass<T extends ClassA & InterfaceB> {
    Class<T> variable;
}

而在 Kotlin 中,使用 where 关键字实现这个功能。下面的代码,T 必须继承 ClassA 以及实现 InterfaceB。

open class ClassA
interface InterfaceB
class MyClass<T>(var variable: Class<T>) where T : ClassA, T : InterfaceB

二. 类型投影(Type projections)

在上一篇文章《Kotlin 范型之协变、逆变Kotlin 》中,曾经介绍过 MutableList 是不变的,可读可写,没有使用 in、out 修饰。

如果对 MutableList 的参数类型使用 in 或者 out 修饰,会发生什么情况呢?

下面的代码说明了一切:

fun main() {
    val list1:MutableList<String> = mutableListOf()
    list1.add("hello")
    list1.add("world")
    val list2:MutableList<out String> = mutableListOf()
    list2.add("hello")  // compile error
    list2.add("world")  // compile error
    val list3:MutableList<in String> = mutableListOf()
    list3.add("hello")
    list3.add("world")
    lateinit var list4:MutableList<String>
    list4 = list3;     // compile error
}

使用 out 时,会报错,因为该参数只能出现在方法的返回类型。而使用 in 时,编译可以通过,因为该参数只能出现在方法的入参。

此时,list2 和 list3 分别表示一个受限制的 MutableList。在 Kotlin 中,这种行为被称之为类型投影。其主要作用是参数作限定,避免不安全操作。

正是由于 list3 是一个受限制的 MutableList,因此它赋值给 list4 报错也是可以理解了。

三.星号投影(Star-projections)

星号投影用来表明“不知道关于泛型实参的任何信息”。

类似于 Java 中的无界类型通配符 ?, Kotlin 使用星号投影 *

*代指了所有类型,相当于 Any?

例如:MutableList<*> 表示的是 MutableList<out Any?>

fun main() {
    val list1 = mutableListOf<String>()
    list1.add("string1")
    list1.add("string2")
    printList(list1)
    val list2 = mutableListOf<Int>()
    list2.add(123)
    list2.add(456)
    printList(list2)
}
fun printList(list: MutableList<*>) {
    println(list[0])
}

正是由于使用 out 修饰以及星号投影的类型不确定性,会导致写入的任何值都有可能跟原有的类型冲突。因此,星号投影不能写入,只能读取。

四.总结

本文是 Kotlin 范型系列的最后一篇文章。本文讲述了 Kotlin 泛型约束、类型投影、星号投影的特性。范型是 Kotlin 的高级特性,相对于 Java 的范型,它拥有更多的概念。

该系列的相关文章:

Kotlin 范型之协变、逆变Kotlin 

泛型之类型擦除

关注【Java与Android技术栈】

更多精彩内容请关注扫码

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值