Scala @ operator
Co robi operator @ Scali?
Na przykład w poście na blogu przetwarzanie języka formalnego w Scali, część 2 jest coś takiego
case x @ Some(Nil) => x
5 answers
Umożliwia powiązanie dopasowanego wzorca ze zmienną. Rozważmy na przykład:
val o: Option[Int] = Some(2)
Możesz łatwo wyodrębnić zawartość:
o match {
case Some(x) => println(x)
case None =>
}
Ale co, jeśli nie chcesz treść z Some
, ale samą opcję? To by się udało:
o match {
case x @ Some(_) => println(x)
case None =>
}
Zauważ, że @
może być używany na dowolnym poziomie , a nie tylko na najwyższym poziomie dopasowania.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2010-03-01 21:56:51
@
może być użyty do przypisania nazwy do pomyślnie dopasowanego wzorca lub podpatternu. Wzorce mogą być używane w dopasowywaniu wzorców, po lewej stronie <-
W do składania oraz w niszczeniu assigmentów.
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)
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2010-03-01 21:07:46
Gdy dopasowanie wzorca variable @ pattern
wiąże zmiennądo wartości dopasowanej przez wzorzec jeśli wzór pasuje. W tym przypadku oznacza to, że wartość x
będzie Some(Nil)
w tym przypadku-klauzula.
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2010-03-01 21:06:57
Pozwala dopasować najwyższy poziom wzorca. Przykład:
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) }
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2010-03-01 21:06:02
Ustawia wartość x
Na wzór, który pasuje. W twoim przykładzie x
byłoby zatem Some(Nil)
(Jak można określić z wywołania do println)
Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/agent_stack/data/www/doraprojects.net/template/agent.layouts/content.php on line 54
2010-03-02 12:38:53