Question

以下是我原始代码的简化版本，以简化操作（对不起，它仍然有点复杂）：

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(→ message ← here)处错误编译：

类型不匹配; 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不会发生这种情况。所以它可能与协方差有关。任何建议或帮助将不胜感激。

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

Answer 1

我不知道原因，但是为了给@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)

所以基本上代替伴随对象中的类定义，只需在类

中定义它

Answer 2

我认为问题在于编译器被类型参数Builder和类Builder

搞糊涂了

基本上，SomeMessage.Builder可以引用继承的类型和对象，但是，它首先尝试实例，然后才尝试对象。</ p>

我尝试了一个简单的更改：我将类构建器更改为builder2（以及对它的相关引用），它似乎有效。

Scala：越野车型推断？

2 个答案: