generics - kotlin 中的递归类型参数

Question

我想用 Kotlin 写类似的东西。

open class View<P> where P:Presenter<out _this_class_> {
    val presenter: P = ...
}

open class Presenter<V> where V: View<out _this_class_> {
    val view: V = ...
}

我怎样才能正确地做到这一点？

Answer 1

标准方式(称为 F-bounded polymorphism )是

open class View<V: View<V, P>, P: Presenter<out V>> { ... }

根据具体情况，将 out 放在此处的其他位置可能更有意义:

open class View<out V: View<V, P>, out P: Presenter<V>> { ... }