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确定）