类型参数上的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]（Seq[Int]的底层）中的非变量类型参数Int未选中，因为它被擦除情况b消除：Seq[Int]=

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

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

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

但是它不能编译，因为c现在是Any类型。

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

Answer 1

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

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")
}

Answer 2

这

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

将摆脱警告。但它不能解决根本的擦除问题。Seq（“1”） 将匹配此情况。

Answer 3

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

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)