¿Qué hace el operador Scala's @?
Por ejemplo, en la publicación de blog Procesamiento de lenguaje formal en Scala, Parte 2, hay algo como esto
case x @ Some(Nil) => x¿Qué hace el operador Scala's @?
Por ejemplo, en la publicación de blog Procesamiento de lenguaje formal en Scala, Parte 2, hay algo como esto
case x @ Some(Nil) => xRespuestas:
Le permite a uno vincular un patrón coincidente a una variable. Considere lo siguiente, por ejemplo:
val o: Option[Int] = Some(2)Puede extraer fácilmente el contenido:
o match {
case Some(x) => println(x)
case None =>
}Pero lo que si usted quiere no es el contenido de Some, pero la opción de sí misma? Eso se lograría con esto:
o match {
case x @ Some(_) => println(x)
case None =>
}Tenga en cuenta que @se puede usar en cualquier nivel, no solo en el nivel superior de la coincidencia.
_*). Pero tal vez esto se ha aclarado en una versión más nueva de la especificación.
@con Some(_), sino más bien si desea hacer coincidir el contenido de la Some, pero aún se refiere a Some en sí, por ejemplo case x @ Some(7) => println(x). Según lo interpreto, case x @ Some(_)es solo una versión más detallada de case x: Some.
case x: Someno funciona por sí solo. Tienes que usar case x: Some[_], que no es menos detallado
@se puede usar para vincular un nombre a un patrón o subpatrón que coincida correctamente Los patrones se pueden usar en la coincidencia de patrones, el lado izquierdo de la entrada <-para comprender y en tareas de desestructuración.
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)Le permite hacer coincidir el nivel superior de un patrón. Ejemplo:
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) }Establece el valor de xal patrón que coincide. Por xlo tanto , en su ejemplo, sería Some(Nil)(como podría determinar a partir de una llamada a println )