scala - 为递归数据结构定义“编解码器”

Question

我有一个看起来像这样的课程，

case class Foo ( bar: Int, foos: Vector[Foo] )

定义一个Codec[Foo]，我试过这个，

def fc = shapeless.Lazy((int32 ~~ vector(fc)).widenOpt( (Foo.apply _).tupled, Foo.unapply _ ))

但这不起作用，因为 scodec 抛出StackOverflowError. 这样做的正确方法是什么？

Answer 1

您需要scodec.codecs.lazily组合器来构建递归编解码器（不是shapeless.lazily）。例如：

scala> def fc: Codec[Foo] = lazily((int32 :: vector(fc)).as[Foo])
fc: scodec.Codec[Foo]

scala> val res = fc.encode(Foo(1, Vector(Foo(2, Vector.empty)))).require
res: scodec.bits.BitVector = BitVector(64 bits, 0x0000000100000002)

scala> fc.decode(res)
res2: scodec.Attempt[scodec.DecodeResult[Foo]] = Successful(DecodeResult(Foo(1,Vector(Foo(2,Vector()))),BitVector(empty)))

在 scodec 1.8.2 和之前的版本中，派生此编解码器而不是显式定义它，会在编译时导致错误，因为派生会一直递归地继续下去。从 1.8.3 开始，此编解码器可以自动派生而不会出现问题。

有关递归树的示例，请参阅scodec 源中的此示例。