Kotlin泛型，为你揭开它的奥秘

2024-02-17 06:25:13

Kotlin泛型简介

泛型是一种将代码与具体类型分离的技术，它允许你编写可以处理多种不同类型数据的代码。在Kotlin中，你可以通过在类型名称后面加上尖括号<>来声明一个泛型类型。例如，下面的代码声明了一个名为List<T>的泛型类型，它可以存储任何类型的元素：

class List<T> {
    private val elements = mutableListOf<T>()

    fun add(element: T) {
        elements.add(element)
    }

    fun get(index: Int): T {
        return elements[index]
    }

    fun size(): Int {
        return elements.size
    }
}

你可以通过传递一个具体的类型参数来创建List<T>类型的实例。例如，下面的代码创建了一个可以存储字符串的List<String>实例：

val list = List<String>()
list.add("Hello")
list.add("World")
println(list[0]) // prints "Hello"

Kotlin泛型的特性

Kotlin泛型有几个特性，这些特性使它比Java的泛型更易用。

类型适合 ：类型适合是指编译器能够根据泛型类型参数的值来推断出具体类型的类型。这意味着你不必在代码中显式地指定具体类型。例如，下面的代码中，编译器可以推断出list的类型是List<String>：

val list = listOf("Hello", "World")

类型推断 ：类型推断是指编译器能够根据上下文的类型来推断出泛型类型参数的值。这意味着你通常不必在代码中显式地指定泛型类型参数。例如，下面的代码中，编译器可以推断出List的泛型类型参数是String：

fun <T> printList(list: List<T>) {
    for (item in list) {
        println(item)
    }
}

协变和逆变 ：协变和逆变是泛型类型参数的两个重要概念。协变是指一个泛型类型参数可以被它的子类型替换。例如，List<String>可以被List<Any>替换，因为String是Any的子类型。逆变是指一个泛型类型参数可以被它的超类型替换。例如，List<Any>可以被List<String>替换，因为Any是String的超类型。

Kotlin泛型的应用

Kotlin泛型可以用于各种场景，例如：

编写可重用的代码：泛型代码可以被重用，无论你要处理的是哪种类型的元素。例如，你可以编写一个List类，它可以存储任何类型的元素。
提高代码的安全性：泛型代码可以帮助你避免类型错误。例如，如果你有一个List<String>类型的变量，那么编译器将阻止你向其中添加一个Int类型的元素。
提高代码的可读性：泛型代码通常更易于阅读和理解。例如，下面的代码使用泛型来实现一个简单的堆栈数据结构：

class Stack<T> {
    private val elements = mutableListOf<T>()

    fun push(element: T) {
        elements.add(element)
    }

    fun pop(): T {
        return elements.removeLast()
    }

    fun peek(): T {
        return elements.last()
    }

    fun size(): Int {
        return elements.size
    }
}