web-dev-qa-db-ja.com

Scala @演算子

Scalaの@演算子は何をしますか？

たとえば、ブログの投稿Scalaの形式言語処理、パート2には次のようなものがあります

case x @ Some(Nil) => x
scalaoperators
123
lowercase

一致したパターンを変数にバインドできます。たとえば、次のことを考慮してください。

val o: Option[Int] = Some(2)

コンテンツを簡単に抽出できます。

o match {
  case Some(x) => println(x)
  case None =>
}

しかし、Someの-​​contentではなく、オプション自体が必要な場合はどうでしょうか。これはこれで達成されます：

o match {
  case x @ Some(_) => println(x)
  case None =>
}

ご了承ください @は、マッチングの最上位レベルだけでなく、anyレベルでも使用できます。

170
Daniel C. Sobral

@は、名前を正常に一致したパターンまたはサブパターンにバインドするために使用できます。パターンはパターンマッチングで使用できます。<-理解のために、および割り当てを破壊するために。

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)
69
retronym

パターンの最上位に一致させることができます。例：

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) }
9
Mitch Blevins

パターン一致__variable @ pattern_がvariableをpatternで一致した値にバインドする場合、パターンが一致する場合。この場合、そのケース節ではxの値はSome(Nil)になります。

9
sepp2k

xの値を一致するパターンに設定します。あなたの例では、xはSome(Nil)になります（printlnの呼び出しから判断できるように）

2
oxbow_lakes