2

我做了一个泛型DynamoFormat，Scanamo它将任何具有Circe'sEncoder并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.StackOverflowError
    at JsonDynamoFormat$.forType(JsonDynamoFormat.scala:12)
    at JsonDynamoFormat$.jsonToFormat(JsonDynamoFormat.scala:9)
    at JsonDynamoFormat$.forType(JsonDynamoFormat.scala:13)
    at JsonDynamoFormat$.jsonToFormat(JsonDynamoFormat.scala:9)
    ...

我真的不明白这里发生了什么。任何人都可以对此有所了解吗？

4

1 回答 1

2

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

  • 启用scalacOptions ++= Seq("-Xlog-implicits")编译器选项。这将打印隐式搜索日志，并且有助于了解隐式链中断的确切位置。

  • 添加 splainlibraryDependencies ++= Seq(compilerPlugin("io.tryp" %% "splain" % "0.2.4"))以提高隐式调试日志的可读性。

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

通常这种情况在编译时会被识别出来，并且编译会产生“发散隐式”错误，但该错误可能是误报，因此库作者通常通过使用Lazyshapeless 中的 typeclass 之类的技术来规避它。但是，在实际存在错误的循环隐式的情况下，这将导致运行时错误，而不是编译时错误。

于 2017-08-28T11:39:58.930 回答