Scala @ operator

Question

Что делает оператор @ Scala?

Например, в блоге опубликовать Formal Language Processing in Scala, Part 2 есть что-то вроде этого

case x @ Some(Nil) => x 

Answer 1

Это позволяет привязывать сопоставленный шаблон к переменной. Рассмотрим следующее, например:

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

Вы можете легко извлечь содержимое:

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

Но что, если вы не содержание из Some хотел, но сам вариант? Это будет достигнуто с этим:

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

Обратите внимание, что @ может быть использован при любого уровня, а не только на высшем уровне соответствия.

Answer 2

Позволяет соответствовать верхнему уровню шаблона. Пример:

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

variable @ pattern При сопоставлении паттерна связывает переменной к значению найденного рисунка если шаблон совпадает. В этом случае это означает, что значение x будет Some(Nil) в этом случае.

Answer 4

Он задает значение x шаблону, который соответствует. В вашем примере, x бы поэтому быть Some(Nil) (как вы могли бы определить, из вызова Println)

Answer 5

@ можно использовать для связывания имени с успехом подходящего шаблона, или подмаской. Шаблоны могут использоваться в сопоставлении с образцом, с левой стороны от <- для понимания и в настройках деструкции.

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)