如何繞過Scala上的類型擦除？或者，為什么不能獲得集合的類型參數(shù)？在Scala上，一個(gè)可悲的事實(shí)是，如果您實(shí)例化一個(gè)List[Int]，您可以驗(yàn)證您的實(shí)例是一個(gè)列表，并且可以驗(yàn)證它的任何單個(gè)元素是否是Int，但不能驗(yàn)證它是否是List[Int]，這一點(diǎn)很容易驗(yàn)證：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?!未選中的選項(xiàng)將指責(zé)直接歸咎于類型擦除：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?!為什么，我怎么才能避開它？