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
}