Scala @ operator

Question

Co robi operator Scala @?

Na przykład w blogu pisać Formal Language Processing in Scala, Part 2 istnieje coś takiego

case x @ Some(Nil) => x 

Answer 1

Umożliwia powiązanie dopasowanego wzoru ze zmienną. Rozważmy następujące, na przykład:

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

można łatwo wyodrębnić zawartość:

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

ale co jeśli nie treść z Somechciał, ale sam opcję? Które byłyby realizowane z tym:

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

Zauważ, że @ może być stosowany w dowolny poziom, a nie tylko na najwyższym poziomie dopasowania.

Answer 2

Pozwala dopasować najwyższego poziomu deseń. Przykład:

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

Answer 3

gdy dopasowanie wzorca variable @ pattern wiąże zmiennej wartości dopasowane wzór Jeśli wzorzec pasuje. W tym przypadku oznacza to, że wartość x będzie w tym przypadku zgodna z Some(Nil).

Answer 4

Ustawia wartość x na dopasowany wzór. W przykładzie x byłoby zatem Some(Nil) (jak można określić z wywołania println)

Answer 5

@ mogą być stosowane do wiązania nazwy do powodzeniem dopasowane wzór lub podciąg wzorca. Wzorce mogą być używane do dopasowywania wzorców, po lewej stronie do zrozumienia i do destrukcji przydziałów.

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)