使用惰性 val 序列化案例类会导致 StackOverflow

Question

假设我定义了以下案例类：

case class C(i: Int) {
    lazy val incremented = copy(i = i + 1)
}

然后尝试序列化为json：

val mapper = new ObjectMapper()
mapper.registerModule(DefaultScalaModule)
val out = new StringWriter
mapper.writeValue(out, C(4))
val json = out.toString()
println("Json is: " + json)

会抛出以下异常：

Exception in thread "main" com.fasterxml.jackson.databind.JsonMappingException: Infinite recursion (*Error) (through reference chain: C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]->C["incremented"]-
...

我不知道为什么它首先默认尝试序列化惰性 val？这在我看来不是合乎逻辑的方法

我可以禁用此功能吗？

Answer 1

您不能序列化该类，因为该值是无限递归的（因此堆栈溢出）。具体来说，C(4) 的incremented 的值是C(5) 的一个实例。对于C(5)，incremented 的值为C(6)。 incremented 对于C(6) 的值是C(7) 等等...

由于C(n) 的实例包含C(n+1) 的实例，它永远无法完全序列化。

如果您不希望某个字段出现在 JSON 中，请将其设为函数：

case class C(i: Int) {
    def incremented = copy(i = i + 1)
}

---

这个问题的根源是试图序列化一个也实现应用程序逻辑的类，这违反了关注点分离原则（SOLID 中的 S）。

最好有不同的序列化类，并根据需要从应用程序数据中填充它们。这允许使用不同形式的序列化，而无需更改应用程序逻辑。

Answer 2

我找到的解决方案是使用json4s 进行序列化而不是杰克逊数据绑定。我的问题是使用 akka 集群出现的，所以我必须在我的项目中添加一个自定义序列化器。以下是我的完整实现供参考：

class Json4sSerializer(system: ExtendedActorSystem) extends Serializer {

private val actorRefResolver = ActorRefResolver(system.toTyped)

object ActorRefSerializer extends CustomSerializer[ActorRef[_]](format => (
    {
        case JString(str) =>
            actorRefResolver.resolveActorRef[AnyRef](str)
    },
    {
        case actorRef: ActorRef[_] =>
            JString(actorRefResolver.toSerializationFormat(actorRef))
    }
))

implicit private val formats = DefaultFormats + ActorRefSerializer

def includeManifest: Boolean = true
def identifier = 1234567

def toBinary(obj: AnyRef): Array[Byte] = {
    write(obj).getBytes(StandardCharsets.UTF_8)
}

def fromBinary(bytes: Array[Byte], clazz: Option[Class[_]]): AnyRef = clazz match {
    case Some(cls) =>
        read[AnyRef](new String(bytes, StandardCharsets.UTF_8))(formats, ManifestFactory.classType(cls))
    case None =>
        throw new RuntimeException("Specified includeManifest but it was never passed")
}
}

Answer 3

这是因为 Jackson 是为 Java 设计的。具体来说，请注意：

• Java 不知道lazy val
• Java 围绕字段和构造函数的正常语义不允许将字段划分为“构造所需”和“构造派生”（这两个都不是技术术语），Scala 在默认构造函数中结合了val（隐式出现在 case class) 和 val 在类的主体中提供

第二个的结果是（有时除了 bean），面向 Java 的序列化方法倾向于假设任何是字段（包括 private 字段，因为 Java 习惯用法是通过默认）在对象中需要被序列化，可以通过@transient注解选择退出。

反过来，第一个意味着lazy vals 由编译器以包含private 字段的方式实现。

因此对于像 Jackson 这样面向 Java 的序列化程序，没有 @transient 注释的 lazy val 会被序列化。

面向 Scala 的序列化方法（例如 circe、play-json 等）倾向于通过仅序列化构造函数参数来序列化 case classes。