如何在编译时以编程方式创建验证合同？

Question

如果这是XY问题，我先向您道歉。

TL;博士：

我想要一个类型为[Request.type, Response.type]的编译时映射，因此我可以有效地说出如果我发送消息Request ，那么CLI应该在编译时知道如何反序列化其预期的Response ，不管它在运行时之前都不知道发送哪种类型的请求。

太长; 仍然阅读：

我有一个与HTTP服务器通信的CLI，并且根据发送到HTTP服务器的消息类型，我想针对一个案例验证JSON响应。

例如，如果我向HTTP服务器发送AddFoo消息，则可能需要验证JSON响应是否可以反序列化为AddedFoo等。

我当前的解决方案很hacky。 我使用play-json尝试使用从config.mode （即，发布给CLI的命令）到预期响应的隐式Reads的映射来解析JSON响应。

我的代码如下所示：

val modeToResponseReads: Map[String, Reads[_]] = Map(
  Modes.ADD_FOO -> AddedFoo.addedFooReads,
  Modes.ADD_BOO -> AddedBoo.addedBooReads,
  Modes.GET_WOO -> GetWooResponse.getWooReads,
)

parser.parse(args, MyConfig()) match {

  case Some(config) => try {
    val exec = new MyHttpExecutor(remoteUri, config)
    val res = Await.result(exec.getResponse, 100.seconds)

    // passing `Reads` to `as` because JsValue#as[T] cannot be
    // applied at runtime -- only compile-time.
    val _ = Json.parse(res.json.toString)
                .as(modeToResponseReads(config.mode))

    exec.actorSystem.terminate()
    exec.wsClient.close()
  } catch {
    case t: Throwable => logger.error(t.getMessage)
  }

  case None => {
    logger.error("Bad arguments.")
    sys.exit(1)
  }
}

尽管这有效，但随着消息数量的增加，这种不可思议的麻烦变得越来越难以维护。 此外，我发现该模式将需要在需要进行某种类型的验证或转换的任何地方复制（例如， Future[Any]被转换为Future[AddedFoo] ）。

我的方法肯定不是正确的方法...传统上是如何完成的？ 如果这是正确的方法（请否），是否可以进行优化？

Answer 1

我设法通过将合同直接编码到子Request类中来完成此任务。 即，子Request类将包含ResponseType类型，而基类将强制协变类型。

所以我可以做这样的事情：

abstract class Response
abstract class Request[+A <: Response]

case class Foo(id: String)

object Foo {
  implicit val fooReads = Json.reads[Foo]
  implicit val fooFormat = Json.format[Foo]
}

case class FooResponse(foo: Foo) extends Response {
  def greet = println("woo hoo!")
}

object FooResponse {
  implicit val fooRespReads = Json.reads[FooResponse]
  implicit val fooRespFormat = Json.format[FooResponse]
}

case class FooRequest() extends Request[FooResponse] {
  type ResponseType = FooResponse
}

object Main extends App {
  val req: FooRequest = new FooRequest()
  val foo = Foo("12345")
  val resp = new FooResponse(foo)

  val respJsonString = Json.toJson(resp).toString
  println(Json.parse(respJsonString).as[req.ResponseType])
}