使用 Argonaut 或 Circe 从不完整的 JSON 更新案例类

Question

如果 json 不完整（缺少某些字段），我需要从案例类实例创建一个更新的实例（任何需要的 DecodeJsons 隐式派生）。如何使用 Argonaut（最好）或 Circe（如果必须的话）来实现这一点？

例子：

case class Person(name:String, age:Int)
val person = Person("mr complete", 42)
val incompletePersonJson = """{"name":"mr updated"}"""
val updatedPerson = updateCaseClassFromIncompleteJson(person, incompletePersonJson)

println(updatedPerson)
//yields Person(mr updated, 42) 

我很确定我必须将 json 解析为 json AST，然后将其转换为 Shapeless LabelledGeneric，然后以某种方式使用 Shapeless 更新来更新案例类实例。

---

编辑 2

在阅读了 Shapeless 源代码后，我发现我可以生成自己的“默认”对象。我设法创建了一个解决方案，该解决方案需要在解析 json 时存在案例类的实例。我希望避免这种情况，而是稍后提供实例。无论如何，它是：

import shapeless._
import argonaut._
import ArgonautShapeless._
import shapeless.ops.hlist.Mapper

case class Person(name: String, age: Int)

object MkDefault {

  object toSome extends Poly1 {
    implicit def default[P] = at[P](Some(_))
  }

  def apply[P, L <: HList, D <: HList]
  (p: P)
  (implicit
   g: Generic.Aux[P, L],
   mpr: Mapper.Aux[toSome.type, L, D]
  ): Default.Aux[P, mpr.Out] =
    Default.mkDefault[P, D](mpr(g.to(p)))
}


object Testy extends App {
    implicit val defs0 = MkDefault(Person("new name? NO", 42))
    implicit def pd = DecodeJson.of[Person]
    val i = """{"name":"Old Name Kept"}"""
    val pp = Parse.decodeOption[Person](i).get
    println(pp)
}

这会产生Person(Old Name Kept,42)。

Answer 1

为了完整起见：自 0.2 版本以来，大约已提供对此类“修补”实例的支持：

import io.circe.jawn.decode, io.circe.generic.auto._

case class Person(name: String, age: Int)

val person = Person("mr complete", 42)
val incompletePersonJson = """{"name":"mr updated"}"""

val update = decode[Person => Person](incompletePersonJson)

然后：

scala> println(update.map(_(person)))
Right(Person(mr updated,42))

我关于这项技术的原始blog post 使用了 Argonaut（主要是因为我在开始研究 circe 前几个月写了它），并且该实现是 available as a library，尽管我从未在任何地方发布过。

Answer 2

您可以在Person 上生成带有宏注释的implicit val defs / pd（例如，在object Person 中，并执行import Person._ 来召唤隐含）。有关用法示例，请参阅 this unfinished Simulacrum in scalameta（scala-reflect 也很好，但似乎 scalameta 在这里就足够了）。您还必须在某处指定缺少的默认值（42），例如，以防类构造函数（age: Int = 42，识别也可以在宏中完成）。