Tipo inferiore associato al campo Scala nella classe mutevole, covariante?

Question

Voglio creare una classe covariante che è mutabile, quindi ho bisogno di aggiungere un tipo più basso legato al metodo setter. Ma voglio anche che il metodo setter per impostare un campo, quindi immagino che il campo debba avere lo stesso tipo associato?

class Thing[+F](initialValue: F) { 

    private[this] var secondValue: Option[G >: F] = None 

    def setSecondValue[G >: F](v: G) = { 
     this.secondValue = Some(v) 
    } 
} 

Il metodo si compila bene. Ma il campo chiamato secondValue non viene compilato affatto, con il messaggio di errore:

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

Cosa devo fare?

Answer 1

è necessario il forSome costrutto, che introduce G come tipo esistenziale:

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) 
    } 
} 

Nel codice originale per secondValue, G è stato tirato fuori dal nulla, cioè, non è stato introdotto correttamente. In caso di setSecondValue l'utente (o il compilatore) associa G al sito di chiamata, ma per un campo che non è un'opzione (soprattutto, poiché il tuo è privato). Ulteriori informazioni su forSome e tipi esistenziali in Scala here, here o here.

Answer 2

@mhs risposta è giusta.

È possibile anche utilizzare la sintassi jolly (come in Java), che ha esattamente lo stesso significato:

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))