6

是否有可能以某种方式将PartialFunction（假设它总是只包含一个案例）编组为人类可读的东西？

假设我们有任何类型的集合（消息：List[Any]）和使用模式匹配块定义的 PartialFuntion[Any, T] 的数量。

case object R1
case object R2
case object R3

val pm1: PartialFunction[Any, Any] = {
  case "foo" => R1
}

val pm2: PartialFunction[Any, Any] = {
  case x: Int if x > 10 => R2
}

val pm3: PartialFunction[Any, Any] = {
  case x: Boolean => R3
}

val messages: List[Any] = List("foo", 20)
val functions = List(pm1, pm2)

然后我们可以找到与提供的 PF 和相关应用程序匹配的所有消息

val found: List[Option[Any]] = functions map { f =>
  messages.find(f.isDefined).map(f)
}

但是，如果我需要以人类可读的形式（用于日志记录）将“我期望的”结果映射到“我所拥有的”，该怎么办。说，

(case "foo")         -> Some(R1)
(case Int if _ > 10) -> Some(R2)
(case Boolean)       -> None

那可能吗？一些宏/元作品？

4

2 回答 2

2

运行时没有任何东西可以很好地打印编译后的代码。

您可以编写一个宏来打印树的源代码并使用它吗？大多数宏教程都以用于打印源代码的宏开头——参见例如http://www.warski.org/blog/2012/12/starting-with-scala-macros-a-short-tutorial/

也许：

// Given a partial function "pf", return the source code for pf
// as a string as well as the compiled, runnable function itself
def functionAndSource(pf: PartialFunction[Any, Any]): (String, PartialFunction[Any, Any]) = macro functionAndSourceImpl

def functionAndSourceImpl ...

val pm1: (String, PartialFunction[Any, Any]) = functionAndSource {
  case "foo" => R1
}

这在 Scala 中永远不会那么容易或那么好。Scala 不是 Lisp 或 Ruby：它是一种编译语言，并且没有针对代码本身的反射进行优化。

于 2015-08-17T14:15:56.940 回答
1

感谢您的回答。使用宏是有趣的一种选择。但作为一种选择，解决方案可能是使用某种命名的部分函数。这个想法是命名函数，因此在输出中您可以看到函数的名称而不是源代码。

object PartialFunctions {

  type FN[Result] = PartialFunction[Any, Result]

  case class NamedPartialFunction[A,B](name: String)(pf: PartialFunction[A, B]) extends PartialFunction[A,B] {
    override def isDefinedAt(x: A): Boolean = pf.isDefinedAt(x)
    override def apply(x: A): B = pf.apply(x)
    override def toString(): String = s"matching($name)"
  }

  implicit class Named(val name: String) extends AnyVal {
    def %[A,B](pf: PartialFunction[A,B]) = new NamedPartialFunction[A, B](name)(pf)
  }

}

那么你可以按如下方式使用它

import PartialFunctions._

val pm1: PartialFunction[Any, Any] = "\"foo\"" % {
  case "foo" => R1
}

val pm2: PartialFunction[Any, Any] = "_: Int > 10" % {
  case x: Int if x > 10 => R2
}

val pm3: PartialFunction[Any, Any] = "_: Boolean" % {
  case x: Boolean => R3
}

val messages: List[Any] = List("foo", 20)
val functions = List(pm1, pm2)

val found: List[Option[(String, Any)]] = functions map { case f: NamedPartialFunction =>
  messages.find(f.isDefined).map(m => (f.name, f(m))
}
于 2015-08-21T09:43:53.133 回答