斯卡拉@运算符答案

【问题标题】：Scala @ operator斯卡拉@运算符
【发布时间】：2011-01-22 11:22:59
【问题描述】：

Scala 的 @ 运算符有什么作用？

例如，在博文 Formal Language Processing in Scala, Part 2 中有这样的内容

case x @ Some(Nil) => x

【问题讨论】：

标签： scala operators

【解决方案1】：

它使人们能够将匹配的模式绑定到变量。例如，考虑以下内容：

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

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

【讨论】：

我可以在文档的哪个位置找到答案？我有一种感觉，那里也埋藏着其他好东西。 :)
@Jim Scala 参考，8.1。 8.12，具体来说，虽然我不知道那里的“像往常一样”来自哪里——而 8.12 只说正则表达式模式（_*）。但也许这已经在新版本的规范中得到了澄清。
我要补充一点，您可能不会将@ 与Some(_) 一起使用，而是如果您想匹配Some 的内容，但仍参考Some 本身，例如case x @ Some(7) => println(x)。正如我所解释的那样，case x @ Some(_) 只是case x: Some 的一个更详细的版本。
这也包含在“Scala 编程 - 第 2 版”第 15.2 节的“变量绑定”中，并在第 26.3 节（关于提取器的章节）中再次使用。
@Theo case x: Some 不能单独工作。你必须使用case x: Some[_]，同样冗长

【解决方案2】：

@ 可用于将名称绑定到成功匹配的模式或子模式。模式可用于模式匹配、<- 的左侧用于理解以及解构分配。

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)

【讨论】：

【解决方案3】：

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

【讨论】：

【解决方案4】：

允许您匹配模式的顶级。示例：

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】：

它将x 的值设置为匹配的模式。在您的示例中，x 因此将是 Some(Nil)（您可以通过调用 println 来确定）

【讨论】：

该死的 iPhone 无法呈现反引号！