Scala opérateur @

Ce n'Scala opérateur @ faire?

Par exemple, dans le billet de blog Le Langage formel de Traitement en Scala, Partie 2 il y a un quelque chose comme cela

case x @ Some(Nil) => x
InformationsquelleAutor lowercase | 2010-03-01
  1. 171

    Elle permet de lier un motif correspondant à une variable. Considérez les points 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 faire si vous ne voulais 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 =>
}

    Noter que @ peut être utilisé à tout niveau, et pas seulement au plus haut niveau de l'appariement.

    • Où dans la documentation pourrais-je trouver cette réponse? J'ai le sentiment qu'il existe d'autres bonnes choses qui y sont enterrés ainsi. 🙂
    • Scala De Référence, 8.1. 8.12, plus précisément, si je ne sais pas où le "comme d'habitude" venu là -- et 8.12 seulement parler de modèle d'expression régulière (_*). Mais peut-être que cela a été précisé sur une nouvelle version de la spécification.
    • Je voudrais ajouter que vous ne serait probablement pas utiliser @ avec Some(_), mais plutôt si vous voulais match sur le contenu de la Some, mais encore reportez-vous à la lui-même, par exemple,case x @ Some(7) => println(x). Comme je l'interpréter case x @ Some(_) est juste une version plus détaillée de case x: Some.
    • C'est également couvert par le "Variable de liaison", à l'Article 15.2 de la "Programming in Scala - 2ème Édition" et de nouveau utilisé dans la section 26.3 (le chapitre sur les extracteurs).
    • x: Certains ne fonctionne pas sur son propre. Vous devez utiliser case x: Some[_], ce qui n'est pas moins verbeux
    • Peut-on utiliser le caractère @ pour retourner le résultat de l'application d'une fonction sur l'article correspondant. Par exemple: Match a de type Any et si il est de type Long puis retour a.toString. Cela peut être fait naïvement que def foo(a:Any) = a match {case l:Long => l.toString}. Mais je veux que le côté Gauche de => retour d'un String plutôt que Long, mais seulement si a est de type Long.
    • Désolé, je ne comprends pas ce que vous demandez. Merci de poster une question au lieu de demander à un commentaire.
    • foo(a:Un) = un match { case l:Long => val x = bar(l); // faire quelque chose avec x }. Dans ce cas, je suis intéressé par bar(l), pas l. Pouvons-nous faire le match, de sorte que le membre de droite de => a bar(l) de travailler directement plutôt que l; c'est à dire, la bar(l) est calculée sur la GAUCHE de =>. Quelque chose comme case l:Long (x@bar(l)) => (cela ne fonctionne pas).

    InformationsquelleAutor Daniel C. Sobral
  2. 70

    @ peut être utilisé pour lier un nom à réussi d'un motif correspondant, ou un sous-modèle. Les modèles peuvent être utilisés dans un modèle d'appariement, le côté gauche de la <- pour des compréhensions, et en déstructurant assignations.

    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)
    InformationsquelleAutor retronym
  3. 9

    Vous permet de faire correspondre le haut-niveau 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) }
    • Pas de niveau supérieur seulement.
    InformationsquelleAutor Mitch Blevins
  4. 9

    Lorsque le pattern matching variable @ pattern lie variable à la valeur compensée par modèle si le modèle correspond. Dans ce cas, cela signifie que la valeur de x sera Some(Nil) dans ce cas-clause.

    InformationsquelleAutor sepp2k
  5. 2

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

    • Putain l'incapacité d'iphone à rendre un backtick!
    InformationsquelleAutor oxbow_lakes