具有隐式转换的类型类中的堆栈溢出

Question

我为 Scanamo 制作了一个通用的 DynamoFormat，它将把任何具有 Circe 的 Encoder 和 Decoder 定义的对象作为Json 字符串.

import com.gu.scanamo.DynamoFormat
import io.circe.parser.parse
import io.circe.syntax._
import io.circe.{Decoder, Encoder}

object JsonDynamoFormat {    
  def forType[T: Encoder: Decoder]: DynamoFormat[T] = DynamoFormat.coercedXmap[T, String, Exception] {
    s => parse(s).flatMap(_.as[T]).fold(err => throw err, obj => obj)
  } {
    obj => obj.asJson.noSpaces
  }
}

然后我添加了一个隐式转换（到相同的 object JsonDynamoFormat）以自动提供这些格式化程序。

implicit def jsonToFormat[T: Encoder: Decoder]: DynamoFormat[T] = JsonDynamoFormat.forType[T]

当我导入它时，编译器成功解析了格式化程序，但是在运行时我在 JsonDynamoFormat 中遇到堆栈溢出，其中对 jsonToFormat 和 forType 的调用无限交替：

Exception in thread "main" java.lang.WhosebugError
    at JsonDynamoFormat$.forType(JsonDynamoFormat.scala:12)
    at JsonDynamoFormat$.jsonToFormat(JsonDynamoFormat.scala:9)
    at JsonDynamoFormat$.forType(JsonDynamoFormat.scala:13)
    at JsonDynamoFormat$.jsonToFormat(JsonDynamoFormat.scala:9)
    ...

我真的不明白这里发生了什么。任何人都可以阐明这一点吗？

Answer 1

调试 Scala 隐式错误可能非常费力。以下是一些可以提供帮助的建议：

启用scalacOptions ++= Seq("-Xlog-implicits") 编译器选项。这将打印隐式搜索日志，并且有助于了解隐式链中断的确切位置。
添加 splain libraryDependencies ++= Seq(compilerPlugin("io.tryp" %% "splain" % "0.2.4")) 以提高隐式调试日志的可读性。

一般来说，一般派生的类型类在运行时发生堆栈溢出是隐式解析错误的标志。这通常意味着编译器找到了几个循环依赖隐式并使用其中一个来满足另一个，反之亦然。

通常这种情况会在编译时识别出来，编译会产生 "diverging implicits" 错误，但该错误可能是误报，因此库作者通常使用 Lazy 之类的技术来规避它来自 shapeless 的类型类。但是，如果存在实际的错误循环隐含，这将导致运行时错误，而不是编译时错误。

具有隐式转换的类型类中的堆栈溢出

Stack overflow in typeclass with implicit conversion

scala

typeclass

implicit-conversion

circe