在 Scala 中使用基于类型的过滤器时如何获取正确的返回类型

Question

以下内容无法编译。我需要先选人物吗？

 object People {
  def all = List(
    new Person("Jack", 33),
    new Person("John", 31) with Authority,
    new Person("Jill", 21),
    new Person("Mark", 43)
  )
}

class Person(val name: String, val age: Int) 

trait Authority {
  def giveOrder {
    println("do your work!")
  }
}

object Runner {
  def main(args:List[String]) {
    val boss = People.all.find { _.isInstanceOf [Authority] }.get
    boss.giveOrder // This line doesnt compile
  }
}

Answer 1

您的想法是对的，应该有一种机制可以让您避免强制转换。这样的强制转换将是丑陋且多余的，因为它已经出现在过滤器中了。然而，find 根本不关心它得到的谓词的形状。如果 A 是集合元素的静态类型，它只是应用它并返回一个 Option[A]。

您需要的是 collect 函数：

val boss = People.all.collect { case boss: Authority => boss }.head

collect 创建一个新集合。如果您想避免这种情况（如果您确实只对第一个类型为 Authority 的元素感兴趣），以防潜在老板列表可能很长，您可能需要切换到view 以延迟评估：

val boss = People.all.view.collect { case boss: Authority => boss }.head

最后，除非您完全确定列表中始终至少有一个老板，否则您应该真正测试搜索是否成功，例如如下所示：

val bossOpt = People.all.view.collect { case boss: Authority => boss }.headOption
bossOpt.foreach(_.giveOrder) // happens only if a boss was found

编辑：最后，如果您使用的是 Scala 2.9，则绝对应该使用 collectFirst，如 Kevin Wright 的回答。

Answer 2

Jean-Philippe 的答案很好，但还可以更进一步...

如果使用 Scala 2.9，您还将有一个可用的 collectFirst 方法，让您避免所有那些繁琐的 view、head 和 headOption 的

val boss = People.all.collectFirst { case x: Authority => x }
boss.foreach(_.giveOrder) // happens only if a boss was found

boss 仍然是 Option[Person]，为了代码更安全，我建议您保持这种方式。如果你愿意，你也可以使用 for-compression，有些人更清楚：

for(boss <- People.all.collectFirst { case x: Authority => x }) {
  boss.giveOrder // happens only if a boss was found
}

Answer 3

试试这个

boss.asInstanceOf[Authority].giveOrder

或这个

val boss =  People.all.find { _.isInstanceOf [Authority] }.get.asInstanceOf[Person with Authority]

Answer 4

您真的只想找到第一个吗？ find 正是这样做的。如果您想查找所有Authority，请考虑使用 Jean-Philippe 的解决方案：

val authorities = People.all.collect {
  case boss: Authority => boss
}.foreach(_.giveOrder)