覆盖子类型Kotlin / Java中的函数类型

Question

我有这个界面：

// Interface for any simulation that is integrated against dt

interface SimulationState {

    fun integrate(totalTime: Long, deltaTime: Long) : SimulationState

    fun interpolate(alpha: Double, previousState: SimulationState) : SimulationState

    fun preRender() : Collection<Pair<Int, Int>>

}

在这种情况下，实现与我的问题无关。问题是我可以覆盖子类型中的函数类型吗？下面是一个示例，该示例无法编译；因此，我提出这个问题的原因。

interface ShipState : SimulationState {

    // Still in abstract, just hope I can somehow override the function type...

    override fun integrate(totalTime: Long, 

                           deltaTime: Long,

                           asteroidVectors: Collection<Pair<Double, Double>>) : SimulationState

}

希望上面公认的未编译代码能清楚表明我的意图。Java / Kotlin是否可能？如果是这样，我将如何处理？

Answer 1

JVM对象结构具有指向可用方法表的内部指针。当您调用对象的方法时，JVM会访问该表（将其称为vtable），如果找到了方法，它将执行该表。但是，如果那里没有找到方法怎么办？然后，它尝试在父类中找到此方法。可以在编译期间检测到这些访问，这有助于避免在运行时调试时出现非常复杂的问题。现在，让我们想象您的例子是可能的。您有一个实现的类，ShipState并且通过它也实现了SimulationState。您可以integrate通过接口ShipState（带有3个参数的接口）实现您的方法。但是等等，您的对象仍然是类型SimulationState，对吗？现在，让我们假设您想创建一组仿真并以单一方式处理它们：val simpleSimulation = SimulationStateImpl() //imaginary implementation of base interfaceval shipSimulation = ShipSimulationImpl() // again imaginary implementationval simulations = listOf<SimulationState>(simpleSimulation, shipSimulation)simulations.forEach { it.integrate(totalTime = 100, deltaTime = 50) }接下来发生什么？在第一次迭代中，一切都很好。当你调用integrate的simpleSimulationJVM访问它的虚函数表，发现执行integrate与两个参数并调用它。美好的。在第二次迭代中，JVM访问object的vtable shipSimulation。它尝试解析integrate带有两个参数的方法，但没有找到它。好吧，下一步该怎么做？有类似的方法具有三个参数，我们应该调用它吗？如果是，我们需要传递哪个参数？null？为什么？如果您的类似方法多了5个参数，该怎么办？编译器和运行时无法解决此问题，这就是失败的原因。就Java / Kotlin OOP而言，您要做的不是override。您只需将新方法添加到新接口，巧合的是，该接口看起来与另一个接口非常相似。但是，这种巧合并不意味着它是相同的方法。

Answer 2

也许你不需要override，但overload。如果是，只需override从派生接口中删除关键字。如果需要override（将使用多态性），则两个函数必须具有相同的签名。无法覆盖该功能：(Long,&nbsp;Long)&nbsp;->&nbsp;SimulationState具有功能：(Long,&nbsp;Long,&nbsp;Collection)&nbsp;->&nbsp;Unit