scala - 具有泛型参数的抽象类的 JsonFormat

Question

我正在尝试为抽象类编写一个 JsonFormat，它的通用参数看起来像这样:

abstract class Animal[A] {
    def data: A
    def otherStuff: String = "stuff"
}
case class CatData(catField: String)
case class Cat(data: CatData) extends Animal[CatData]

到目前为止，我的尝试是这样的:

object AnimalProtocol extends DefaultJsonProtocol {

    implicit val catDataFormat = jsonFormat1(CatData)
    implicit val catFormat = jsonFormat1(Cat)

    implicit def animalFormat[T <: Animal[T]](t: T)(implicit fmt: JsonWriter[T]) = new RootJsonFormat[Animal[T]] {
    def write(obj: Animal[T]) = obj match {
        case x: Cat => catFormat.write(x)
    }

    def read(json: JsValue) = ???
  }

现在，如果我尝试这样做:

import AnimalProtocol._
val cat: Animal[CatData] = Cat(CatData("this is cat data"))

我得到编译器错误:

Cannot find JsonWriter or JsonFormat type class for Animal[CatData]

我怎样才能让它发挥作用？最后，我想用 Animal 中的字段编写 json，并将 data 设置为适用的任何案例类。

Answer 1

您需要在implicit def 中为通用字段和Animal 的子类提供类型参数:

object AnimalProtocol2 extends DefaultJsonProtocol {

  implicit val catDataFormat = jsonFormat1(CatData)

  implicit def animalFormat[A, T <: Animal[A]](implicit fmt: JsonWriter[A]): RootJsonFormat[T] = new RootJsonFormat[T] {
    def write(obj: T) = {
      JsObject(
        "data" -> obj.data.toJson,
        "otherStuff" -> obj.otherStuff.toJson
      )
    }

    def read(json: JsValue) = ???
  }
}

这还允许您摆脱 animalFormat 中子类的模式匹配。