kotlin - 如何使用其接口(interface)作为泛型声明变量

Question

我正在将一些 Java 代码转换为 Kotlin，并且我遇到了一些基本上像下面这样工作的代码:

interface Animal {}

class Dog : Animal {}

interface Leash<in T: Animal> {
    fun attachToCollarOf(animal: T)
}

class DogLeash : Leash<Dog> {
    override fun attachToCollarOf(animal: Dog) {
        TODO("Not yet implemented")
    }
}

val foo: Leash<Animal> = DogLeash

尝试分配 foo 时给定类型为 DogLeash() ，我收到以下错误: error: type mismatch: inferred type is DogLeash but Leash<Animal> was expected .是否有 in 的某种组合？ , out或 with这将允许我在最后一行做作业？

Answer 1

号码in制作类型 contravariant , 所以 DogLeash不是 Leash<Animal> 的子类型. Leash<Animal> 类型的引用将允许您调用 attachToCollarOf在任何 Animal , 而 DogLeash只能使用 Dog s - 编译器正确地禁止这个赋值。相反，如果您有:

class AnimalLeash : Leash<Animal> {
    override fun attachToCollarOf(animal: Animal) {
        println("Attached to Animal")
    }
}

然后做 val leash: Leash<Dog> = AnimalLeash()可行:对 Leash<Dog> 的引用允许您调用 attachToCollarOf在 Dog仅 s，但任何 AnimalLeash为 Dog 工作.