Scala收集类型用于过滤

发布时间：2020-12-16 09:40:54 所属栏目：安全来源：网络整理

导读：假设你有一个列表(1，“1”)，它是打字列表[Any]，这当然是正确和预期的。现在如果我映射这样的列表 scala List(1,"1") map { | case x: Int = x | case y: String = y.toInt | } 所得到的类型是List [Int]，这也是预期的。我的问题是如果有一个等价于map的

假设你有一个列表(1，“1”)，它是打字列表[Any]，这当然是正确和预期的。现在如果我映射这样的列表

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

所得到的类型是List [Int]，这也是预期的。我的问题是如果有一个等价于map的过滤器，因为以下示例将导致List [Any]。这可能吗？我认为这可以在编译时解决，可能不是运行时？

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

解决方法

Scala 2.9：

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!