[英]Scala @ operator
它使人们能够将匹配的模式绑定到变量。 例如,请考虑以下情况:
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)
允许您匹配模式的顶级。 例子:
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-clause 中x
的值将是Some(Nil)
。
它将x
的值设置为匹配的模式。 在您的示例中, x
因此将是Some(Nil)
(正如您可以从对println的调用中确定的那样)
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.