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

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

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