如何给协变泛型类型参数起别名

Question

以下代码无法编译（在 Scala 2.11 中）：

case class CovariantClass[+R](value: R) {
  type T = R
  def get: R = value
}

object Main {
  def main(args: Array[String]): Unit ={
    println(CovariantClass[String]("hello").get)
  }
}

错误信息是：

Error:(4, 8) covariant type R occurs in invariant position in type R of type T
  type T = R
       ^

为什么我不能为协变类型参数设置别名？如果我删除行type T = R，代码编译并打印hello，所以别名似乎是问题所在。不幸的是，这意味着我无法为更复杂的类型创建别名，例如，type T = List[R] 也无法编译，尽管List 是协变的。

Answer 1

来自scala spec：

类型别名的右侧始终处于不变的位置。

这意味着您不能创建别名T 并在右侧指定变体类型R。这同样适用于List[R]，因为它也是协变的。

您可以，但是提供带有类型参数的类型别名：

case class CovariantClass[+R](value: R) {
  type T[+R] = List[R]
  def get: R = value
}

如果您发现自己想为类型参数 R 起别名，您可能应该首先将其命名为其他名称。

Answer 2

这是被禁止的，因为它会允许不正确的程序，这始终是规则。你可以这样重写：

case class CovariantClass[+R](value: R) {
  type T <: R
  def get: R = value
}

至于它如何破坏的示例，请考虑以下内容：

case class CovariantClass[+R](value: R) {
  type T = Int
  def get: R = value
  def put(x: T) {}
  def put2(x: R) {}
}

因为T 是如何定义的，所以它是不变的。这意味着它可以用于协变类型不能使用的地方，例如上面所见。请注意，put 可以编译，但 put2 没有。