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

Question

我有下面的Kotlin代码。一个名为animal的密封类和两个对象类dog和cat继承自密封类animal。我在is Cat情况下的when子句中得到这个错误。

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的子类型，这就是为什么如果您显式地设置了基类型，代码将会编译和工作