Cosa fa l'operatore @ di Scala?
Ad esempio, nel post sul blog Formal Language Processing in Scala, Parte 2 c'è qualcosa del genere
case x @ Some(Nil) => xCosa fa l'operatore @ di Scala?
Ad esempio, nel post sul blog Formal Language Processing in Scala, Parte 2 c'è qualcosa del genere
case x @ Some(Nil) => xRisposte:
Permette di legare un modello abbinato a una variabile. Considera quanto segue, ad esempio:
val o: Option[Int] = Some(2)Puoi estrarre facilmente il contenuto:
o match {
case Some(x) => println(x)
case None =>
}E se non volessi il contenuto di Some, ma l'opzione stessa? Ciò si realizzerebbe con questo:
o match {
case x @ Some(_) => println(x)
case None =>
}Si noti che @può essere utilizzato a qualsiasi livello, non solo al livello superiore della corrispondenza.
_*). Ma forse questo è stato chiarito su una versione più recente della specifica.
@con Some(_), ma se si voleva abbinare sui contenuti del Some, ma ancora fare riferimento alla Alcuni stesso, ad esempio case x @ Some(7) => println(x). Come interpreto, case x @ Some(_)è solo una versione più dettagliata di case x: Some.
case x: Somenon funziona da solo. Devi usare case x: Some[_], che non è meno
@può essere utilizzato per associare un nome a un modello o modello secondario correttamente associato. I pattern possono essere usati nella corrispondenza dei pattern, nella parte sinistra di <-in per le comprensioni e nelle asserzioni destrutturanti.
scala> val d@(c@Some(a), Some(b)) = (Some(1), Some(2))
d: (Some[Int], Some[Int]) = (Some(1),Some(2))
c: Some[Int] = Some(1)
a: Int = 1
b: Int = 2
scala> (Some(1), Some(2)) match { case d@(c@Some(a), Some(b)) => println(a, b, c, d) }
(1,2,Some(1),(Some(1),Some(2)))
scala> for (x@Some(y) <- Seq(None, Some(1))) println(x, y)
(Some(1),1)
scala> val List(x, xs @ _*) = List(1, 2, 3)
x: Int = 1
xs: Seq[Int] = List(2, 3)Consente di abbinare il livello superiore di un modello. Esempio:
case x @ "three" => assert(x.equals("three"))
case x @ Some("three") => assert(x.get.equals("three")))
case x @ List("one", "two", "three") => for (element <- x) { println(element) }Imposta il valore del xmodello corrispondente. Nel tuo esempio, xsarebbe quindi Some(Nil)(come potresti determinare da una chiamata a println )