問題タブ [partialfunction]

アクターの Specs2 仕様を作成しているときにMatchError、いくつかの部分関数の合成についてやや不可解なことがありました。

最小限の例:

出力につながります：

それは私を完全に混乱させました。isDefinedAt2 つの部分関数の構成に関する特定の入力に対してが返される場合、同じ入力に対してtrueもそれが可能であると期待できます。apply

より具体的には、私は持っています：

私はこのように使用します：

もちろん、これは多少単純化されていますが、レポート機能は必要です。

いくつかの歴史: 最初に を使用して実装しましたが、次の をサポートするためにMapに変更しました。PartialFunctionoverride def myMap: MethodMap = if (one) map1 else map2

すべてをサポートするためにコードをリファクタリングするという提案も大歓迎です。

sに使用する部分関数に暗黙的なパラメーターを渡したいと思いrecoverますFuture。