Использование сбора на картах в Scala - PullRequest
Новая
       25

Использование сбора на картах в Scala

13 голосов
/ 10 июля 2011

Я недавно наткнулся на этот пост , который «представляет» метод collect для коллекций Scala. Использование прямо: 

scala> val ints = List(1, "2", 3) collect { case i: Int => i }
ints: List[Int] = List(1, 3)

Теперь карты - это, в основном, списки пар ключ-значение, которые представлены кортежами в Scala. Так что вы можете попробовать что-то вроде этого: 

scala> val pairs = Map(1 -> "I", "II" -> 2)
pairs: scala.collection.immutable.Map[Any,Any] = Map(1 -> I, II -> 2)

scala> val intsToStrings = pairs collect { case pair: (Int, String) => pair }

Компилятор, конечно, жалуется из-за модели стирания типов в JVM, поэтому первое, что мы пробуем - это использование экзистенциальных типов: 

scala> val intsToStrings = pairs collect { case pair: (_, _) => pair }
intsToString: scala.collection.immutable.Map[Any,Any] = Map(1 -> I, II -> 2)

Хотя код прошел компилятор, и результат «правильный» (мы хотели пары => мы получили пары), мы все равно не получили того, что на самом деле хотели. Вторая попытка выглядит так: 

scala> val intsToStrings = pairs collect {
     |    case pair: (_, _) if pair._1.isInstanceOf[Int] && pair._2.isInstanceOf[String] => pair
     | }
intsToStrings: scala.collection.immutable.Map[Any,Any] = Map(1 -> I)

Хорошо, мы почти на месте: 

scala> val realIntsToRealStrings = intsToStrings map {
     |    pair => (pair._1.asInstanceOf[Int], pair._2.asInstanceOf[String])
     | }
realIntsToRealStrings: scala.collection.immutable.Map[Int,String] = Map(1 -> I)

Мы сделали это, но вместо того, чтобы только приводить от (Any,Any) к (Int,String), мы фактически скопировали каждую пару и таким образом создали новую пару.

Теперь идет вопрос. Как я уже говорил, «Компилятор, конечно, жалуется ...», я сделал это так, будто действительно знаю, о чем говорю. Я не! Все, что я знаю, это то, что у Java не было дженериков с самого начала. В какой-то момент дженерики пришли в Java, но не в JVM. Таким образом, компилятор проверяет все типы, но как только код выполняется, JVM не заботится о параметрическом типе. Он только видит, что это Map или List, но не то, что это Map[String, Int] или List[Int].

Так вот мой вопрос.

Со всей проверкой, приведением и составлением карт нам удалось перевести Map[Any,Any] в Map[String,Int]. Есть ли лучший способ сделать это? Я имею в виду типы есть, JVM просто не видит их (насколько я понимаю) ...

1 Ответ

21 голосов
/ 10 июля 2011 
pairs collect { case p @ (_: Int, _: String) => p.asInstanceOf[(Int, String)] }

или более краткий, но с некоторыми накладными расходами, я думаю 

pairs collect { case (x: Int, y: String) => (x, y) }
...