Apa yang dilakukan operator @ Scala?
Misalnya, di posting blog Pemrosesan Bahasa Formal di Scala, Bagian 2 ada sesuatu seperti ini
case x @ Some(Nil) => x
Apa yang dilakukan operator @ Scala?
Misalnya, di posting blog Pemrosesan Bahasa Formal di Scala, Bagian 2 ada sesuatu seperti ini
case x @ Some(Nil) => x
Jawaban:
Ini memungkinkan seseorang untuk mengikat pola yang cocok ke suatu variabel. Pertimbangkan hal berikut, misalnya:
val o: Option[Int] = Some(2)
Anda dapat dengan mudah mengekstraksi konten:
o match {
case Some(x) => println(x)
case None =>
}
Tapi bagaimana jika Anda ingin bukan konten dari Some
, tapi pilihan itu sendiri? Itu akan dicapai dengan ini:
o match {
case x @ Some(_) => println(x)
case None =>
}
Catatan yang @
dapat digunakan di tingkat mana pun , tidak hanya di tingkat atas pencocokan.
_*
). Tapi mungkin ini sudah diklarifikasi pada versi spec yang lebih baru.
@
dengan Some(_)
, melainkan jika Anda ingin mencocokkan pada isi Some
, tapi masih mengacu pada Beberapa itu sendiri, misalnya case x @ Some(7) => println(x)
. Seperti yang saya tafsirkan itu case x @ Some(_)
hanya versi yang lebih verbose case x: Some
.
case x: Some
tidak bekerja sendiri. Anda harus menggunakan case x: Some[_]
, yang tidak kurang verbose
@
dapat digunakan untuk mengikat nama ke pola yang berhasil dicocokkan, atau subpattern. Pola dapat digunakan dalam pencocokan pola, sisi kiri <-
in untuk pemahaman, dan dalam penghancuran tugas.
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)
Memungkinkan Anda untuk mencocokkan pola tingkat atas suatu pola. Contoh:
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) }
Ini menetapkan nilai dari x
pola yang cocok. Dalam contoh Anda, x
karena itu akan Some(Nil)
(seperti yang Anda dapat menentukan dari panggilan ke println )