kotlin学习（8）泛型

泛型的声明

　　与Java不同的是，Kotlin要求类型实参要么被显示的说明，要么能被编译器推导出来。因为Java在1.5版本才引入泛型，所以为了兼容过去的版本，可以不直接声明List类型的变量，而不说明类型。

//下面两种是等价的
val readers = arrayListOf<String>()
val readers:ArrayList<String>=arrayListOf()

泛型函数

//  第一处是类型形参声明，第二三处分别是接收者和返回类型使用了类型形参
fun <T> List<T>.slice(indices: IntRange): List<T>{
    val res=arrayListOf<T>()
    indices.forEach{
        res.add(this[it])
    }
    return res
}

//调用
>>>val letters=('a'..'z').toList()
>>>println(letters.slice<Char>(0..2)) //这里显式的指定类型实参
[a,b,c]

>>>println(letters.slice(1..2)) //这里可以根据letters推导出类型为Char
[a,b,c]

　　泛型属性同理

泛型类

//List接口定义了类型参数T
interface List<T>{   
    //在类或接口的内部，T可以当作普通类型使用
    operator fun get(index: Int): T    
}

//这个类实现了List，提供了具体类型实参String
class StringList: List<String>{
    override get(index: Int): String {   //xxxxx   }    
}    

//现在ArrayList的泛型类型形参T就是List的类型实参
class ArrayList<T>: List<T>{
    override get(index: Int): T {   //xxxxx   }
}

类型参数约束

　　“ <T extends Number> ”代表类型形参一定属于Number类型，限制了它的上界。

让类型形参非空

　　" <T : Any> " 代表T的类型一定是非空的，它不接受传入<String?>这样的可空实参。

不能指定具体类型实参的情况下可以用*

　　 if ( value is List<*> ){ ... } 这样之判断了value是否为List，而不用在意类型实参具体是什么。