kotlin泛型类型变异

最新推荐文章于 2023-09-10 18:53:42 发布

转载最新推荐文章于 2023-09-10 18:53:42 发布 · 134 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/loaderman/p/10141382.html

文章标签：

#移动开发 #java

在java泛型中中会有 ? extends E 可以解决类似于List<String> 赋给List<Object> 的问题,但是在kotlin泛型中并没有提供通配符,而是out和in关键字,用out声明的泛型占位符只能在获取泛型类型赋值,如函数的返回值,用in声明的泛型占位符只能在设置泛型类型值得地方,如函数的参数.

abstract class Source<out T>{
    abstract fun nextT():T
}
fun demo (str:Source<String>){
    val objects : Source<Any> =str//Any是非空类型的根，Any?是可空类型的根，由于Any?是Any的根，所以Any?是Kotlin的类型层次结构的最顶端。如java中的object
}

fun demo (x:Comparable<Number>){
    x.comparable(10.0)
    var y:Comparable<Double> =x
}
abstract class Comparable<in T>{
    abstract fun comparable(other: T):Int
}

转载于:https://www.cnblogs.com/loaderman/p/10141382.html