Operator Scala @

130

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

scala operators

— huruf kecil
sumber

179

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.

— Daniel C. Sobral
sumber

5

Di mana dalam dokumentasi saya akan menemukan jawaban itu? Saya merasa ada hal-hal baik lainnya yang terkubur di sana juga. :)

— Jim Barrows

1

@Jim Scala Reference, 8.1. 8.12, khususnya, meskipun saya tidak tahu dari mana "seperti biasa" berasal - dan 8,12 hanya berbicara tentang pola ekspresi reguler ( _*). Tapi mungkin ini sudah diklarifikasi pada versi spec yang lebih baru.

— Daniel C. Sobral

16

Saya akan menambahkan bahwa Anda mungkin tidak menggunakan @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.

— Theo

2

Ini juga tercakup dalam "Pengikatan variabel" pada Bagian 15.2 dari "Pemrograman dalam Scala - Edisi ke-2" dan digunakan lagi dalam bagian 26.3 (bab tentang ekstraktor).

— Shaun the Sheep

@Theo case x: Sometidak bekerja sendiri. Anda harus menggunakan case x: Some[_], yang tidak kurang verbose

— Luigi Plinge

74

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

— retronym
sumber

10

Ketika pencocokan pola variable @ patternmengikat variabel ke nilai yang cocok dengan pola jika pola cocok. Dalam hal ini itu berarti bahwa nilai xakan berada Some(Nil)dalam kasus-klausa.

— sepp2k
sumber

9

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

— Mitch Blevins
sumber

6

Bukan hanya level atas.

— Daniel C. Sobral

2

Ini menetapkan nilai dari xpola yang cocok. Dalam contoh Anda, xkarena itu akan Some(Nil)(seperti yang Anda dapat menentukan dari panggilan ke println )

— oxbow_lakes
sumber

1

Sial ketidakmampuan iPhone untuk membuat backtick!

— oxbow_lakes