Question

我有一个序列Seq [Any]，其中包含各种对象（如String，Integer，List [String]等）。我正在尝试筛选列表并将其分解为基于类类型分区的单独列表。以下是我在代码中使用的模式：

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

这很有效，不会产生任何警告。但是，当我尝试过滤掉作为字符串列表的对象时：

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

我收到一条警告，说明非变量类型参数类型为List [String]的字符串未被选中，因为它已被删除。现在，这项技术确实有效，我可以根据需要轻松过滤序列，但我想知道以恰当的方式处理警告的适当方法是什么，以便我知道我没有一个严重的错误潜伏在背景中等待爆炸

Answer 1

它不起作用，因为除了List[Double]之外，它会选择List[String]或任何其他列表。有多种方法可以解决问题，包括将任何参数化类型包装在非参数化的案例类中：

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)

Answer 2

val v = 1 ::"abc" :: true :: Nil
v : List[Any] = List(1,abc,true)

<{1}}类型的

类型参数已统一为List List中元素的最常见超类型。

Shapeless是救援。

Any

使用Shapeless import shapeless._ import HList._ val s = 1 :: "abc" :: true: HNil s : shapeless.::[Int,shapeless.::[String,shapelsss.::[Boolean,shapeless.HNil]]] = 1 :: abc :: true :: HNil，您可以获得异构列表的编译时安全性。您现在可以以类型安全的方式HList。 e.g。

filter

scala中的擦除消除：非变量类型参数未被选中，因为它通过擦除被消除

2 个答案: