在Scala中，如果你实例化一个List[Int]，你可以验证你的实例是一个List，你可以验证它的任何单个元素是否是Int，但不能验证它是否是List[Int]，这很容易验证:
scala> List(1,2,3) match {
| case l : List[String] => println("A list of strings?!")
| case _ => println("Ok")
| }
warning: there were unchecked warnings; re-run with -unchecked for details
A list of strings?!
unchecked选项直接将责任归咎于类型擦除:
scala> List(1,2,3) match {
| case l : List[String] => println("A list of strings?!")
| case _ => println("Ok")
| }
<console>:6: warning: non variable type-argument String in type pattern is unchecked since it is eliminated by erasure
case l : List[String] => println("A list of strings?!")
^
A list of strings?!
为什么会这样，我该如何解决呢?
我找到了一个稍微好一点的解决方法来克服这门很棒的语言的局限性。
在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)。
这个答案使用Manifest-API，该api在Scala 2.10中已弃用。请参阅下面的答案，了解更多当前的解决方案。
Scala是用类型擦除来定义的，因为与Java不同，Java虚拟机(JVM)没有泛型。这意味着，在运行时，只有类存在，而不存在它的类型参数。在这个例子中，JVM知道它正在处理一个scala.collection.immutable对象。List，而不是这个列表参数化为Int。
幸运的是，Scala中有一个特性可以解决这个问题。这是清单。Manifest是一个类，其实例是表示类型的对象。因为这些实例是对象，所以可以传递它们、存储它们，通常还可以对它们调用方法。在隐式参数的支持下，它成为一个非常强大的工具。举个例子:
object Registry {
import scala.reflect.Manifest
private var map= Map.empty[Any,(Manifest[_], Any)]
def register[T](name: Any, item: T)(implicit m: Manifest[T]) {
map = map.updated(name, m -> item)
}
def get[T](key:Any)(implicit m : Manifest[T]): Option[T] = {
map get key flatMap {
case (om, s) => if (om <:< m) Some(s.asInstanceOf[T]) else None
}
}
}
scala> Registry.register("a", List(1,2,3))
scala> Registry.get[List[Int]]("a")
res6: Option[List[Int]] = Some(List(1, 2, 3))
scala> Registry.get[List[String]]("a")
res7: Option[List[String]] = None
当存储一个元素时，我们也存储它的“Manifest”。Manifest是一个类，其实例代表Scala类型。这些对象比JVM拥有更多的信息，这使我们能够测试完整的参数化类型。
但是请注意，Manifest仍然是一个不断发展的特性。作为其局限性的一个例子，它目前对方差一无所知，并假设一切都是协变的。我希望在目前正在开发的Scala反射库完成之后，它会变得更加稳定和可靠。
