如何在基类中使用逆变参数？

在基类中使用逆变参数是通过在泛型类型参数前加上in关键字来实现的。逆变参数允许我们在派生类中使用基类的类型或其子类型作为方法的参数类型。

下面是一个示例代码，展示了如何在基类中使用逆变参数：

// 定义一个基类 Animal
open class Animal(val name: String)

// 定义一个接口 AnimalShelter，其中的方法参数使用逆变参数
interface AnimalShelter<in T : Animal> {
    fun shelter(animal: T)
}

// 定义一个派生类 Cat，继承自 Animal
class Cat(name: String) : Animal(name)

// 实现 AnimalShelter 接口
class CatShelter : AnimalShelter<Cat> {
    override fun shelter(animal: Cat) {
        println("将猫咪 ${animal.name} 收养到猫咪收容所")
    }
}

fun main() {
    val cat: Animal = Cat("小花")
    val shelter: AnimalShelter<Animal> = CatShelter()
    shelter.shelter(cat)
}

在上面的代码中，我们定义了一个基类Animal和一个派生类Cat。然后，我们定义了一个接口AnimalShelter，其中的方法shelter使用了逆变参数in T，表示可以接受Animal或其子类型作为参数。

接着，我们实现了AnimalShelter接口的一个具体类CatShelter，并重写了shelter方法。在main函数中，我们创建了一个Cat对象，并将其赋值给类型为Animal的变量cat。然后，我们创建了一个AnimalShelter<Animal>类型的变量shelter，并将其赋值为CatShelter的实例。最后，我们调用shelter的shelter方法，传入cat作为参数。