Opérateur Scala @

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

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.

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

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.

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

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 )