不允许对超types的直接子types进行投影
我有一个像下面这样的抽象类:
abstract class AbstractSync<out C : Configuration> : ISync { internal abstract val configuration: C ... }
我想要另一个inheritance自这个的抽象类:
abstract class CascadedSync : AbstractSync {}
CascadedSync类不应修改通用参数C,实际上它只应实现一个ISync的方法,而不是其他的方法。
我正在尝试不同的语法来实现这个看似简单的任务。 在Java中,这看起来就像这样:
abstract class CascadedSync extends AbstractSync { }
在IntelliJ的帮助下将其翻译成Kotlin会产生如下结果:
abstract class CascadedSync : AbstractSync()
但在同一时间给出了以下错误:
不允许对超types的直接子types进行投影
什么是正确的语法?
在Kotlin中,与Java不同,types参数不是从types隐式复制到它们的子types,即使不修改它们,它们也应该在子types声明中重新声明:
abstract class CascadedSync> : AbstractSync() { // ... }