11

我正在尝试将不同类型的对象抽象到类似结构的 sql 表中。这是我正在尝试做的事情：

class TableAccess[A : Meta](table: String) {
  def insert(key: String, a: A): ConnectionIO[Unit] = {
    (fr"insert into " ++ Fragment.const(table) ++ fr" values ($key, $a);").update.run.map(_ => ())
  }
}

但我得到这个编译错误：

[error] diverging implicit expansion for type doobie.util.param.Param[A]
[error] starting with method fromMeta in object Param
[error]     (fr"insert into " ++ Fragment.const(table) ++ fr" values ($key, $a);").update.run.map(_ => ())

我可以在文档中找到的是：

doobie 允许您使用 Meta 实例插入任何类型的值（及其选项），其中包括...

但在这种情况下似乎还不够；我需要什么正确的类型/导入/转换？

4

3 回答 3

2

差不多一年后，我会继续回答我自己的问题。我从来没有完全理解发生了什么，并且我已经更新到更新版本的 doobie，所以我不确定这有多相关。但现在文档包含了这个线索：

注意：重要的是要理解 Meta 的存在只是为了将 Get/Put 对引入隐式范围。你永远不应该在用户代码中要求 Meta 作为证据：而是要求 Get、Put 或两者兼而有之。

def foo[A: Meta](...)     // don't do this
def foo[A: Get: Put](...) // ok

事实上，在那个变化和新版本之间，现在编译对我来说很好：

class TableAccess[A: Get: Put](table: String) {
于 2020-01-06T19:10:29.803 回答
0

当编译器解析隐式时，它会搜索当前范围内的特定类型之一。在这里，他的树搜索似乎不止一个。

这不是缺少类型类或导入的问题，更像是你有太多的类型并且编译器无法找到正确的类型。尝试删除一些隐式并查看其工作原理或显式传递它们。

于 2018-03-18T08:42:52.090 回答
0

我解决这个问题的一种方法是将类型参数（及其证据）本地化到方法上（在静态/伴随对象上），然后编译。

就像是

object MinimalGood {
  def good[A: Meta, B: Meta](a: A, b: B): Update0 =
  sql"""$a $b""".update
}
于 2018-10-09T19:16:36.893 回答