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]
       ^

重新格式化错误以在中缀位置使用::会产生：

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来扭转这种转变。

scodec variableSizePrefixBytes转换

1 个答案: