web-dev-qa-db-fra.com

Scala @ opérateur

Que fait l'opérateur @ de Scala?

Par exemple, dans le billet de blog Traitement du langage formel dans Scala, Partie 2 il y a quelque chose comme ça

case x @ Some(Nil) => x
scalaoperators
123
lowercase

Il permet de lier un modèle correspondant à une variable. Tenez compte des éléments suivants, par exemple:

val o: Option[Int] = Some(2)

Vous pouvez facilement extraire le contenu:

o match {
  case Some(x) => println(x)
  case None =>
}

Mais que se passe-t-il si vous ne voulez pas le conten de Some, mais l'option elle-même? Cela serait accompli avec ceci:

o match {
  case x @ Some(_) => println(x)
  case None =>
}

Notez que @ peut être utilisé au niveau any, pas seulement au niveau supérieur de la correspondance.

170
Daniel C. Sobral

@ peut être utilisé pour lier un nom à un modèle ou à un sous-modèle correctement apparié. Les motifs peuvent être utilisés pour la correspondance de motifs, le côté gauche de la <- dans les compréhensions et dans les tâches de déstructuration.

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

Vous permet de faire correspondre le niveau supérieur d'un motif. Exemple:

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) }
9
Mitch Blevins

Lorsque le modèle correspondant variable @ pattern Lie variable à la valeur correspondant à modèle si le modèle correspond. Dans ce cas, cela signifie que la valeur de x sera Some(Nil) dans cette clause case.

9
sepp2k

Il définit la valeur de x sur le modèle qui correspond. Dans votre exemple, x serait donc Some(Nil) (comme vous pouvez le déterminer à partir d'un appel à println)

2
oxbow_lakes