Doobie 无法找到或构造 T 类型的 Read 实例

san*_*omf 7 scala implicit scala-cats doobie

我正在使用 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()
Run Code Online (Sandbox Code Playgroud)

但是,如果我声明一个具有类型限制的函数,如下所示:

 def getOption[T](f: Fragment): Option[T] = {
    f.query[T]
     .option
     .transact(xa)
     .unsafeRunSync()
Run Code Online (Sandbox Code Playgroud)

}

我收到了这些错误:

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()
Run Code Online (Sandbox Code Playgroud)

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

Krz*_*sik 7

为了doobie能够SQL查询的结果转换到你的测试用例类,它需要的实例Read 类型类的范围。

例如,Usuario它需要Read[Usuario]. 幸运的是,doobie能够从它已经知道的类型派生类型,例如String,因此在大多数情况下,我们不需要显式创建这些类型。

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

您可以非常轻松地修复它,只需为Read您的类型添加上下文绑定(例如T: Read或通过添加隐式参数)。这意味着当 T 的具体类型已经知道时,您的方法将在稍后的编译时传递“请求”以解析类型类

所以你的固定方法是:

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

或带有隐式参数:

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