我是一名初学者,正在处理 MP4 文件解码。当我编写如下代码时,它报告“无法证明 Long :: String :: Option[Long] :: Option[java.util.UUID] :: shapeless.HNil可以转换为/从 SimpleMp4BoxHeader"。我该如何解决这个问题?
sealed trait Mp4BoxHeader {
def size: Int
def btype: String
}
case class SimpleMp4BoxHeader(size: Int, btype: String) extends Mp4BoxHeader
object SimpleMp4BoxHeader {
// val scodec = uint32 ~ ascii32
def apply(size: Int, btype: String): SimpleMp4BoxHeader = SimpleMp4BoxHeader(size, btype)
implicit def codec: Codec[SimpleMp4BoxHeader] = "simpleMp4BoxHeader" | { ("size" | uint32 ) :: ("btype" | ascii32) }.as[SimpleMp4BoxHeader]
}