scodec variableSizePrefixBytes变换

Question

我有一个用例，其中一个头可以包含7个字节加上一个可选的0-15字节的信息，其中的大小信息位于第5字节的较低的4位，所以格式是：

4 bytes | 4 bits | 4 bits <- length of extra bytes | 2 bytes | 0-15 extra Bytes

我在下面的案例类中对此进行了建模

case class FHDR(DevAddr:Long, ADR:Boolean, ADRACKReq:Boolean, ACK:Boolean, FPending:Boolean, FCnt:Int, FOpts:ByteVector)

implicit val FHDRCodec = {
  ("dev_addr" | uint32L) ::
  ("adr" | bool) ::
  ("adr_ack_req" | bool) ::
  ("ack" | bool) ::
  ("f_pending" | bool) ::
  variableSizePrefixedBytes(uint4, 
    "f_cnt" | uint16L, 
    "f_opts" | bytes)
}.as[FHDR]

根据scala，在本例中，我可以使用variableSizePrefixedBytes方法对大小和额外字节之间的2个额外字节进行建模。

但是我做错了一些事情，因为编译器不能证明这个编解码器可以转换为/从FHDR类，我已经盯着这个看了很长一段时间了，但我毫无头绪

Answer 1

本例中的错误是：

error: Could not prove that shapeless.::[Long,shapeless.::[Boolean,shapeless.::[Boolean,shapeless.::[Boolean,shapeless.::[Boolean,shapeless.::[(Int, scodec.bits.ByteVector),shapeless.HNil]]]]]] can be converted to/from FHDR.
   }.as[FHDR]
       ^

将错误重新格式化为在infix位置使用::提供如下信息：

error: Could not prove that Long :: Boolean :: Boolean :: Boolean :: Boolean :: (Int, ByteVector) :: HNil can be converted to/from FHDR.
   }.as[FHDR]
       ^

FHDR的泛型表示形式是Long :: Boolean :: Boolean :: Boolean :: Boolean :: Int :: ByteVector :: HNil。这里的问题是，HList中的最后一个类型是(Int, ByteVector)，它是由具有以下签名的variableSizePrefixedBytes引起的：

  def variableSizePrefixedBytes[A, B](size: Codec[Int], prefix: Codec[A], value: Codec[B], sizePadding: Int = 0): Codec[(A, B)] = ...

我们需要将该元组简化为外部HList结构，这将导致编解码器的形状与FHDR的泛型表示形式相匹配。

import scodec.bits._
import scodec.codecs._
import shapeless.syntax.std.product._

case class FHDR(DevAddr:Long, ADR:Boolean, ADRACKReq:Boolean, ACK:Boolean, FPending:Boolean, FCnt:Int, FOpts:ByteVector)

implicit val FHDRCodec = {
  ("dev_addr" | uint32L) ::
  ("adr" | bool) ::
  ("adr_ack_req" | bool) ::
  ("ack" | bool) ::
  ("f_pending" | bool) ::
  variableSizePrefixedBytes(uint4, 
    "f_cnt" | uint16L, 
    "f_opts" | bytes
  ).xmapc(_.toHList)(_.tupled)
}.as[FHDR]

在这里，我们在来自.toHList导入的Tuple2上使用shapeless.syntax.std.product._。我们还使用.tupled来逆转这种转换。