Scala @运营商

2018-06-26 00:39:31

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将变量绑定到与pattern匹配的值。在这种情况下，这意味着在这种情况下， x的值将是Some(Nil) 。

链接地址: http://www.djcxy.com/p/72809.html

上一篇: Scala @ operator

下一篇: If Ascii operators are definable, why not Unicode Symbols?