在Kotlin中,泛型(Generics)允许你编写灵活和可重用的代码,以便在不同的数据类型上工作。它使得你能够在类或函数中定义参数类型,以便在使用时指定具体的类型。泛型在提供类型安全性和代码复用方面非常有用。
Kotlin中的泛型使用尖括号(<>)来指定类型参数。下面是一些常见的泛型用法和示例:
-
声明泛型类:
class Box<T>(val value: T) { // ... }
这里的
T
是一个类型参数,可以在类的内部使用。你可以在创建Box
对象时指定具体的类型:val box = Box<String>("Hello")
-
使用泛型函数:
fun <T> printItem(item: T) { println(item) }
这里的
<T>
表示该函数是一个泛型函数,可以在函数调用时指定具体的类型:printItem<String>("Hello")
-
限定泛型类型:
你可以使用冒号(:)来限定泛型参数的类型。这对于只允许特定类型的参数非常有用。例如,你可以限制泛型类型必须是某个类的子类:class Box<T : Number>(val value: T) { // ... }
在这个例子中,
T
必须是Number
的子类。 -
泛型约束:
使用泛型约束,你可以进一步限制泛型类型的行为。例如,你可以要求泛型类型实现特定的接口或具有特定的函数:fun <T : Comparable<T>> max(a: T, b: T): T { return if (a > b) a else b }
在这个例子中,
T
必须实现Comparable<T>
接口,这样才能使用>
操作符进行比较。 泛型通配符:
Kotlin中使用*
作为泛型通配符,表示未知类型。你可以使用out
和in
关键字来指定类型的协变(covariant)或逆变(contravariant)性质。这涉及到Kotlin的类型投影(type projection)概念,超出了本次讨论的范围。
泛型在Kotlin中是一项强大而灵活的功能,它使得你能够编写通用的代码,并且在不同类型上重用它。通过使用泛型,你可以提高代码的可读性和可维护性,并获得更好的类型安全性。