案例类到无形的通用转换

Question

问题：

我有一个案例类Foo，它可以是任何东西。

我需要一个函数来创建密码查询。

这个新函数的签名应该是

def createQueryString[T](t: T): String = ???

示例：

我有 Foo 假设有两个成员

case class Foo(x: Int, y: String)

我需要将其转换为密码

CREATE (f:Foo { x: "1", y: "Hello" }) RETURN f

如果我将Foo(1, "Hello") 传递给上面提到的函数createQueryString

createQueryString[Foo](Foo(1, "Hello"))

到目前为止我尝试了什么？

我已经尝试使用shapeless 的Generic 和Aux 来实现这一目标

import shapeless._

case class Foo(x: Int, y: String)

def foo[T, HL <: HList](instance: T)(
  implicit gen: Generic.Aux[T, HL]
): HL = {
  gen.to(instance)
}

val myFoo = foo(Foo(1, "Hello"))
s"""CREATE (f:Foo { x: "${myFoo(0)}", y: "${myFoo(1)}" }) RETURN f"""

有什么方法可以使用这个foo(Foo(1, "Hello")) 在上面提到的createQueryString 内部实现？我想基本上将类型传递给这个函数。有点像

def createQueryString[T](t: T): String = {
  val gen = foo(t) // to get the generic
  s"""CREATE (t: T { x: "${gen(0)}", y: "${gen(1)}" }) RETURN t"""
}

类似的东西。但是这样做我得到以下错误

Error:(77, 22) could not find implicit value for parameter gen: shapeless.Generic.Aux[T,HL]
val gen = foo(t) // to get the generic

问题：

1. 我在上次使用 Aux 的实现中遗漏了什么？
2. 如何改进它使其足够通用以作为参数合并到密码查询中？案例类中可以有多个x 和y。

Answer 1

您忘记了隐式参数（或上下文边界）。

Generic 不仅可以生成HList，还可以生成Coproduct。这就是为什么如果你松散绑定<: HList 编译器不知道如何将Generic 的Repr 应用到0、1。

试试

import shapeless.ops.hlist.At
import shapeless.nat._

def foo[T](instance: T)(
  implicit gen: Generic[T]
): gen.Repr = {
  gen.to(instance)
}

def createQueryString[T, L <: HList](t: T)(implicit 
  g: Generic.Aux[T, L],
  at0: At[L, _0], 
  at1: At[L, _1]
): String = {
  val gen = foo(t) // to get the generic
  s"""CREATE (t: T { x: "${gen(0)}", y: "${gen(1)}" }) RETURN t"""
}

如果您需要标签x、y，那么您需要LabelledGeneric 而不是Generic。

如果您有任意数量的参数，那么您可以将 HList 转换为所需的形式，然后将其折叠为字符串。

{ x: "1", y: "Hello" } 看起来像 JSON。看Circe。