函数返回基接口的泛型类 - 类型不匹配

【问题标题】：Function returns generic class of base interface - Type mismatch函数返回基接口的泛型类 - 类型不匹配
【发布时间】：2019-11-29 16:56:13
【问题描述】：

倒数第二行没有编译，但最后一行编译正常：

是什么原因（他们好像和我一样）？
我可以进行哪些更改以使return if(true) m1 else m2 能够编译？

编译错误：

类型不匹配：推断类型为 Hold<HelloMsg> 但应为 Hold<Msg>

interface Msg
class HelloMsg: Msg
class ByeMsg: Msg
class Hold<T: Msg>(val msg: T)

fun test(): Hold<Msg> {
  val m1 = Hold(HelloMsg())
  val m2 = Hold(ByeMsg())
  return if(true) m1 else m2                             //DOESN'T COMPILE
  return if(true) Hold(HelloMsg()) else Hold(ByeMsg())   //COMPILES
}

【问题讨论】：

我想我已经有了第二个问题的答案：fun test(): Hold<out Msg> { ... }

标签： generics kotlin

【解决方案1】：

我可以更改什么以使 return if(true) m1 else m2 能够编译？

制作Holdcovariant:class Hold<out T: Msg>(val msg: T)。那么Hold<HelloMsg> 和Hold<ByeMsg> 都将是Hold<Msg> 的子类型。

我想我已经有了第二个问题的答案：fun test(): Hold<out Msg> { ... }

是的，这也有效，但更本地化。 class Hold<out T> 基本上等同于所有使用标记为out 的Hold。

是什么原因（他们好像和我一样）？

在if(true) m1 else m2 的情况下，m1 和m2 的类型已经被它们的声明所固定，并且不同于Hold<Msg>。

在if(true) Hold(HelloMsg()) else Hold(ByeMsg()) 中，编译器在输入Hold(HelloMsg()) 时知道它必须是Hold<Msg>。所以它推断类型参数为Hold<Msg>(HelloMsg())。与其他分支相同。

【讨论】：