Kotlin如何支持泛型编程

Kotlin 支持泛型编程，允许你在编写代码时使用类型参数。这使得你可以创建可重用的组件，这些组件可以处理多种数据类型，而不是单一的数据类型。在 Kotlin 中，泛型是通过尖括号 <T> 来表示的，其中 T 是一个类型参数。

以下是 Kotlin 中支持泛型编程的一些关键特性：

1. 类型参数：你可以在类、接口或函数的声明中使用类型参数。

class Box<T>(val value: T) {
    fun getValue(): T = value
}

fun <T> printArray(array: Array<T>) {
    for (element in array) {
        println(element)
    }
}

2. 泛型约束：你可以对类型参数添加约束，以确保它们满足特定的条件。

interface Comparable<in T> {
    public operator fun compareTo(other: T): Int
}

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

3. 通配符：Kotlin 提供了两种通配符 ? 和 out/in 关键字，用于表示未知类型。

• ?：表示任何类型。
• out：表示协变，即类型参数只用作输出（返回值）。
• in：表示逆变，即类型参数只用作输入（参数）。

fun printList(list: List<*>) {
    for (element in list) {
        println(element)
    }
}

fun <T> copyList(source: List<T>, dest: MutableList<out T>) {
    for (element in source) {
        dest.add(element)
    }
}

fun <T> addToList(list: MutableList<in T>, element: T) {
    list.add(element)
}

4. 内联函数：Kotlin 提供了内联函数，可以在编译时将泛型函数的代码直接插入到调用处，从而减少运行时的开销。

inline fun <reified T> printType() {
    println(T::class.java)
}

5. 具体化类型参数：在某些情况下，你可能需要获取泛型类型的具体类型。Kotlin 允许你通过 reified 关键字来实现这一点。

inline fun <reified T> getType(): KClass<T> = T::class

总之，Kotlin 通过类型参数、泛型约束、通配符、内联函数和具体化类型参数等特性支持泛型编程，使得你可以编写更加灵活和可重用的代码。