scala - Scala过滤器的收集类型

Question

假设您有一个List(1，“1”)，它的类型为List [Any]，这当然是正确的，也是预期的。现在，如果我这样映射列表

scala> List(1, "1") map {
     |   case x: Int => x
     |   case y: String => y.toInt
     | }

结果类型为List [Int]，这也是预期的。我的问题是是否有一个等效于映射的过滤器，因为以下示例将导致一个List [Any]。这可能吗？我认为这可以在编译时解决，可能无法在运行时解决？

scala> List(1, "1") filter {
     |   case x: Int => true
     |   case _ => false
     | }

Answer 1

Scala 2.9:

scala> List(1, "1") collect {
     |   case x: Int => x
     | }
res0: List[Int] = List(1)