Kotlin泛型

在Kotlin中，泛型（Generics）允许你编写灵活和可重用的代码，以便在不同的数据类型上工作。它使得你能够在类或函数中定义参数类型，以便在使用时指定具体的类型。泛型在提供类型安全性和代码复用方面非常有用。

Kotlin中的泛型使用尖括号（<>）来指定类型参数。下面是一些常见的泛型用法和示例：

1. 声明泛型类：

   class Box<T>(val value: T) {
       // ...
   }
   

   这里的T是一个类型参数，可以在类的内部使用。你可以在创建Box对象时指定具体的类型：

   val box = Box<String>("Hello")
   

2. 使用泛型函数：

   fun <T> printItem(item: T) {
       println(item)
   }
   

   这里的<T>表示该函数是一个泛型函数，可以在函数调用时指定具体的类型：

   printItem<String>("Hello")
   

3. 限定泛型类型：
   你可以使用冒号（:）来限定泛型参数的类型。这对于只允许特定类型的参数非常有用。例如，你可以限制泛型类型必须是某个类的子类：

   class Box<T : Number>(val value: T) {
       // ...
   }
   

   在这个例子中，T必须是Number的子类。

4. 泛型约束：
   使用泛型约束，你可以进一步限制泛型类型的行为。例如，你可以要求泛型类型实现特定的接口或具有特定的函数：

   fun <T : Comparable<T>> max(a: T, b: T): T {
       return if (a > b) a else b
   }
   

   在这个例子中，T必须实现Comparable<T>接口，这样才能使用>操作符进行比较。

5. 泛型通配符：
   Kotlin中使用*作为泛型通配符，表示未知类型。你可以使用out和in关键字来指定类型的协变（covariant）或逆变（contravariant）性质。这涉及到Kotlin的类型投影（type projection）概念，超出了本次讨论的范围。

泛型在Kotlin中是一项强大而灵活的功能，它使得你能够编写通用的代码，并且在不同类型上重用它。通过使用泛型，你可以提高代码的可读性和可维护性，并获得更好的类型安全性。