Scala@运算符

Scala 的@操作符是做什么的？

例如，在博客文章 第二部分: Scala 中的形式语言处理中有一个类似的东西

case x @ Some(Nil) => x

30260 次浏览

小开

允许您匹配模式的顶层。示例:

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

小开

如果模式匹配，模式匹配 variable @ pattern将变量绑定到与模式匹配的值。在这种情况下，这意味着在 case 子句中 x的值将是 Some(Nil)。

小开

它将 x的值设置为匹配的模式。在您的示例中，因此 x将是 Some(Nil)(正如您可以从对 Println的调用中确定的那样)

小开

@可用于将名称绑定到成功匹配的模式或子模式。模式可以用在模式匹配中，也就是 <-的左边，用于理解和解构作业。

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)

小开

最佳答案

它使人们能够将匹配的模式绑定到一个变量:

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

请注意，@可以在任何级别使用，而不仅仅是在匹配的顶级级别使用。