当在Scala中期望隐式时，参数多态性将中断

Question

我懂了

找不到类型T的Json序列化程序。尝试为此类型实现隐式的Writes或Format。

在

import play.api.libs.json._

trait A[T] {
  def foo(t: T) = bar(Json.toJson(t))
}

我将为实际的参数类型Writes一个Writes ，但是我看不到那会清除编译错误。 经过一番谷歌搜索后，我觉得我对该主题的理解可能缺少一些基本知识。 任何帮助表示赞赏。

Answer 1

在这种情况下，错误消息不是很清楚-您无需为此类型实现Writes ，只需向编译器证明您拥有：

import play.api.libs.json._

trait A[T] {
  def foo(t: T)(implicit w: Writes[T]) = bar(Json.toJson(t))
}

这将按预期工作。 您还可以在trait中包含一个implicit def w: Writes[T] ，这将要求实例化程序提供一个实例，这样做的限制更大，因为您不能在没有实例的情况下实例化A ，但是从语法上讲，如果您有很多类似的方法，实际上您可能希望限制在早期生效，而不是在实例化A并尝试在其上调用foo之后。

Answer 2

提供implicit def writes

import play.api.libs.json._

trait A[T] {
  implicit def writes: Writes[T]
  def foo(t: T) = bar(Json.toJson(t))
}

或将写操作作为implicit参数提供给foo

import play.api.libs.json._

trait A[T] {
  def foo(t: T)(implicit writes: Writes[T]): JsValue = bar(Json.toJson(t))
}