generics - 不允许对父类(super class)型的直接子类型进行投影

Question

我有一个如下抽象类:

abstract class AbstractSync<out C : Configuration<*>> : ISync {
    internal abstract val configuration: C
    ...
}

我想要另一个继承自这个的抽象类:

abstract class CascadedSync : AbstractSync {}

CascadedSync 类不应该修改泛型参数 C，它实际上应该只实现 ISync 的一个方法，而不是其他任何东西。

我正在尝试不同的语法来完成这个看似简单的任务。在 Java 中，这看起来就像这样:

abstract class CascadedSync extends AbstractSync {    
}

在 IntelliJ 的帮助下将其翻译成 Kotlin 会产生这样的结果:

abstract class CascadedSync : AbstractSync<*>()

但同时给出如下错误:

不允许对父类(super class)型的直接子类型进行投影

什么是正确的语法？

Answer 1

在 Kotlin 中，与 Java 不同，类型参数不会从类型隐式复制到它们的子类型，即使您不修改它们，也应该在子类型声明中重新声明它们:

abstract class CascadedSync<out C : Configuration<*>> : AbstractSync<C>() {
    // ...
}