1

给定以下示例：

sealed trait Id

case class NewId(prefix: String, id: String) extends Id
case class RevisedId(prefix: String, id: String, rev: String) extends Id

case class User(key: Id, name: String)

val json = """
{
  "key": {
    "prefix": "user",
    "id": "Rt01",
    "rev": "0-1"
  },
  "name": "Bob Boberson"
}
"""

implicit val CodecUser: CodecJson[User] = casecodec2(User.apply, User.unapply)("key", "name")

implicit val CodecId: CodecJson[Id] = ???

json.decodeOption[User]

我需要编写一个CodecJson用于Id在对象具有适当结构时对其进行解码的方法。

添加某种鉴别器字段是对此的常见建议，但我不想更改我已经使用spray-jsonand生成/使用的 JSON json4s。

在这些库中，您的编码器/解码器基本上只是PartialFunction[JValue, A]和PartialFunction[A, JValue]. 如果您的值未在域中定义，则说明失败。我认为这是一个非常简单、优雅的解决方案。除此之外，您还拥有 JSON 类型的提取器，因此很容易匹配字段/结构上的对象。

Rapture 更进一步，使字段顺序不重要并忽略不匹配字段的存在，因此您可以执行以下操作：

case json"""{ "prefix": $prefix, "id": $id, "rev": $rev }""" => 
  RevisedId(prefix, id, rev)

这真的很简单/强大。

我无法弄清楚如何使用argonaut. 这是迄今为止我想出的最好的：

val CodecNewId = casecodec2(NewId.apply, NewId.unapply)("prefix", "id")
val CodecRevisedId = casecodec3(RevisedId.apply, RevisedId.unapply)("prefix", "id", "rev")

implicit val CodecId: CodecJson[Id] =
  CodecJson.derived[Id](
    EncodeJson {
      case id: NewId => CodecNewId(id)
      case id: IdWithRev => RevisedId(id)
    },
    DecodeJson[Id](c => {
      val q = RevisedId(c).map(a => a: Id)
      q.result.fold(_ => CodecNewId(c).map(a => a: Id), _ => q)
    })
  )

所以有一些问题。我必须定义我不打算使用的额外编解码器。EncodeJson我没有使用for中的案例类提取器CodecJson[Id]，而是委托给我定义的其他编码器。只是对于只有 2 或 3 个字段的类来说，感觉不是很直接或干净。

该DecodeJson部分的代码也很混乱。除了在. ifEmpty_foldDecodeJson.|||

有没有人有更惯用的方式来为 argonaut 中的 Sum 类型编写基本编解码器，不需要鉴别器，而是可以匹配json的结构？

4

1 回答 1

1

这是我能想到的最好的。它没有部分函数所具有的那种基本的优雅感，但它比我的第一次尝试更简洁，更容易破译。

val CodecNewId = casecodec2(NewId.apply, NewId.unapply)("prefix", "id")
val CodecRevisedId = casecodec3(RevisedId.apply, RevisedId.unapply)("prefix", "id", "rev")

implicit val CodecId: CodecJson[Id] = CodecJson(
  {
    case id: NewId => CodecNewId(id)
    case id: RevisedId => CodecRevisedId(id)
  },
   (CodecRevisedId ||| CodecNewId.map(a => a: Id))(_))

我们仍在为每个子类型使用“具体”编解码器。但是我们已经摆脱了CodecJson.derive调用，我们不需要将我们的 encode 函数包装在 anEncodeJson中，我们可以使用map我们的DecodeJson函数而不是类型转换，这样我们就可以回到 using|||而不是复制它的实现，这使得代码更具可读性。

这绝对是一个可用的解决方案，如果不是我所希望的。

于 2016-08-24T13:43:30.953 回答