Opérateur Scala @

Réponses:

179

Il permet de lier un modèle correspondant à une variable. Considérez ce qui suit, par exemple:

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

Vous pouvez facilement extraire le contenu:

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

Mais si vous vouliez pas le contenu de Some, mais l'option elle-même? Cela serait accompli avec ceci:

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

Notez qu'il @peut être utilisé à n'importe quel niveau, pas seulement au niveau supérieur de l'appariement.

Daniel C. Sobral
la source
5
Où trouverais-je cette réponse dans la documentation? J'ai le sentiment que d'autres bonnes choses sont enterrées là aussi. :)
Jim Barrows
1
Référence @Jim Scala, 8.1. 8.12, plus précisément, même si je ne sais pas d'où vient le "comme d'habitude" - et 8.12 ne parlent que de pattern d'expression régulière ( _*). Mais peut-être que cela a été clarifié sur une version plus récente de la spécification.
Daniel C. Sobral
16
J'ajouterais que vous n'utiliseriez probablement pas @avec Some(_), mais plutôt si vous vouliez faire correspondre le contenu du Some, mais vous référer toujours au Some lui-même, par exemple case x @ Some(7) => println(x). Selon mon interprétation, il case x @ Some(_)s'agit simplement d'une version plus détaillée de case x: Some.
Theo
2
Ceci est également traité sous "Liaison de variables" dans la section 15.2 de "Programmation dans Scala - 2ème édition" et utilisé à nouveau dans la section 26.3 (le chapitre sur les extracteurs).
Shaun the Sheep
@Theo case x: Somene fonctionne pas tout seul. Vous devez utiliser case x: Some[_], ce qui n'est pas moins verbeux
Luigi Plinge
74

@peut être utilisé pour lier un nom à un modèle ou sous-modèle correspondant avec succès. Les modèles peuvent être utilisés dans la correspondance de modèles, le côté gauche de l' <-entrée pour les compréhensions et dans les assigments 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)
rétronyme
la source
10

Lorsque la correspondance de modèle variable @ patternlie la variable à la valeur correspondante par modèle si le modèle correspond. Dans ce cas, cela signifie que la valeur de xsera Some(Nil)dans cette clause de cas.

sepp2k
la source
9

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) }
Mitch Blevins
la source
6
Pas de niveau supérieur seulement.
Daniel C. Sobral
2

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

oxbow_lakes
la source
1
Merde l'incapacité des iPhones à rendre un backtick!
oxbow_lakes