Scala @ Operator

Antworten:

179

Es ermöglicht das Binden eines übereinstimmenden Musters an eine Variable. Betrachten Sie zum Beispiel Folgendes:

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

Sie können den Inhalt einfach extrahieren:

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

Was aber , wenn man wollte nicht den Inhalt von Some, sondern die Möglichkeit , selbst? Das würde damit erreicht werden:

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

Beachten Sie, dass @dies auf jeder Ebene verwendet werden kann, nicht nur auf der obersten Ebene des Matchings.

Daniel C. Sobral
quelle
5
Wo in der Dokumentation würde ich diese Antwort finden? Ich habe das Gefühl, dass dort auch andere gute Sachen begraben sind. :)
Jim Barrows
1
@ Jim Scala Referenz, 8.1. Insbesondere 8.12, obwohl ich nicht weiß, woher das "wie üblich" dort stammt - und 8.12 nur von Mustern regulärer Ausdrücke sprechen ( _*). Aber vielleicht wurde dies in einer neueren Version der Spezifikation geklärt.
Daniel C. Sobral
16
Ich würde hinzufügen, dass Sie wahrscheinlich nicht @mit verwenden würden Some(_), sondern wenn Sie auf den Inhalt der übereinstimmen möchten Some, aber immer noch auf die Einige selbst verweisen, z case x @ Some(7) => println(x). Wie ich interpretiere, case x @ Some(_)ist es nur eine ausführlichere Version von case x: Some.
Theo
2
Dies wird auch unter "Variablenbindung" in Abschnitt 15.2 von "Programmieren in Scala - 2. Ausgabe" behandelt und in Abschnitt 26.3 (Kapitel über Extraktoren) erneut verwendet.
Shaun das Schaf
@ Theo case x: Somefunktioniert nicht alleine. Sie müssen verwenden case x: Some[_], was nicht weniger ausführlich ist
Luigi Plinge
74

@kann verwendet werden, um einen Namen an ein erfolgreich übereinstimmendes Muster oder Untermuster zu binden. Muster können beim Mustervergleich, auf der linken Seite des <-In zum Verständnis und bei der Destrukturierung von Aufgaben verwendet werden.

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)
Retronym
quelle
10

Wenn der Mustervergleich variable @ patterndie Variable an den Wert bindet , der dem Muster entspricht, wenn das Muster übereinstimmt. In diesem Fall das bedeutet , dass der Wert xwird Some(Nil)in diesem Fall-Klausel.

sepp2k
quelle
9

Ermöglicht das Anpassen der obersten Ebene eines Musters. Beispiel:

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
quelle
6
Nicht nur auf höchstem Niveau.
Daniel C. Sobral
2

Es setzt den Wert von xauf das Muster, das übereinstimmt. In Ihrem Beispiel xwäre daher Some(Nil)(wie Sie aus einem Aufruf an println feststellen könnten )

oxbow_lakes
quelle
1
Verdammt die Unfähigkeit von iPhones, einen Backtick zu rendern!
oxbow_lakes