scala - 在 Shapeless 中，我可以为非 case 类提供 `LabelledGeneric` 的实例，以启用类型类实例的自动派生吗？

Question

我有一个 json 库，它通过遵循 Scala 中的类型类模式定义了 ReadCodec 的概念(它定义了如何读取 json)。此库使用 Shapeless 的 Typeclass 结构免费为任何案例类派生 ReadCodec 的自动实例。

现在，我有一个代码生成器，它在 Scala 中生成不是案例类的类(但可能应该是)。我可以让代码生成器为每个类生成 ReadCodec 的实例，这就是我们现在拥有的。但是现在如果我希望生成的类支持某种新形式的序列化，我需要修改代码生成以输出这个新类型类的实例。

有没有一种方法可以修改代码生成器以输出具有 LabelledGeneric 实例的类或其他可以利用自动生成(通过宏)机制的东西案例类的实例？这样，生成的代码可以与任何使用 Shapeless 的 Typeclass 实现实例物化的类型类模式互操作。

Answer 1

有一个棘手的步骤，但您绝对可以定义自己的 LabelledGeneric 实例。为了这里的示例，我将使用 Alex Archambault 的 argonaut-shapeless library，它并没有直接使用 TypeClass，而是使用了 LabelledGeneric，原理是一样的。

我们类的第一个:

class Foo(val i: Int, val s: String)

然后对于我们的例子:

import shapeless._, labelled._, record._, syntax.singleton._

implicit object fooGeneric extends LabelledGeneric[Foo] {
  val iw = Witness('i)
  val sw = Witness('s)

  type Repr = FieldType[iw.T, Int] :: FieldType[sw.T, String] :: HNil

  def from(r: Repr): Foo = new Foo(r('i), r('s))
  def to(t: Foo): Repr = ('i ->> t.i) :: ('s ->> t.s) :: HNil
}

请注意，我们需要一种方法来引用 Repr 中记录键的单例类型，因此我们首先定义了几个 witnesses。这是棘手的部分。

现在你只需要这样写:

import argonaut._, Argonaut._, Shapeless._

然后:

scala> implicitly[EncodeJson[Foo]].encode(new Foo(42, "foo"))
res0: argonaut.Json = {"s":"foo","i":42}

如果您愿意，我可以组合一个 LabelledTypeClass 示例，但想法完全相同。