orElse如何处理PartialFunctions

您的尝试有一些问题,但首先让我们看看一个有效的实现:

scala> val a: PartialFunction[String, Unit] = { case "hello" => println("bye") }
a: PartialFunction[String,Unit] = <function1>

scala> val b: PartialFunction[Any, Unit] = { case _ => println("fallback") }
b: PartialFunction[Any,Unit] = <function1>

scala> val c = a.orElse(b)
c: PartialFunction[String,Unit] = <function1>

scala> c("hello")
bye

scala> c("foo")
fallback

代码中有两个主要错误:

1. PF的定义方式
2. (错误的)假设 empty 是一个返回 Nothing

1.如何定义PartialFunction

val right: PartialFunction[String, Unit] = {
  case "hello" => println("bye")
}

怎样 不 定义它:

val wrong = PartialFunction[String, Unit] {
  case "hello" => println("bye")
}

如果你看一下 PartialFunction.apply

def apply[A, B](f: A => B): PartialFunction[A, B] = { case x => f(x) }

您将看到它为 任何 x 它适用于给定的 f 现在你的 { case "hello" => println("bye") } 是 f 参数,因此您大致会得到以下结果(显然是意外的) PartialFunction :

val wrong: PartialFunction[String, Unit] = {
  case x => x match {
    case "hello" => println("bye")  
  }

因此,当您询问它是否已定义时,它将始终返回true,因为它是为 任何 字符串:

wrong.isDefinedAt("hello") // true (ok)
wrong.isDefinedAt("whatever") // true (sure?)

但当你尝试 apply 它

wrong("hello") // bye (ok)
wrong("whatever") // MatchError (BOOM!)

你在 内部的 火柴

自从 orElse 根据结果决定是否调用“else” isDefined 那么它失败的原因就很明显了。

2.空虚什么也抓不到!

直接从 docs :

def empty[A, B]: PartialFunction[A, B]

域为空的分部函数。任何调用空部分函数的尝试都会导致抛出 scala.MatchError 例外

这个 部分功能 (好吧,它不再是真正的部分)你要找的是:

val fallback: PartialFunction[Any, Unit] = { case _ => println("fallback") }

或者-只是为了表明我们从错误中吸取教训-

val fallback = PartialFunction[Any, Unit] { _ => println("fallback") }

您正在使用 PartialFunction 对象应用方法,其定义如下:

def apply[A, B](f: A => B): PartialFunction[A, B] = { case x => f(x) }

基本上它采用函数形式 A 到 B 并自动将其包装在case语句中,问题是您也在传递case,我不能100%确定接下来会发生什么,您可以尝试将函数传递给apply,也可以不使用apply方法轻松尝试:

scala>   val a: PartialFunction[String, Unit] = {
     |     case "hello" => println("Bye")
     |   }
a: PartialFunction[String,Unit] = <function1>

scala>   val b: PartialFunction[String, Unit] =  {
     |     case _ => println("default")
     |   }
b: PartialFunction[String,Unit] = <function1>

scala> b("123")
default

您还可以扩展特性并实现 apply 和 isDefined 如图所示 here .

PartialFunction.empty[A,B] 相当于:

{
  case x: Nothing => x
}

(这种类型检查,因为 Nothing 是两者的子类型 A 和 B .)

或等效地:

{
  // note: this is probably not a valid Scala code for a partial function
  // but, as PartialFunction.empty's name suggests, it's an *empty* block
} 

这无法匹配任何内容。

.orElse 可以理解为简单地连接两个case语句的列表 PartialFunction s、 所以,在你的情况下 a.orElse(PartialFunction.empty[Any,Unit] 指:

{ case "hello" => println("Bye") } orElse { /* no cases here */ }

这简化为:

{ case "hello" => println("Bye") }

或

{ case "hello" => println("Bye"); case x:Nothing => x }

MatchError 因此是显而易见的。

请注意 the documetation 还提到 empty 总是抛出 匹配错误 .

根据我的猜测,你想要 部分功能 总是匹配的。标准库中没有命名方法,但为什么要这样呢

{ case _ => () }