Kotlin 泛型详解
Kotlin 作为一种现代的编程语言，它在设计时就充分考虑了与 Java 的互操作性，同时在语法和功能上也做了很多优化和创新。泛型是 Kotlin 中一个非常重要的特性，它允许开发者在编译时对类型进行参数化，从而提高代码的复用性和安全性。
泛型的基本概念
泛型是一种将类型作为参数传递给类或函数的能力。在 Kotlin 中，泛型的使用与 Java 类似，但 Kotlin 在泛型方面提供了一些独特的特性和改进。
泛型类和接口
在 Kotlin 中，可以为类和接口定义泛型参数。例如，可以定义一个泛型类 Box，它可以接受任何类型的参数，并将其存储起来：
class Box(t: T) { var value = t }
创建 Box 类的实例时，需要指定具体的类型参数，如下所示：
val boxInt: Box= Box(1) val boxString: Box = Box("Hello")
如果编译器能够根据上下文推断出类型参数，那么在创建实例时可以省略显式的类型参数：
val boxInt = Box(1) // 编译器推断出 Boxval boxString = Box("Hello") // 编译器推断出 Box
泛型函数
Kotlin 同样支持泛型函数，这允许函数接受任意类型的参数，并根据传入的类型参数执行不同的操作。例如，可以定义一个泛型函数 printInfo，它可以接受任何类型的对象，并打印相关信息：
funprintInfo(info: T) { println(info) }
调用这个函数时，可以传入任何类型的对象：
printInfo(1) // 打印 Int 类型
printInfo("Hello") // 打印 String 类型
型变
Kotlin 支持声明处型变（declaration-site variance），这意味着可以在类或接口的声明处指定类型参数的变体（协变或逆变）。这与 Java 中的通配符不同，Kotlin 使用 out 和 in 关键字来声明类型参数的变体。
协变：使用 out 关键字，表示类型参数是协变的。这意味着更具体的类型可以被赋值给更泛化的类型参数。例如，Collection
可以被赋值给 Collection 。 逆变：使用 in 关键字，表示类型参数是逆变的。这意味着更泛化的类型可以被赋值给更具体的类型参数。
泛型约束
在 Kotlin 中，可以使用泛型约束来限制泛型参数的类型。这可以通过在类型参数后面使用 : 符号后跟一个类型来实现。例如，可以定义一个函数，它只接受实现了 Comparable 接口的类型参数：
fun> sort(list: List ) { // ... }
此外，Kotlin 还支持使用 where 子句来指定多个约束条件。
实化类型参数
Kotlin 提供了 reified 关键字，它允许在内联函数中使用泛型参数作为实类型。这在与 Java 代码交互时非常有用，因为 Java 的泛型在运行时会被擦除。
星号投射
在某些情况下，我们可能不想关心泛型的具体类型，但仍希望能够以安全的方式使用它。Kotlin 的星号投射（*）允许我们对泛型类型进行投影，而不需要知道具体的类型参数。
结论
Kotlin 的泛型系统是强大而灵活的，它提供了丰富的特性来帮助开发者编写类型安全且可重用的代码。通过泛型类、泛型函数、型变、泛型约束以及实化类型参数等特性，Kotlin 使得代码更加简洁和健壮。同时，Kotlin 泛型的设计也考虑了与 Java 的互操作性，使得在 Kotlin 和 Java 之间共享和重用代码变得更加容易。
