当 Scala 中需要隐式时，参数多态性会中断

Question

我明白了

没有找到类型 T 的 Json 序列化程序。尝试为此类型实现隐式写入或格式。

在

import play.api.libs.json._

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

我将为 actual 参数类型提供Writes，但我认为这不会清除编译错误。经过一番谷歌搜索后，我觉得我对这个主题的理解可能缺少一些基本的东西。任何帮助表示赞赏。

Answer 1

在这种情况下，错误消息不是很清楚——你不需要为这种类型实现Writes，你只需要向编译器证明你有一个：

import play.api.libs.json._

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

这将按预期工作。您还可以在特征中包含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))
}