scala - 使用orElse的PartialFunctions组成的MatchError

This question already has answers here:

How does orElse work on PartialFunctions

（3个答案）


4年前关闭。





在为Actor编写Specs2规范时，对于几个部分函数的组合，我有些困惑。

一个最小的例子：

val testPf1 = PartialFunction[Any, Boolean]{ case 2 ⇒ true }
val testPf2 = PartialFunction[Any, Boolean]{ case 1 ⇒ true }
val testPf = testPf1 orElse testPf2
testPf.isDefinedAt(1)
testPf.isDefinedAt(2)
testPf(1)
testPf(2)

导致输出：

testPf1: PartialFunction[Any,Boolean] = <function1>
testPf2: PartialFunction[Any,Boolean] = <function1>
testPf: PartialFunction[Any,Boolean] = <function1>
res0: Boolean = true
res1: Boolean = true
scala.MatchError: 1 (of class java.lang.Integer)
    at com.dasgip.controller.common.informationmodel.programming.parametersequence.A$A161$A$A161$$anonfun$testPf1$1.apply(PFTest.sc0.tmp:33)
    at com.dasgip.controller.common.informationmodel.programming.parametersequence.A$A161$A$A161$$anonfun$testPf1$1.apply(PFTest.sc0.tmp:33)
    at scala.PartialFunction$$anonfun$apply$1.applyOrElse(PFTest.sc0.tmp:243)
    at scala.PartialFunction$OrElse.apply(PFTest.sc0.tmp:163)
    at #worksheet#.#worksheet#(PFTest.sc0.tmp:36)

这完全让我感到困惑。如果对于两个部分函数组成的给定输入MatchError返回isDefinedAt，我希望我也可以将true传递给同一输入。

最佳答案

因此，我了解到将前两行更改为：

val testPf1: PartialFunction[Any, Boolean] = { case 2 ⇒ true }
val testPf2: PartialFunction[Any, Boolean] = { case 1 ⇒ true }

使合成工作按预期进行。

MatchError的原因是

PartialFunction[Any, Boolean]{ case 2 => true }

我实际上似乎正在调用PartialFunction.apply，它将Function1转换为PartialFunction。

这样该语句扩展为

 PartialFunction.apply[Any, Boolean](_ match { case 2 => true })

然后转换为

{ case x => f(x) }

当然，它将始终为true返回isDefined并在与f不匹配的输入上抛出MatchError。