Scala中的“未检查类型模式”警告？

Question

假设我有一个mapm： Map[Any， Int]。现在我只想从m中获取条目（String， Int）并创建一个新的mapm1： Map[String， Int]与这些条目。

我正在尝试做以下事情：

val m1: Map[String, Int] = m collect {case e:(String, Int) => e}

这似乎可行，但我得到了一个警告：类型模式（String，Int）中的非变量类型参数字符串未选中，因为它已被擦除消除。

我怎样才能摆脱警告？

Answer 1

仔细的测试将表明您的解决方案实际上与映射中的所有内容都匹配，而不仅仅是类型（String， Int）的条目。编译器的警告告诉您，匹配的类型将在运行时被丢弃，因此您的代码实际上正在执行这样的操作：

val m1： Map[String， Int]=m收集{case e： Tuple2[任何，任何]=

并且asInstanceOf调用不会爆炸，因为它只转换为Tuple2并且（String， Int）位由于擦除而再次丢失。不过，当您尝试针对结果进行迭代时，您会遇到严重的失败......

在 REPL 中尝试此操作

  val m:Map[String,Int] = Map("2" -> 3, 3 -> 4, "6" -> 10) collect {case e:(String, Int) => e}
  // Oops, thought we would get '2'
  m size 
  // Nothing wrong with this code except m contains some
  // hidden nasties which causes us to blow up
  for ((s:String, i:Int) <- m) yield s.length + i 

`

Answer 2

(仅供参考。你要的是virtualeyes的答案。)

val m1: Map[String, Int] = m flatMap { e =>
  e._1 match {
    case e1: String => Some(e1 -> e._2)
    case _ => None
  }
}

Answer 3

您可能想要:

val m1: Map[String, Int] = m collect {case (k:String, v:Int) => k->v}