我提出了一个相对简单的解决方案，在有限的使用情况下就足够了，本质上是在可以在match语句中使用的包装器类中包装会遭受类型擦除问题的参数化类型。

case class StringListHolder(list:List[String])

StringListHolder(List("str1","str2")) match {
    case holder: StringListHolder => holder.list foreach println
}

这具有预期的输出，并将case类的内容限制为所需的类型String Lists。

更多详情请访问:http://www.scalafied.com/?p=60

你可以使用TypeTags (Daniel已经提到了，但我只是明确地拼写出来):

import scala.reflect.runtime.universe._
def matchList[A: TypeTag](list: List[A]) = list match {
  case strlist: List[String @unchecked] if typeOf[A] =:= typeOf[String] => println("A list of strings!")
  case intlist: List[Int @unchecked] if typeOf[A] =:= typeOf[Int] => println("A list of ints!")
}

你也可以使用ClassTags(这使你不必依赖scala-reflect):

import scala.reflect.{ClassTag, classTag}
def matchList2[A : ClassTag](list: List[A]) = list match {
  case strlist: List[String @unchecked] if classTag[A] == classTag[String] => println("A List of strings!")
  case intlist: List[Int @unchecked] if classTag[A] == classTag[Int] => println("A list of ints!")
}

只要不期望类型参数A本身是泛型类型，就可以使用ClassTags。

不幸的是，它有点啰嗦，您需要@unchecked注释来抑制编译器警告。将来编译器可能会自动将TypeTag合并到模式匹配中:https://issues.scala-lang.org/browse/SI-6517

在Scala中有一种方法可以克服类型擦除问题。在克服匹配1中的类型擦除和克服匹配2中的类型擦除(方差)中，解释了如何编写一些帮助程序来包装类型，包括方差，以进行匹配。

使用模式匹配保护

    list match  {
        case x:List if x.isInstanceOf(List[String]) => do sth
        case x:List if x.isInstanceOf(List[Int]) => do sth else
     }

由于Java不知道实际的元素类型，我发现使用List[_]最有用。然后警告消失了，代码描述了现实——它是一个未知事物的列表。

我找到了一个稍微好一点的解决方法来克服这门很棒的语言的局限性。

在Scala中，数组不会出现类型擦除的问题。我认为用一个例子更容易说明这一点。

假设我们有一个(Int, String)的列表，然后下面给出一个类型擦除警告

x match {
  case l:List[(Int, String)] => 
  ...
}

要解决这个问题，首先创建一个case类:

case class IntString(i:Int, s:String)

然后在模式匹配中执行如下操作:

x match {
  case a:Array[IntString] => 
  ...
}

这似乎很有效。

这将需要对代码进行一些小更改，以使用数组而不是列表，但这应该不是一个大问题。

注意，使用大小写a:Array[(Int, String)]仍然会给出类型擦除警告，因此有必要使用一个新的容器类(在本例中为IntString)。