【问题标题】:Doobie cannot find or construct a Read instance for type TDoobie 无法找到或构造类型 T 的读取实例
【发布时间】:2021-01-11 02:03:18
【问题描述】:

我正在使用 doobie 查询一些数据,一切正常,如下所示:

case class Usuario(var documento: String, var nombre: String, var contrasena: String)

  def getUsuario(doc: String) =
     sql"""SELECT documento, nombre, contrasena FROM "Usuario" WHERE "documento" = $doc"""
      .query[Usuario]
      .option
      .transact(xa)
      .unsafeRunSync()

但是如果我这样声明一个具有类型限制的函数:

 def getOption[T](f: Fragment): Option[T] = {
    f.query[T]
     .option
     .transact(xa)
     .unsafeRunSync()

}

我收到了这些错误:

Error:(42, 12) Cannot find or construct a Read instance for type:
  T
This can happen for a few reasons, but the most common case is that a data
member somewhere within this type doesn't have a Get instance in scope. Here are
some debugging hints:
- For Option types, ensure that a Read instance is in scope for the non-Option
  version.
- For types you expect to map to a single column ensure that a Get instance is
  in scope.
- For case classes, HLists, and shapeless records ensure that each element
  has a Read instance in scope.
- Lather, rinse, repeat, recursively until you find the problematic bit.
You can check that an instance exists for Read in the REPL or in your code:
  scala> Read[Foo]
and similarly with Get:
  scala> Get[Foo]
And find the missing instance and construct it as needed. Refer to Chapter 12
of the book of doobie for more information.
    f.query[T].option.transact(xa).unsafeRunSync()

Error:(42, 12) not enough arguments for method query: (implicit evidence$1: doobie.util.Read[T], implicit h: doobie.LogHandler)doobie.Query0[T].
Unspecified value parameter evidence$1.
    f.query[T].option.transact(xa).unsafeRunSync()

有人知道如何制作我想要的东西吗?我认为这是隐含的东西,但我不知道如何解决它。

【问题讨论】:

    标签: scala implicit scala-cats doobie


    【解决方案1】:

    为了 doobie 能够将 SQL 查询的结果转换为您的案例类,它需要一个 Read typeclass 在范围内的实例。

    例如对于Usuario,它需要Read[Usuario] 的实例。幸运的是,doobie 能够从它已经知道的 typeclasses 中为类型派生 typeclasses,例如 String,所以在大多数情况下,我们不会不需要显式创建这些。

    在您的情况下,您想要创建具有类型参数 T 的方法 getOption,这意味着编译器不知道要查找哪种类型的 typeclass

    您可以很容易地修复它,只需将Read 的上下文绑定添加到您的类型(如T: Read 或添加隐式参数)。这意味着当 T 的具体类型已知时,您的方法将在编译时稍后通过 "request" 来解析 typeclass

    所以你的固定方法是:

    def getOption[T: Read](f: Fragment): Option[T] = {
        f.query[T]
         .option
         .transact(xa)
         .unsafeRunSync()
    

    或带有隐式参数:

    def getOption[T](f: Fragment)(implicit read: Read[T]): Option[T] = {
        f.query[T]
         .option
         .transact(xa)
         .unsafeRunSync()
    

    【讨论】:

    • 当我向“query[T]”提供错误的类型时,我经常会收到此错误
    猜你喜欢
    • 2021-11-23
    • 2020-08-22
    • 1970-01-01
    • 2020-09-05
    • 2019-11-21
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    相关资源
    最近更新 更多