scala - 如何从 List[Any] 中提取所有 Int 值？

Question

我在 Scala 中有一个 List[Any]，它混合了 Int、String、Char 和 List。我只想将 Int 值提取到新列表中，即 List[Int]。我该怎么做？

Answer 1

尝试方法collect，它类似于map 和filter 的组合，并以部分函数作为其参数。

List(1, 2, "Foo", 39.7 ).collect{ 案例 i: Int => i }

结果是 List(1, 2)，编译器知道类型是 List[Int] 而不是 List[Any]。