在为Actor编写Specs2规范时,我得到了一个有点令人困惑的MatchError
,用于组合几个部分函数。
一个最小的例子:
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)
那完全把我搞糊涂了。如果对于给定的输入isDefinedAt
,在两个部分函数的组合上返回true
,我期望我也可以将其apply
到相同的输入。
因此,我知道将前两行更改为:
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) }
,当然,对于isDefined
,它总是返回true
,并且在f
不匹配的输入时抛出MatchError。