使用酸洗在Scala上序列化具有特征的类时出错？

Question

我正在尝试使用 Pickling 序列化 Scala 类。

  import scala.pickling.Defaults._
  import scala.pickling.json._

  trait Tr[T<: Tr[T]]{}
  class Sub(z: Int) extends Tr[Sub] {}
  class Data(b: Tr[_])

  val message = new Data(new Sub(1)).pickle.value

我在编译时收到此错误：

错误：.....类型参数 [_$2] 不符合特征 Tr 的类型 参数范围 [T <: tr val message="new" data sub>

Answer 1

如何使用以下类层次结构：

trait Tr[T <: Tr[T]]
case class Sub(z: Int) extends Tr[Sub]
case class Data[T <: Tr[T]](b: T)

val message = Data(Sub(1)).pickle.value

腌制如下：

{
  "$type": "Data[Sub]",
  "b": {
    "z": 1
  }
}