Оператор Scale @

93

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

Например, в сообщении в блоге Формальная обработка языка в Scala, часть 2 есть что-то вроде этого

case x @ Some(Nil) => x
Теги:
operators

5 ответов

136
Лучший ответ

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

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 Reference, 8.1. В частности, 8.12, хотя я не знаю, откуда появилось «как обычно», а 8.12 говорит только о шаблоне регулярного выражения ( _* ). Но возможно это было разъяснено на более новой версии спецификации.
Показать ещё 6 комментариев
56

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

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)
Поделиться
8

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

Поделиться
6

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

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) }
Поделиться
  • 5
    Не только на высшем уровне.
2

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

Поделиться
  • 1
    Черт возьми, неспособность айфонов сделать обратный удар!

Ещё вопросы

Сообщество Overcoder
Наверх
Меню