Kotlin的动态/双重调度有什么限制?

我刚开始研究Kotlin,我很好奇它超越了Java的核心动态绑定/调度语义。

假设我编写的代码如下所示:

    类动物{
         fun add(x:Animal)=动物()
     }

    对象马:动物
    对象驴:动物
    对象骡:动物

    有趣Horse.add(x:Horse)=马()
    有趣的Horse.add(x:驴子)=骡子()

     fun main(args:Array){
         val h:动物=马
         val d:动物=驴
         val孩子= h + d
     }

根据上面的代码 – 我可以期望发生什么? 因为Horse没有实现add(Animal),所以在运行时会出现故障吗? 它可以准确地区分它们在上述性质的调用,其中比较值的编译时间类型是动物(至少,如书面),但其运行时间类型更具体? 如果我们使用var而不是val,它会改变什么吗?

提前致谢。

编辑:修改后的核心代码 – 我看到第一个响应者突出显示的问题,我没有直接思考。 显然我没有真正编译这个,我仍然在概念层面上进行探索。

另外,我会在实际的编译器中给它一个镜头,但是我担心会出现这样的情况,而其他的则不是基于我不完全理解的标准。 我无法找到关于如何在Kotlin中实现动态分派的参考文档(对于Java也不太确定,几个月前我写了一些基于JVM文档的文章,但是没有而且我从来没有机会去探究为什么)。

无论如何,再次感谢!

2 Solutions collect form web for “Kotlin的动态/双重调度有什么限制?”

所以这里是你实际编译的代码的一个版本:

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 

结果是“Animal @ 1906bcf8”。

据我所知,扩展方法,即Horse.plus(x:Horse)Horse.plus(x:Donkey) ,是静态调度。 这是因为它们基本上被编译为与以下Java代码相同的字节码:

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

顺便说一下,这对于Java 8中的默认方法来说是一个很大的区别,它们是基于运行时类型动态调度的,并且可以被重写。

这个代码根本不可编译,因为Animal没有任何“+”运算符。

如果他们允许在动物上使用Horse“+”方法,那么你会得到运行时错误,kotlin / java /等等。 试图阻止。

Kotlin不会使用运行时类型来解析方法和东西,因为有可能产生运行时错误。

如果另一个线程在同一时间将动物改变为骡,那么另一个线程改变动物的确切线/时间是不确定的,所以这可能导致运行时错误。

Val或者var在这种情况下不会改变任何东西。

  • 不能使用Gradle和Kotlin编译项目
  • onCreate从Java转换到Kotlin后崩溃
  • 有关DI,ViewModel等的问题
  • Android Studio上的Kotlin(非Android)项目的ClassNotFoundException错误
  • Android Studio 3.1 Canary 4 Genymotion模拟器插件失败
  • 订阅多个视图到一个视图onclick和可见性改变RxAndroid
  • 如何从包类名字符串中获取Kotlin KClass?
  • Kotlin在Swift中有一个相当于隐式展开的可选项吗?
  • 模块必须设置
  • Kotlin的构造函数
  • 如何将kotlin源文件转换为java源文件
  • Kotlin language will be the best programming language for Android.