Оператор Scala @

Що робить @ оператор Scala?

Наприклад, у публікації блогу « Формальна обробка мови в Scala», частина 2 є щось подібне

case x @ Some(Nil) => x

Це дозволяє прив’язати узгоджену картину до змінної. Розглянемо, наприклад, наступне:

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

Зауважте, що @їх можна використовувати на будь-якому рівні, а не лише на верхньому рівні відповідності.

@може використовуватися для прив’язки імені до вдало узгодженого шаблону або підтерміна. Шаблони можна використовувати для узгодження зразків, лівого боку <-для розуміння та для деструктуризації.

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)

Коли збіг шаблонів variable @ patternприв'язує змінну до значення, відповідного шаблону, якщо шаблон відповідає. У цьому випадку це означає , що значення xбуде Some(Nil)в цьому випадку-п.

Дозволяє вам відповідати шаблону верхнього рівня. Приклад:

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

Він встановлює значення xшаблону, який відповідає. У вашому прикладі, xтаким чином, буде Some(Nil)(як ви могли визначити з дзвінка до println )