scala - 编解码器忽略 hlist 和 case 类之间编解码器转换中的最后一个值

我刚刚开始使用 typelevel 的“编解码器”库:https://github.com/scodec/scodec

我发现我一直在使用以下功能:

/**
 * When called on a `Codec[L]` for some `L <: HList`, returns a new codec that encodes/decodes
 * `B :: L` but only returns `L`.  HList equivalent of `~>`.
 * @group hlist
 */
def :~>:[B](codec: Codec[B])(implicit ev: Unit =:= B): Codec[L] = codec.dropLeft(self)

如果我有一个不想使用规范的每个值的案例类，这很有用:

case class Example(value1: Int, value3)
implicit val exampleCodec: Codec[Example] = (
("value1" | uint8) ::
("value2" | uint8) :~>: // decode/encode, but dont pass this in when converting from hlist to case class
("value3" | uint8)
).as[Example]

如果我想忽略的值不是 hlist 中的最后一个，这很有效。有谁知道如何更改编解码器，如果我希望我的案例类是:

case class Example(value1: Int, value2: Int)//忽略 value3

任何帮助表示赞赏 - 谢谢!

最佳答案

您可以只使用 <~ ，而不是这样:

implicit val exampleCodec: Codec[Example] = (
  ("value1" | uint8) ::
  ("value2" | uint8).unit(0) :~>:
  ("value3" | uint8)
).as[Example]

你会这样写:

implicit val exampleCodec: Codec[Example] = (
  ("value1" | uint8) ::
  ("value3" | uint8) <~
  ("value2" | uint8).unit(0)
).as[Example]

请注意，您必须明确地将编解码器设为 Codec[Unit] — 我在这里使用 .unit(0) 作为示例。

关于scala - 编解码器忽略 hlist 和 case 类之间编解码器转换中的最后一个值，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/26917604/