Was macht der @ Operator von Scala?
Zum Beispiel gibt es in dem Blog-Beitrag Formale Sprachverarbeitung in Scala, Teil 2 so etwas
case x @ Some(Nil) => x
Was macht der @ Operator von Scala?
Zum Beispiel gibt es in dem Blog-Beitrag Formale Sprachverarbeitung in Scala, Teil 2 so etwas
case x @ Some(Nil) => x
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.
_*
). Aber vielleicht wurde dies in einer neueren Version der Spezifikation geklärt.@
mit verwenden würdenSome(_)
, sondern wenn Sie auf den Inhalt der übereinstimmen möchtenSome
, aber immer noch auf die Einige selbst verweisen, zcase x @ Some(7) => println(x)
. Wie ich interpretiere,case x @ Some(_)
ist es nur eine ausführlichere Version voncase x: Some
.case x: Some
funktioniert nicht alleine. Sie müssen verwendencase x: Some[_]
, was nicht weniger ausführlich ist@
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.quelle
Wenn der Mustervergleich
variable @ pattern
die Variable an den Wert bindet , der dem Muster entspricht, wenn das Muster übereinstimmt. In diesem Fall das bedeutet , dass der Wertx
wirdSome(Nil)
in diesem Fall-Klausel.quelle
Ermöglicht das Anpassen der obersten Ebene eines Musters. Beispiel:
quelle
Es setzt den Wert von
x
auf das Muster, das übereinstimmt. In Ihrem Beispielx
wäre daherSome(Nil)
(wie Sie aus einem Aufruf an println feststellen könnten )quelle