scala中的擦除消除:非变量类型参数未选中,因为它被擦除消除

前端之家收集整理的这篇文章主要介绍了scala中的擦除消除:非变量类型参数未选中,因为它被擦除消除前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
我有一个序列Seq [任何]有各种各样的对象(如String,Integer,List [String]等)。我试图筛选列表,并将其拆分成基于类类型分区的单独列表。以下是我在代码中使用的模式:

val allApis = mySequence.filter(_.isInstanceOf[String])

这工作得很好,不会生成任何警告。但是,当我尝试做同样的过滤出的对象列表的字符串:

val allApis = mySequence.filter(_.isInstanceOf[List[String]])

我得到一个警告说,类型List [String]中的非变量类型参数字符串未被选中,因为它被擦除消除。现在,该技术实际上工作,我能够舒适地过滤序列,如所期望的,但我想知道什么是适当的方式处理警告以惯用的方式,所以我知道我没有一个严重的错误潜伏在背景等待炸毁

解决方法

它不工作,因为它会选择List [Double]或任何其他列表除了List [String]。有各种各样的方法解决这个问题,包括在非参数化的case类中包装任何参数化的类型:

case class StringList(value: List[String])

然后你可以只是

mySequence.collect{ case StringList(xs) => xs }

拉出字符串列表(具有正确的类型,并且类型安全地)。

或者,如果您不想包装对象,并想确保它们是正确的类型,您可以检查每个元素:

mySequence.filter( _ match {
  case xs: List[_] => xs.forall( _ match { case _: String => true; case _ => false })
  case _ => false
})

虽然这不会让你知道哪些类型的空列表应该是。

另一种可能是将TypeTag粘贴到列表中的所有内容;这将防止你需要手动包装东西。例如:

import scala.reflect.runtime.universe.{TypeTag,typeTag}
def add[A](xs: List[(Any,TypeTag[_])],a: A)(implicit tt: TypeTag[A]) = (a,tt) :: xs
val mySequence = add(add(add(Nil,List(42)),true),List("fish"))
mySequence.filter(_._2.tpe weak_<:< typeTag[List[String]].tpe)

猜你在找的Scala相关文章