Scala：越野车型推断？

2023年3月31日 188次阅读

以下是我原始代码的简化版本,以使事情变得更简单(抱歉,它仍然有点复杂)：

trait BuilderBase
trait MessageBase {
  type Builder <: BuilderBase
}
class SomeMessage extends MessageBase {
  type Builder = SomeMessage.Builder
}
object SomeMessage {
  class Builder extends BuilderBase
}
class Covariant[+T]
class NonCovariant[T]
def func[T <: MessageBase](value: Covariant[T]): Covariant[T#Builder] = null

val message: Covariant[SomeMessage] = null
val result: Covariant[SomeMessage.Builder] = func(message)

并且最后一行无法在func处编译错误(→消息←此处)：

type mismatch; found : Covariant[SomeMessage] required: Covariant[SomeMessage.type]

绝对func接受作为MessageBase的子类的T的Covariant的参数,需要的是Covariant [SomeMessage]而不是Covariant [SomeMessage.type],因为SomeMessage.type(伴随对象SomeMessage的类型)不符合MessageBase.

奇怪的是,错误在没有类型注释的情况下消失,例如,val result = func(message),结果的类型与其含义完全相同：Covariant [SomeMessage.Builder].所以它只是失败了正确的类型注释.这是一个错误吗？

还有一个线索是,所有Covariant都替换为NonConvariant不会发生这种情况.所以它可能与协方差有关.任何建议或帮助将不胜感激.

我知道一些小调整可以解决这个特定问题,例如：简单地省略类型注释可能就是其中之一.但是如果我可以通过给出一些命令行选项来获得更多有关编译器实际情况的线索,那将会非常有用.

最佳答案 我也不知道原因,但是为了给@AssafMendelson的回答略作替代,下面的工作也是如此：

trait BuilderBase

trait MessageBase {
  type Builder <: BuilderBase
}
class SomeMessage extends MessageBase {
  type Builder = BuilderBase {}
}

class Covariant[+T]
class NonCovariant[T]
def func[T <: MessageBase](value: Covariant[T]): Covariant[T#Builder] = null

val message: Covariant[SomeMessage] = null
val result: Covariant[SomeMessage#Builder] = func(message)

因此,基本上代替伴随对象中的类定义,只需在类中定义它

点赞