shapeless 将 case class 转换为 HList 并跳过所有选项字段

Question

我有下一个class:

case class Foo(a: Option[Int], b: Option[String], c: Option[Double])

如您所见，所有字段都是可选的，我想将此 class 转换为 HList 或 Tuple，例如

val f1 = Foo(Some(1) , None, Some(3D))
val f2 = Foo(None, "foo")

val result1 = f1.to[Int::Double::HNil] // => 1::3D
val result2 = f2.to[String::HNil] // "foo"

有没有可能，不用反射？

Answer 1

可能可以使用 Shapeless 中的现有类型 class 执行此操作（类似于 NatTRel 和 RemoveAll），但我不是 100% 确定，在这种情况下，我只需要编写自己的类型 class:

import shapeless._

trait OptionalPieces[L <: HList, S <: HList] {
  def apply(l: L): Option[S]
}

object OptionalPieces extends LowPriorityOptionalPieces {
  implicit val hnilOptionalPieces: OptionalPieces[HNil, HNil] =
    new OptionalPieces[HNil, HNil] {
      def apply(l: HNil): Option[HNil] = Some(HNil)
    }

  implicit def hconsOptionalPiecesMatch[H, T <: HList, S <: HList](implicit
    opt: OptionalPieces[T, S]
  ): OptionalPieces[Option[H] :: T, H :: S] =
    new OptionalPieces[Option[H] :: T, H :: S] {
      def apply(l: Option[H] :: T): Option[H :: S] = for {
        h <- l.head
        t <- opt(l.tail)
      } yield h :: t
    }
}

sealed class LowPriorityOptionalPieces {
  implicit def hconsOptionalPiecesNoMatch[H, T <: HList, S <: HList](implicit
    opt: OptionalPieces[T, S]
  ): OptionalPieces[Option[H] :: T, S] =
    new OptionalPieces[Option[H] :: T, S] {
      def apply(l: Option[H] :: T): Option[S] = opt(l.tail)
    }
}

这证明 L 按顺序包含至少 S 的所有元素 Option，并给你一种在运行时（安全地）解包它们的方法。

然后我们可以像这样定义一个语法助手class：

implicit class OptionalPiecesSyntax[A, R <: HList](a: A)(implicit
  gen: Generic.Aux[A, R]
) {
  def to[S <: HList](implicit op: OptionalPieces[gen.Repr, S]): Option[S] =
    op(gen.to(a))
}

然后：

scala> val f1 = Foo(Some(1) , None, Some(3D))
f1: Foo = Foo(Some(1),None,Some(3.0))

scala> val f2 = Foo(None, Some("foo"), None)
f2: Foo = Foo(None,Some(foo),None)

scala> val result1 = f1.to[Int :: Double :: HNil]
result1: Option[shapeless.::[Int,shapeless.::[Double,shapeless.HNil]]] = Some(1 :: 3.0 :: HNil)

scala> val result2 = f2.to[String :: HNil]
result2: Option[shapeless.::[String,shapeless.HNil]] = Some(foo :: HNil)

如果你真的想要异常，你可以在语法 class 中调用 .get，但这似乎是个坏主意。

shapeless 将 case class 转换为 HList 并跳过所有选项字段

shapeless convert case class to HList and skip all option fields

scala

shapeless