在 Kotlin 中，泛型（Generics）允许我们创建一种灵活的类型，可以适应不同的数据类型。而泛型型变（Covariance, Contravariance, Invariance）是处理 Kotlin 中泛型的一种重要概念。这三个术语的含义如下： 1. 不变性（Invariance）：这是默认的泛型行为。如果你没有指定一个泛型参数的型变，那么它就是不变的。这意味着，对于任何给定的类型 T，T 和 T?（可空 T）是不同的类型，即使他们可能是相同的实例。 2. 协变性（Covariance）：协变允许我们将子类的实例赋值给父类的引用。在 Kotlin 中，协变是通过在尖括号中使用 'out' 关键字来指定的。例如，我们可以定义一个函数，它接受一个 List<out T> 参数，其中 T 是任何类型。这意味着，如果我们有一个 List<Dog>，我们可以将其传递给接受 List<Animal> 的函数。这是因为 Dog 是 Animal 的子类。 3. 逆变性（Contravariance）：逆变允许我们将父类的实例赋值给子类的引用。在 Kotlin 中，逆变是通过在尖括号中使用 'in' 关键字来指定的。例如，我们可以定义一个函数，它返回一个 T 类型的对象，其中 T 是任何类型。这意味着，如果我们有一个返回 Animal 的函数，我们可以将其传递给需要返回 Dog 的函数，只要 Dog 是 Animal 的子类。 下面是一些代码示例： ```kotlin // 不变性 fun printLength(list: List<Int>) { println("Length of list: ${list.size}") } fun main() { val list = ArrayList<Int>() list.add(1) list.add(2) printLength(list) // 正确 } ``` ```kotlin // 协变性 fun printAnimalName(list: List<Animal>) { for (animal in list) { println(animal.name) } } class Dog : Animal() { override fun name() = "Dog" } fun main() { val dogs: List<Dog> = ArrayList() dogs.add(Dog()) printAnimalName(dogs) // 正确 } ``` ```kotlin // 逆变性 fun createAnimal(factory: (Animal) -> Animal): Animal { return factory(Animal()) // 返回 Animal 类型的对象 } class Dog : Animal() { override fun name() = "Dog" } fun main() { val dogFactory: (Animal) -> Dog = { Dog() } val animal: Animal = createAnimal(dogFactory) // 正确：可以传递子类的函数作为父类的函数参数 } ``` [2023-11-09 17:32:06 | AI问答 | 625点数解答]