对于超级类型的直接子类型，不允许投影。

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