Scala @ оператор

Ответы:

179

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

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

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

Дэниел С. Собрал
источник
5
Где в документации я найду этот ответ? У меня такое чувство, что там похоронены и другие хорошие вещи. :)
Джим Бэрроуз
1
Справочник по @Jim Scala, 8.1. В частности, 8.12, хотя я не знаю, откуда взялось «как обычно», а 8.12 говорит только о регулярном выражении pattern ( _*). Но, возможно, это было уточнено в более новой версии спецификации.
Дэниел С. Собрал,
16
Я бы добавил, что вы, вероятно, не будете использовать @with Some(_), а, скорее, если бы вы хотели сопоставить содержимое Some, но все же ссылаться на сам Some, например case x @ Some(7) => println(x). Как я понимаю, это case x @ Some(_)просто более подробная версия case x: Some.
Тео,
2
Это также рассматривается в разделе «Связывание переменных» в Разделе 15.2 «Программирования в Scala - 2-е издание» и снова используется в разделе 26.3 (глава по экстракторам).
Shaun the Sheep
@Theo case x: Someне работает сам по себе. Вы должны использовать case x: Some[_], что не менее многословно,
Луиджи Плиндж
74

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

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)
ретроним
источник
10

Когда сопоставление с образцом variable @ patternсвязывает переменную со значением, совпадающим с образцом, если образец совпадает. В данном случае это означает, что значение xбудет Some(Nil)в этом case-clause.

sepp2k
источник
9

Позволяет сопоставить верхний уровень рисунка. Пример:

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) }
Митч Блевинс
источник
6
Не только на высшем уровне.
Дэниел С. Собрал,
2

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

oxbow_lakes
источник
1
К черту неспособность iPhone отображать обратную кавычку!
oxbow_lakes 01