不允许对超类型的直接子类型进行投影答案

【问题标题】：projections are not allowed for immediate subtypes of a supertype不允许对超类型的直接子类型进行投影
【发布时间】：2016-12-18 15:31:40
【问题描述】：

我有一个如下抽象类：

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

但同时给出如下错误：

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

什么是正确的语法？

【问题讨论】：

【解决方案1】：

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

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

【讨论】：