带隐式参数的泛型函数

Question

我试图概括我用于从Play动作返回Json的一个函数.

我目前这样做:

def JsendOkObj(obj: JsValue) = Ok(Json.obj("status" -> "success", "data" -> obj))

并称之为:

JsendOkObj(Json.toJson(myObj))

我想做更多的事情:

def JsendOkObj[A](obj: A) = Ok(Json.obj("status" -> "success", "data" -> Json.toJson(obj)))

然后称之为:

JsendOkObj(myObj)

其中Json.toJson被定义为:

def toJson[A](implicit arg0: Writes[A]): Enumeratee[A, JsValue]

我编译的错误是我需要定义一个类型的Writes A.这是不可能的,因为我不知道哪种类型A最终会成为:

没有找到类型A的Json反序列化器.尝试为此类型实现隐式写入或格式.

Answer 1

通过向自己的方法添加隐式参数列表,可以确保Writes[A]在调用时隐式将在范围内toJSon,如下所示:

def JsendOkObj[A](obj: A)(implicit w: Writes[A]) =
  Ok(Json.obj("status" -> "success", "data" -> Json.toJson(obj)))

这相当于将类型类实例显式传递给toJson:

def JsendOkObj[A](obj: A)(implicit w: Writes[A]) =
  Ok(Json.obj("status" -> "success", "data" -> Json.toJson(obj)(w)))

请注意,您还可以使用此处绑定的上下文:

def JsendOkObj[A: Writes](obj: A) =
  Ok(Json.obj("status" -> "success", "data" -> Json.toJson(obj)))

这只是我上面第一个版本的语法糖.