我想添加一个答案，将问题概括为:如何在运行时获得我的列表类型的String表示

import scala.reflect.runtime.universe._

def whatListAmI[A : TypeTag](list : List[A]) = {
    if (typeTag[A] == typeTag[java.lang.String]) // note that typeTag[String] does not match due to type alias being a different type
        println("its a String")
    else if (typeTag[A] == typeTag[Int])
        println("its a Int")

    s"A List of ${typeTag[A].tpe.toString}"
}

val listInt = List(1,2,3)
val listString = List("a", "b", "c")

println(whatListAmI(listInt))
println(whatListAmI(listString))

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

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

在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)。

这并不是解决方案，而是一种与之共存的方式，而不是完全掩盖它: 添加@unchecked注释。请看这里- http://www.scala-lang.org/api/current/index.html#scala.unchecked

我想知道这是否是一个合适的变通方案:

scala> List(1,2,3) match {
     |    case List(_: String, _*) => println("A list of strings?!")
     |    case _ => println("Ok")
     | }

它不匹配“空列表”的情况，但它给出了一个编译错误，而不是警告!

error: type mismatch;
found:     String
requirerd: Int

另一方面，这似乎工作....

scala> List(1,2,3) match {
     |    case List(_: Int, _*) => println("A list of ints")
     |    case _ => println("Ok")
     | }

这样不是更好吗，还是我没抓住重点?

使用模式匹配保护

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