Kotlin泛型之旅：揭开型变的奥秘

2022-12-10 05:31:43

Kotlin 泛型之旅：揭开型变的奥秘

泛型简介

想象一下，你正在开发一个应用程序，需要一个存储各种类型数据的集合。在 Java 中，你可能需要创建多个数组或列表，每个数组或列表都只能存储特定类型的数据。这既繁琐又容易出错。

Kotlin 泛型闪亮登场，它可以让你创建可用于不同类型数据的类和方法。就像占位符一样，泛型类型参数让你在不指定具体类型的情况下定义类或方法。例如，你可以创建一个 ArrayList<Integer> 来存储整数，也可以创建一个 ArrayList<String> 来存储字符串。

型变：理解泛型类型的行为

现在，我们来认识型变。这是当你在不同类型的数据上使用泛型类型参数时，类型参数如何表现的概念。有三种主要型变：

不变性： 泛型类型参数始终保持不变。这意味着你不能将 ArrayList<Integer> 用于存储任何其他类型的数据。
协变性： 泛型类型参数可以在子类型之间变化。你可以将 ArrayList<Animal> 用于存储 Animal 或其任何子类，如 Dog 或 Cat。
逆变性： 泛型类型参数可以在父类型之间变化。你可以将 List<Animal> 用于存储 Animal 或其任何父类，如 Object。

为何型变很重要？

型变对于泛型编程至关重要，它允许你创建更灵活、更可重用的代码。让我们以一个示例来说明协变性的力量：

// 定义一个协变的泛型类 AnimalHolder
class AnimalHolder<out T : Animal> {
    val animal: T
}

// 创建一个 AnimalHolder，存储一个 Dog 对象
val dogHolder: AnimalHolder<Dog> = AnimalHolder(Dog())

// 将 dogHolder 赋值给一个 AnimalHolder<Animal>
val animalHolder: AnimalHolder<Animal> = dogHolder

在这个示例中，AnimalHolder 是一个协变的泛型类。dogHolder 存储一个 Dog 对象，它是一个 Animal 的子类。我们可以将 dogHolder 安全地赋值给 animalHolder，因为它存储一个兼容的类型（Animal 或其子类）。

解锁泛型型变的潜力

Kotlin 泛型和型变为你打开了创建强大而灵活的代码的大门。通过理解和运用型变，你可以：