8

ミュータブルな共変クラスを作成したいので、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

私は何をする必要がありますか？

4

2 に答える 2

11

@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))
于 2012-08-08T07:02:34.990 に答える
9

存在型として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、ただしオプションではないフィールドの場合（特に、あなたのものはプライベートであるため）。forSomeScala の存在型について詳しくは、こちら、こちら、またはこちらをご覧ください。

于 2012-08-08T06:42:55.943 に答える