对于超类型的直接子类型,不允许进行投影

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<*>()

但同时给出以下错误:

对于超类型的直接子类型,不允许进行投影

什么是正确的语法？

Answer 1

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

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