Scala @ operator

ตัวดำเนินการ @ ของ 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 =>
}

โปรดทราบว่า@สามารถใช้ได้ในทุกระดับไม่ใช่เฉพาะที่ระดับบนสุดของการจับคู่

@สามารถใช้เพื่อผูกชื่อกับรูปแบบที่จับคู่สำเร็จหรือรูปแบบย่อย รูปแบบสามารถใช้ในการจับคู่รูปแบบทางด้านซ้ายมือของ<-in เพื่อความเข้าใจและในการกำหนดโครงสร้าง

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ผูกตัวแปรกับค่าที่จับคู่ตามรูปแบบหากรูปแบบตรงกัน ในกรณีนี้หมายความว่าค่าของxwill อยู่Some(Nil)ใน case-clause นั้น

ช่วยให้คุณจับคู่ระดับบนสุดของรูปแบบ ตัวอย่าง:

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

ตั้งค่าของxรูปแบบที่ตรงกัน ในตัวอย่างของคุณxจะเป็นSome(Nil)เช่นนั้น (ตามที่คุณกำหนดได้จากการเรียกไปที่println )