kotlin - 这个通用接口(interface)有什么问题或 Kotlin 编译器无法推断类型吗？

Question

假设我们有一个 Adapter 接口(interface):

interface EventAdapter<E : Event> {
    val event: E
    // ...
}

还有一些实现:

inline class MessageCreateAdapter(override val event: MessageCreateEvent) : EventAdapter<MessageCreateEvent> { /* ... */ }
inline class MessageUpdateAdapter(override val event: MessageUpdateEvent) : EventAdapter<MessageUpdateEvent> { /* ... */ }
// ...

然后我们创建事件的扩展以获取相应的适配器:

fun <E : Event> E.toAdapter(): EventAdapter<E>? {
    return when (this) {
        is MessageCreateEvent -> MessageCreateAdapter(this)
        is MessageUpdateEvent -> MessageUpdateAdapter(this)
        else -> null
    }
}

然后编译器提示 MessageCreateAdapter和 MessageUpdateAdapter不是 EventAdapter<E>? .我无法弄清楚问题出在哪里，或者这不成立的情况。

_{附上一条最小的编译错误信息}

Answer 1

编译器推断出 when 的类型expressinon 作为 MessageCreateAdapter 的最具体的父类(super class)型和 MessageUpdateAdapter (+ 可为空)，即 EventAdapter<out Event>? .问题是编译器没有试图证明这个表达式的计算依赖于 E。 , 因此结果类型可能不仅仅是所有 when 中最具体的父类(super class)型分支机构，但通过 E 强调，所以你需要帮助他并进行一些手动转换:

@Suppress("UNCHECKED_CAST")
fun <E : Event> E.toAdapter() : EventAdapter<E>? {
    return when(this) {
        is MessageCreateEvent -> MessageCreateAdapter(this) as EventAdapter<E>
        is MessageUpdateEvent -> MessageUpdateAdapter(this) as EventAdapter<E>
        else -> null
    }
}