从绑定到集合类型参数的上下文隐式

Question

我有一些代码通过使用spray.json将案例类的Stream转换为json表示来流式传输响应。 这对于单个案例类来说效果很好，但我想对其进行泛化。

所以我从这样的案例类开始：

import spray.json._
import spray.json.DefaultJsonProtocol._
case class Item(foo: String, bar: Int)
case class Report(baz: String, stream: Stream[Item])
object Protocol { implicit val ItemFormat = jsonFormat2(Item) }

在我的报告流式传输方法中，我有如下代码（高度简化）：

def streamReport(...) {
    import Protocol._

    val handler: PartialFunction[Try[Any], String] = {
        case Success(Report(_, stream)) =>
            stream.head.toJson.compactPrint
    }
}

我想做的是将Report泛化为不仅支持Item：

case class Report[T](baz: String, stream: Stream[T])

但是，现在，当然， streamReport方法在类型Any范围内找不到JsonWriter 。

如果我添加一个上下文绑定到streamReport的类型参数，然后直接传递Report ，我可以做些接近我想要的事情：

def jsonStream[T : JsonWriter](report: Report[T]): String = 
    implicitly[JsonWriter[T]].write(report.stream.head).compactPrint

但是，我不知道如何PartialFunction与PartialFunction 。 以下代码无法编译（由于部分函数的签名与上面的签名不同，因此也无法完全匹配）：

def handler[T : JsonWriter](): PartialFunction[T, String] = {
    case Success(Report(_, stream)) =>
        implicitly[JsonWriter[T]].write(report.stream.head).compactPrint
}

我不确定哪里出了问题。 它与类型擦除有关，还是在我的部分函数中将Try[Any]作为参数类型有问题？ 如何获取流的元素类型所需的隐式JsonWriter？

Answer 1

我的猜测是， Any并不是问题，问题是试图将case Success(Report(_, stream))匹配，之后Report的定义现在为Report[T] 。

另外，为了找到正确的隐式转换，编译器需要了解所涉及的类型（在编译时）。 尝试使用如下所示的内容：

def streamReport[T](...) {
    import Protocol._

    val handler: PartialFunction[Try[Any], String] = {
        case Success(Report[T](_, stream)) =>
            stream.head.toJson.compactPrint
    }
}

这样，编译器将知道要匹配的内容，并可以推断出正确的类型。