不允许对超类型的直接子类型进行投影
我有一个像下面这样的抽象类:
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<*>()
但在同一时间给出了以下错误:
不允许对超类型的直接子类型进行投影
什么是正确的语法?
在Kotlin中,与Java不同,类型参数不是从类型隐式复制到它们的子类型,即使不修改它们,它们也应该在子类型声明中重新声明:
abstract class CascadedSync<out C : Configuration<*>> : AbstractSync<C>() { // ... }