如何繞過Scala上的類型擦除？或者，為什么不能獲得集合的類型參數？在Scala上，一個可悲的事實是，如果您實例化一個List[Int]，您可以驗證您的實例是一個列表，并且可以驗證它的任何單個元素是否是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?!未選中的選項將指責直接歸咎于類型擦除：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?!為什么，我怎么才能避開它？
3 回答
楊魅力
TA貢獻1811條經驗 獲得超6個贊
這個答案使用 Manifest-API，它在Scala2.10中被廢棄。請參閱下面的答案，以獲得更多最新解決方案。
scala.collection.immutable.ListInt.
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]] = NoneManifest
白豬掌柜的
TA貢獻1893條經驗 獲得超10個贊
Typeable
scala> import shapeless.syntax.typeable._import shapeless.syntax.typeable._ scala> val l1 : Any = List(1,2,3)l1: Any = List(1, 2, 3)scala> l1.cast[List[String]]res0: Option[List[String]] = Nonescala > l1.cast[List[Int]]res1: Option[List[Int]] = Some(List(1, 2, 3))
castTypeable
添加回答
舉報
0/150
提交
取消