类型参数上的Scala模式匹配

Question

我想去掉此示例代码的类型擦除警告：

val a: Seq[Any] = Seq(1)
a match {
  case b: Seq[Int] => b.map(c => println(2 * c) )
  case _ => println("Not matched")
}

它编译和工作正常，但有一个警告：

警告：(31，13)类型模式Seq整型中的非变量类型参数Int不被选中，因为它是通过擦除情况b: SeqInt => b.map(c => println(2 * c) )^^

在这种情况下，您有什么简单的解决方案来避免擦除吗？

到目前为止，我尝试了什么(根据这)：

val a: Seq[Any] = Seq(1)
a match {
  case b@Seq(_:Int) => b.map(c => println(2 * c) )
  case _ => println("Not matched")
}

但是它不会编译，因为c现在是任何类型的。

我相信这个问题有几个解决办法。我会接受最简单的。

Answer 1

我不确定这是一个最简单的解决方案，但我认为最好与TypeTag的类型相匹配

def matchOnList[A: TypeTag](l: List[A]) = typeOf[A] match {
    case t if t =:= typeOf[Int] =>
      l.asInstanceOf[List[Int]].foreach(c => println(2 * c))
    case _ => println("Not matched")
  }

val a = List(1)

matchOnList(a)

Answer 2

这

  case b: Seq[Int @unchecked] => b.map(c => println(2 * c))

就能摆脱警告了。但这并不能解决根本的擦除问题。Seq("1")将与本案相匹配。

Answer 3

我也有同样的问题，最后我做了这样的事情(没有发现更漂亮的)：

val a: Seq[Any] = Seq(1)
a match {
  case b: Seq[_] => b.map(c =>
    c match {
      case s: Int => print(2 * s)
      case _ => print("Not matched")
    })
  case _ => print("Not matched")
}