generics - 如何解决 Kotlin 中违反有限界限制的问题？

Question

这个问题在这里已经有了答案:

Cross references in type parameters (2 个回答)

关闭 5年前。

假设我在 Java 中有这个声明，没关系。

abstract class Start<T extends End> {
    public T end;
}

abstract class End<T extends Start> {
    public T start;
}

但是，在 Kotlin 中不行，因为 Kotlin 对“循环”类型参数有限制。

abstract class Start<T : End<*>> {
    lateinit var end: T
}

abstract class End<T : Start<*>> {
    lateinit var start: T
}

在 Kotlin 中是否有任何方法可以解决这个问题，以便我可以拥有相互依赖的泛型类型？

Answer 1

不可能只使用一个类型参数。引入 Self 类型，这是一些其他语言原生支持的，是必要的。但是，在 kotlin 中，您必须自己引入 Self 类型，因为 JetBrains officially turned down the request of adding self type .

abstract class Start<Self: Start<Self, T>, T: End<T, Self>> {
    lateinit var end: T
}

abstract class End<Self: End<Self, T>, T: Start<T, Self>> {
    lateinit var start: T
}

PS:这个 Self 以后可能会导致冗长的类型。谨慎行事。