Kotlin 泛型学习笔记

什么是泛型

泛型是一种类型参数化的机制，它可以让我们在定义函数、类和接口的时候使用未知的数据类型。通过泛型，我们可以编写更加通用和灵活的代码，减少重复代码的编写。

为什么要使用泛型

使用泛型的好处有以下几点：

提高代码的可读性和可维护性：使用泛型可以使代码更加清晰，并且可以避免因为类型错误导致的运行时异常。
减少代码的冗余：使用泛型可以减少代码的重复，提高代码的复用率。
增强类型检查能力：使用泛型可以在编译期间检查类型安全，避免出现类型不匹配的问题。

如何使用泛型

Kotlin 中的泛型可以通过在函数、类或接口中添加泛型参数来实现。在使用时，我们可以指定具体的类型来替代泛型参数，这样就可以使用该类型的相关方法和属性了。

使用泛型函数

下面是一个使用泛型函数的示例，它可以接收任意类型的参数并返回该参数的字符串表达式：

kotlinCopy Code
fun <T> toString(value: T): String {
    return value.toString()
}

在上面的代码中，我们使用 <T> 来指定一个泛型参数，它可以是任意类型。然后在函数体中，我们使用 value.toString() 来获取传递参数的字符串表达式。

使用泛型类

Kotlin 中的泛型类可以用于定义一种可以工作在不同数据类型上的类。下面是一个使用泛型类的示例，它可以存储任意类型的数据并提供相关的操作：

kotlinCopy Code
class GenericClass<T>(var value: T) {
    fun getValue(): T {
        return value
    }

    fun setValue(newValue: T) {
        value = newValue
    }
}

在上面的代码中，我们使用 <T> 来指定一个泛型参数，然后在类中使用这个泛型参数来定义存储和操作数据的变量和方法。例如，在 getValue() 方法中，我们返回该泛型参数类型的值。在 setValue() 方法中，我们接收该泛型参数类型的新值并为它赋值。

使用泛型接口

Kotlin 中的泛型接口可以用于定义一种可以工作在不同数据类型上的接口。下面是一个使用泛型接口的示例，它可以实现对存储数据的基本操作：

kotlinCopy Code
interface GenericInterface<T> {
    fun get(): T
    fun set(value: T)
}

在上面的代码中，我们使用 <T> 来指定一个泛型参数并将其应用到接口方法中。然后任何实现该泛型接口的类都需要为泛型参数提供具体的类型。

实例

下面是一个使用泛型的实例，它可以处理不同类型的列表并对其进行排序：

kotlinCopy Code
fun <T : Comparable<T>> sortList(list: List<T>): List<T> {
    return list.sorted()
}

val stringList = listOf("c", "b", "a")
val intList = listOf(3, 2, 1)

val sortedStringList = sortList(stringList)
val sortedIntList = sortList(intList)

println(sortedStringList) // 输出 ["a", "b", "c"]
println(sortedIntList) // 输出 [1, 2, 3]

在上面的代码中，我们定义了一个使用泛型的函数 sortList()，它接收一个 List<T> 类型的参数并返回排序后的 List<T> 类型。在函数的定义中，我们使用 <T : Comparable<T>> 来指定泛型参数，并将其限制为实现了 Comparable 接口的类型。然后在函数体中，我们使用 list.sorted() 方法对列表进行排序。

最后，我们定义了两个不同类型的列表 stringList 和 intList，并调用 sortList() 函数对它们进行排序。由于这两个列表都实现了 Comparable 接口，因此可以被正确地排序。