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

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>() {
    // ...
}