2

是否有一些简单的方法可以向偏函数添加新参数,以便在与以前相同的域中定义结果函数(新参数对其偏性没有影响)?以下代码有效,但似乎有点冗长。

  val func : PartialFunction[A, B] = ....

  val f = new PartialFunction[(A,C), B] {
    def isDefinedAt(x: (A,C)): Boolean = func.isDefinedAt(x._1)
    def apply(x: (A,C)):B = func(x._1)
  }
4

1 回答 1

4

你可以这样做:

val f : PartialFunction[(A, C), B] = { case (a, _) if func.isDefinedAt(a) => func(a) }
于 2015-02-16T19:59:30.170 回答