主页 / coding / 问题 / 79468115
Accepted
excitedGoose
Asked: 2025-02-26 07:22:03 +0800 CST

为什么这不会违反不变性规则？

  • 772
open class Animal(val name: String)

class Dog(name: String) : Animal(name)

class Box<T>(private val item: T) {
    fun get(): T {
        return item
    }
}

fun main() {
    val dogBox: Box<Dog> = Box(Dog("Buddy"))
    val animalBox: Box<Animal> = dogBox // This would NOT compile
}

这是预料之中的，因为泛型是不变的（我们可以通过使用“out”来解决这个问题——允许协变），但如果我们将 main 的方法体改为

 val animalBox: Box<Animal> = Box(Dog("Buddy")) // This compiles

我不明白为什么会发生这种情况，也不明白内部是如何处理的。RHS 不是这样吗Box<Dog>？通用匹配 Animal 吗？

kotlin

1 个回答

  1. Best Answer

    当你调用Box构造函数时，会进行类型推断来确定 的类型参数Box。它最终决定 的类型参数Box是Animal，即你正在执行：

    val animalBox: Box<Animal> = Box<Animal>(Dog("Buddy"))

    构造Box<Animal>函数采用 的实例Animal。Dog可以转换为Animal，因此完全没有问题。

    这里的关键思想是类型推断是双向的。从语言规范来看，

    Kotlin 中的类型推断是双向的；这意味着表达式的类型不仅可以根据其参数推导，还可以根据其用法推导。请注意，尽管是双向的，但此过程仍然是局部的，这意味着它一次处理一个语句，严格按照它们在范围内出现的顺序；例如，语句 S2 之前的语句 S1 中的属性类型不能根据 S1 在 S2 中的使用方式推断出来。

    类型推断不仅考虑参数Dog("Buddy")，还考虑表达式出现的上下文——赋值的右边需要是类型Box<Animal>。

    • 4

相关问题