Scala 类型类理解接口(interface)语法

Question

我在阅读有关猫的文章时遇到了以下代码片段，它是关于将对象序列化为 JSON 的!

它以这样的特征开始:

trait JsonWriter[A] {
  def write(value: A): Json
}

在此之后，我们的域对象有一些实例:

final case class Person(name: String, email: String)

object JsonWriterInstances {
  implicit val stringWriter: JsonWriter[String] =
    new JsonWriter[String] {
      def write(value: String): Json =
        JsString(value)
    }

  implicit val personWriter: JsonWriter[Person] =
    new JsonWriter[Person] {
      def write(value: Person): Json =
        JsObject(Map(
          "name" -> JsString(value.name),
          "email" -> JsString(value.email)
        ))
    }
  // etc...
}

到目前为止一切顺利!然后我可以像这样使用它:

import JsonWriterInstances._
Json.toJson(Person("Dave", "dave@example.com"))

后来我遇到了一种叫做接口(interface)语法的东西，它使用扩展方法来扩展现有类型的接口(interface)方法，如下所示:

object JsonSyntax {
  implicit class JsonWriterOps[A](value: A) {
    def toJson(implicit w: JsonWriter[A]): Json =
      w.write(value)
  }
}

然后这简化了对序列化 Person 的调用:

import JsonWriterInstances._
import JsonSyntax._
Person("Dave", "dave@example.com").toJson

我不明白的是，Person 是如何装箱到 JsonWriterOps 中的，这样我就可以直接调用 toJson，就好像 toJson 是在 Person 案例类本身中定义的一样。我喜欢这种魔法，但我无法理解关于 JsonWriterOps 的最后一步。那么这个接口(interface)语法背后的想法是什么，它是如何工作的呢？有帮助吗？

Answer 1

这实际上是一个标准的 Scala 功能，因为 JsonWriterOps 被标记为 implicit 并且在范围内，编译器可以在需要时在编译时应用它。因此 scalac 将进行以下转换:

Person("Dave", "dave@example.com").toJson
new JsonWriterOps(Person("Dave", "dave@example.com")).toJson
new JsonWriterOps[Person](Person("Dave", "dave@example.com")).toJson

旁注:

像这样将隐式类作为值类会更有效:

implicit class JsonWriterOps[A](value: A) extends AnyVal

这使得编译器也优化了新对象的构造，如果可能的话，将整个隐式转换+方法调用编译为一个简单的函数调用。