精通 Kotlin 泛型：打造灵活而强大的代码

2024-01-09 20:33:04

导言

泛型是现代编程语言中不可或缺的特性，它允许您编写可操作不同类型数据的代码。在 Kotlin 中，泛型以其优雅的语法和强大的功能而著称。本文旨在为 Kotlin 开发人员提供 Kotlin 泛型方面的全面指南，从基础概念到高级用法。

泛型的基本原理

泛型允许您创建类、接口和方法，这些类、接口和方法可以使用不同类型的数据。泛型使用称为类型参数 的占位符，这些占位符在创建类的实例或调用方法时被替换为实际类型。

例如，以下代码定义了一个名为 Box 的泛型类，它可以存储任何类型的对象：

class Box<T> {
    private var value: T? = null

    fun get(): T? {
        return value
    }

    fun set(value: T) {
        this.value = value
    }
}

在上面的示例中，T 是类型参数，它将在创建 Box 实例时替换为实际类型。这意味着您可以使用 Box 类存储任何类型的对象，如下所示：

val boxOfInt: Box<Int> = Box()
boxOfInt.set(10)
val value: Int = boxOfInt.get()

协变和逆变

Kotlin 中的泛型类型可以是协变或逆变的，这影响了它们可以分配给其他类型的规则。

协变类型 可以分配给与它们相兼容的超类型。例如，Box<Any> 可以分配给 Box<Int>，因为 Any 是 Int 的超类型。
逆变类型 可以分配给与它们相兼容的子类型。例如，MutableList<out Int> 可以分配给 MutableList<Number>，因为 Int 是 Number 的子类型。