kotlin泛型类型变异

在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
}