5

假设我有一个部分功能（类似于 Akka 的演员接收方法）

def receive: PartialFunction[Any, Unit] = {
    case SomeCaseClass(params) => println("whatever")
}

有什么办法可以得到这个函数的所有定义参数？

我正在实现类似服务结构的 JSON RPC。我基本上希望客户能够通过部分功能定义服务。

def clientService = {
    case Connect(login, password) =>.....
    case SomeMessage => ...
    case SomeMethod(bla) => ..
}

例如，第一种方法将从

{method: "connect", params:{login: "asdsad", password: "adsada"}}

（这部分已经有效）

现在，如果一个客户已经定义了一个服务并且另一个客户想知道该服务的可用方法，我现在需要知道该服务接受什么样的案例类，以便我可以告诉请求的客户。我知道我可以使用对象中的普通方法轻松地做到这一点，但是由于我解析 JSON 并将其转换为案例类的方式，部分函数将简化我的 API，我喜欢漂亮的代码；）

另外，我很确定必须有一种通过反射的方法，尽管我不知道在编译 / 在运行时如何表示部分函数。

4

2 回答 2

3

根据您可以或愿意对您的服务做出多少假设，这是一种完全简单的方法，但可能仍然是一种选择。它基本上依赖于 1) 已知所有可能的消息类型和 b) 部分函数仅在一维中是部分的（稍后会详细介绍）。

我们需要一组可能的消息类型：

sealed trait Message

case class Hello(who: String) extends Message
case class Lunch(withWhom: String) extends Message
case class Dinner(withWhom: String) extends Message
case class Goodbye(who: String) extends Message

还有一些示例服务：

val service0: PartialFunction[Any, Unit] = {
  case Hello(who) => ()
  case Goodbye(who) => ()
}

val service1: PartialFunction[Any, Unit] = {
  case Hello(who) => ()
  case Lunch(withWhom) => ()
  case Goodbye(who) => ()
}

var services = List(service0, service1)

接下来，我们还定义了一个消息实例列表，作为接受消息的蓝图：

val simpleInstances = List(Hello("*"), Lunch("*"), Dinner("*"), Goodbye("*"))

最后，我们定义了一个方法，该方法从偏函数返回接受的参数和可能的参数列表：

def supportedArguments[F, T, A <: F]
                      (pf: PartialFunction[F, T], args: Iterable[A]) =

  args filter pf.isDefinedAt

漂亮的打印机：

def printSupportedArguments(services: Iterable[PartialFunction[Any, Unit]],
                            messages: Iterable[Message]) {

  services.zipWithIndex.foreach {case (s, i) =>
    val supported = supportedArguments(s, messages)
    println(s"Service $i supports $supported")
  }
}

我们走吧：

printSupportedArguments(services, simpleInstances)
  // Service 0 supports List(Hello(*), Goodbye(*))
  // Service 1 supports List(Hello(*), Lunch(*), Goodbye(*))
  // Service 2 supports List(Goodbye(*))

如果服务不仅在它们接受的消息类型上是局部的，而且在它们接受的消息内容方面也是局部的，也就是说，如果它们在多个方向上是局部的，事情就会变得更加复杂：

val service2: PartialFunction[Any, Unit] = {
  case Hello("Thomas") => ()
  case Hello("Laura") => ()
  case Goodbye(who) => ()
}

这样的服务还需要调整蓝图实例列表：

val moreInstances = simpleInstances ++ List(Hello("Thomas"), Hello("Laura"))

导致：

printSupportedArguments(services :+ service2, moreInstances)
  // Service 0 supports List(Hello(*), Goodbye(*), Hello(Thomas), Hello(Laura))
  // Service 1 supports List(Hello(*), Lunch(*), Goodbye(*), Hello(Thomas), 
  //                         Hello(Laura))
  // Service 2 supports List(Goodbye(*), Hello(Thomas), Hello(Laura))

这种方法的一系列缺点显然包括以下内容：

  • 必须知道消息类型

  • 如果服务在多个维度上是局部的，那么所有可能的消息内容也必须是已知的

  • 使用实例Hello("*")来表示的任意实例Hello使得无法区分接受Hello(_)的服务和字面上只接受的服务Hello("*")

如果您找到使用宏或反射（或魔术）的真正解决方案，请在此处发布！

于 2013-05-15T09:08:49.517 回答
1

您是否在询问是否可以获得Any将导致匹配的 arg 的所有输入的列表？如果这是您的问题，那么我相信答案是否定的。您所要做的就是isDefinedAt告诉您，如果将 arg 提供给此部分函数是否会导致匹配，但这可能不是您想要的。

于 2013-05-14T13:23:48.273 回答