无形：有没有办法从案例类或元组中获取Hlist类型

Question

我完全没有变形。 我从列表中创建一个case类，如下所示：

val list = Seq(Some(1), Some(1.0), ...)
val y =
  list
    .toHList[Option[Int]::Option[Double]::Option[Int]::Option[Double]::Option[Double]::Option[Double]::Option[Double]::Option[Double]::Option[Double]::Option[Double]::Option[Double]::Option[Double]::Option[Double]::Option[Double]::HNil]

val z = y.get.tupled
val aa = YieldVariables.tupled(z)

它运作良好，但我想知道是否有办法不在toHList[Here]部分写入所有这些类型。

所以我想知道像list.toHList[find the type yourself]或者list.getTypesForHlist或者是导致Option[Int]::Option[Double]... MyCaseClass.getTypesForHlist 。

Answer 1

对于case类（和元组，这些也是case类！），使用Generic ：

case class A(i: Int, s: String)
shapeless.Generic[A].to(A(1, "")) // Int :: String :: HNil

这在Seq上是不可能做到的。 实际上，只要您调用了构造函数，就会从类型的角度来看有关传递给该构造函数的元素数量的信息。 Shapeless还有SingletonProductArgs ：一个类似varargs的宏，它返回HList而不是Seq 。