可变协变类中 Scala 字段的下限类型

Question

我想创建一个可变的协变类，所以我需要向setter方法添加一个下限类型。 但是我也希望setter方法设置一个字段，所以我想该字段需要绑定相同的类型吗？

class Thing[+F](initialValue: F) {
    private[this] var secondValue: Option[G >: F] = None
    def setSecondValue[G >: F](v: G) = {
        this.secondValue = Some(v)
     }
}

该方法编译良好。 但是名为 secondValue 的字段根本无法编译，并显示错误消息：

    Multiple markers at this line
        - ']' expected but '>:' found.
        - not found: type G

我需要做什么？

Answer 1

@mhs答案是正确的。

您还可以使用通配符语法（如在 java 中），其含义完全相同：

scala> :paste
// Entering paste mode (ctrl-D to finish)
class Thing[+F](initialValue: F) {
  private[this] var secondValue: Option[_ >: F] = None
  def setSecondValue[G >: F](v: G) = {
    this.secondValue = Some(v)
  }
  def printSecondValue() = println(secondValue)
}
// Exiting paste mode, now interpreting.
defined class Thing
scala> val t = new Thing(Vector("first"))
t: Thing[scala.collection.immutable.Vector[java.lang.String]] = Thing@1099257
scala> t.printSecondValue()
None
scala> t.setSecondValue(Seq("second"))
scala> t.printSecondValue()
Some(List(second))

Answer 2

你需要forSome结构，它将G作为存在类型引入：

class Thing[+F](initialValue: F) {
  private[this] var secondValue: Option[G] forSome { type G >: F} = None
  def setSecondValue[G >: F](v: G) = {
    this.secondValue = Some(v)
  }
}

在 secondValue 的原始代码中，G是凭空提取的，即它没有被正确引入。在setSecondValue的情况下，用户（或编译器）在调用站点绑定G，但对于一个字段，这不是一个选项（特别是，因为你的字段是私有的）。阅读更多关于 Scala 中的forSome和存在类型的信息，这里或这里。