8.4 Kotlin泛型

泛型，即 "参数化类型"，将类型参数化，可以用在类、接口、方法上。
与Java语言中的非常相似，但是Kotlin语言的创建者试图通过引入特殊的关键字(如out和in)来使它们更加直观和易于理解。
以下是使用泛型的主要优点：

• 类型安全：通用允许仅保留单一类型的对象。泛型不允许存储其他对象。
• 不需要类型转换：不需要对对象进行类型转换。
• 编译时间检查：在编译时检查泛型代码，以便在运行时避免任何问题

泛型类

像 java 一样，Kotlin 中的类可以拥有类型参数：

class Box(t: T){
    var value = t
}

通常来说，创建一个这样类的实例，我们需要提供类型参数：

val box: Box = Box(1)

但如果类型有可能是推断的，比如来自构造函数的参数或者通过其它的一些方式，一个可以忽略类型的参数：

val box = Box(1)    //1是 Int 型，因此编译器会推导出我们调用的是 Box

泛型接口

声明泛型接口的格式与声明泛型类相似，定义如下泛型接口。

interface GenericsInterface {
    public T generate();
}

在实现泛型接口的类中，指定泛型实参。

class GenericsClass implements GenericsInterface {
    public String generate() {
        return "hello";
    }
}

泛型函数

范型函数
函数也可以像类一样有类型参数。类型参数在函数名之前：

fun  singletonList(item: T): List {
    // ...
}

fun  T.basicToString() : String {  // extension function
    // ...
}

调用范型函数需要在函数名后面制定类型参数：

val l = singletonList(1)

范型约束

指定类型参数代替的类型集合可以用通过范型约束进行限制。
上界(upper bound)：最常用的类型约束是上界，在 Java 中对应 extends关键字：

fun > sort(list: List) {
    // ...
}

冒号后面指定的类型就是上界：只有 Comparable的子类型才可以取代 T 比如：

sort(listOf(1, 2, 3)) // OK. Int is a subtype of Comparable
sort(listOf(HashMap())) // Error: HashMap is not a subtype of Comparable>

默认的上界是 Any?。在尖括号内只能指定一个上界。如果要指定多种上界，需要用 where 语句指定：

fun  cloneWhenGreater(list: List, threshold: T): List
    where T : Comparable,
          T : Cloneable {
  return list.filter { it > threshold }.map { it.clone() }
}

声明处变型*

java声明处变型

假如有个范型接口Source，没有任何接收 T 作为参数的方法，唯一的方法就是返回 T:

// Java
interface Source {
  T nextT();
}

存储一个Source的实例引用给一个类型为 Source