kotlin - Kotlin 中的密封类，不兼容的类型错误

Question

我有以下 Kotlin 代码。一个名为 Animal 的密封类, 和两个对象类 Dog和 Cat继承自密封类 Animal .我在 when 中收到此错误is Cat 案例中的子句。

Incompatible types: Cat and Dog

为什么会出现这个错误？如何在 Kotlin 中使用密封类进行这种类型的操作？密封类是做多态的好选择吗？

sealed class Animal {
  abstract fun speak()
}

object Dog : Animal() {
    override fun speak() { println("woof") }
}

object Cat : Animal() {
    override fun speak() { println("meow") }
}

fun main(args: Array<String>) {
    var i = Dog
    i.speak()
    when(i) {
        is Dog -> {
            print("Dog: ")
            i.speak()
        }
        is Cat -> {
            print("Cat: ")
            i.speak()
        }
    }
}

Answer 1

缺少的部分是var i: Animal = Dog
基本上编译器提示类型 - Cat不是 Dog 的子类型(但它们都是 Animal 的子类型，这就是为什么如果您显式设置基类型代码将编译和工作