Kotlin动态/双派单的限制是什么？

Question

    class Animal {
        fun add(x:Animal) = Animal()
    }

    object Horse : Animal
    object Donkey : Animal
    object Mule : Animal

    fun Horse.add(x:Horse) = Horse()
    fun Horse.add(x:Donkey) = Mule()

    fun main(args : Array) {
        val h:Animal = Horse
        val d:Animal = Donkey
        val child = h + d
    }

基于上面的代码--我能期望发生什么？我在运行时会因为Horse没有实现add（Animal）而失败吗？在上述性质的调用中，被比较的值的编译时类型是动物的（至少，正如所写的那样），但它们的运行时类型更具体，它能准确地区分它们吗？如果我们使用var而不是val，这有什么改变吗？

提前道谢。

编辑：修改的核心代码--我看到了第一个响应者强调的问题，我没有正确地思考。显然，我还没有真正编译这个，我仍然是在一个概念层面上探索。

Answer 1

下面是一个实际编译的代码版本：

fun main(vararg args: String) {
    val h:Animal = Horse
    val d:Animal = Donkey
    val child = h + d
    println(child)
}

open class Animal {
    fun plus(x:Animal) = Animal()
}

object Horse : Animal()
object Donkey : Animal()
object Mule : Animal()

fun Horse.plus(x:Horse) = Horse
fun Horse.plus(x:Donkey) = Mule

结果是“动物@1906BCF8”。

据我理解，扩展方法，即horse.plus(x:hors)和horse.plus(x:donkey)是静态调度的。这是因为它们基本上被编译成与以下Java代码相同的字节代码：

static Horse plus(Horse $receiver, Horse x) {
    return Horse.INSTANCE;
}