spray-json: Сериализовать общий признак

Question

spray-json полагается на присутствие в области видимости, неявный JsonWriter[T] при вызове toJson по экземпляру T.

Скажем, у меня есть черта с несколькими конкретными подтипов, каждый из которых имеет JsonWriter:

trait Base 
case class Foo(a: Int) extends Base 
case class Bar(a: Int, b: Int) extends Base 
implicit val FooFormat = jsonFormat1(Foo) 
implicit val BarFormat = jsonFormat2(Bar) 

def go(o: Base) = { 
    o.toJson 
} 

go не компилируется, потому что нет JsonWriter для базы, хотя являются писатели для всех конкретные подтипы.

Как я могу реорганизовать этот код так, чтобы общие функции Base использовали соответствующие json-форматиры?

Answer 1

Вы можете использовать общий метод с ограничениями типа и контекста. Например:

def go[T <: Base : JsonWriter](t: T) = t.toJson 

Answer 2

Маршаллинг Base потребует JsonFormat. Ниже приведен один из способов подхода к заявленной проблеме.

import spray.json._ 

object BaseJsonProtocol extends DefaultJsonProtocol { 
    implicit val FooFormat = jsonFormat1(Foo) 
    implicit val BarFormat = jsonFormat2(Bar) 

    implicit object BaseJsonFormat extends RootJsonFormat[Base] { 
    def write(obj: Base) = obj match { 
     case x: Foo ⇒ x.toJson 
     case y: Bar ⇒ y.toJson 
     case unknown @ _ => serializationError(s"Marshalling issue with ${unknown}") 
    } 

    def read(value: JsValue) = { 
     value.asJsObject.getFields("a","b") match { 
     case Seq(JsNumber(a)) => Foo(a.toInt) 
     case Seq(JsNumber(a), JsNumber(b)) => Bar(a.toInt, b.toInt) 
     case unknown @ _ => deserializationError(s"Unmarshalling issue with ${unknown} ") 
    } 
    } 
} 
} 

В результате BaseJsonProtocol может быть использован для Маршалла экземпляр Base следующим образом.

import BaseJsonProtocol._ 

def go(o: Base) = o.toJson 

assert (go(Foo(10)).convertTo[Foo] == Foo(10)) 
assert (go(Foo(10).asInstanceOf[Base]).convertTo[Foo] == Foo(10)) 
assert (go(Bar(10,100)).convertTo[Bar] == Bar(10, 100)) 

Надеюсь, это поможет!

Answer 3

я понял одно решение, чтобы сделать go обобщенную функцию с типом связанным, и объявить неявное значение ... «явно»

def go[T <: Base](t: T)(implicit fmt: JsonWriter[T]) = 
    t.toJson 

Теперь функция может компилировать, потому что JsonWriter обещан как функциональный параметр, и каждый сайт вызова может выполнить конкретную реализацию JsonWriter[T] в зависимости от контекста (FooFormat или BarFormat).