将TableQuery对象作为参数传递会在Slick/Scala中导致奇怪的类型错误，但在注入时不会

在Slick/Scala中，TableQuery对象通常用于表示数据库表的查询操作。当你尝试将TableQuery对象作为参数传递时，可能会遇到类型错误，这是因为Slick的类型系统在处理泛型和路径依赖类型时比较复杂。

基础概念

TableQuery: 在Slick中，TableQuery是一个用于构建数据库查询的对象。它通常与数据库表的schema定义相关联。
路径依赖类型: Scala中的路径依赖类型是指依赖于特定作用域或实例的类型。在Slick中，TableQuery就是一种路径依赖类型。

问题原因

当你将TableQuery对象作为参数传递时，可能会遇到类型错误，因为Slick的类型系统需要知道具体的表schema来正确解析查询。如果传递的TableQuery对象没有足够的上下文信息，编译器可能无法推断出正确的类型。

解决方案

为了避免这种类型错误，可以采取以下几种方法：

方法一：使用隐式参数

通过传递隐式参数，可以提供必要的上下文信息给编译器。

import slick.jdbc.H2Profile.api._
import scala.concurrent.ExecutionContext.Implicits.global

case class User(id: Int, name: String)

class Users(tag: Tag) extends Table[User](tag, "USERS") {
  def id = column[Int]("ID", O.PrimaryKey)
  def name = column[String]("NAME")
  def * = (id, name) <> (User.tupled, User.unapply)
}

val users = TableQuery[Users]

def findUserById(query: TableQuery[Users], id: Int): DBIO[Option[User]] = {
  query.filter(_.id === id).result.headOption
}

val result = db.run(findUserById(users, 1))

方法二：使用类型类

通过定义类型类，可以为TableQuery提供额外的上下文信息。

import slick.jdbc.H2Profile.api._
import scala.concurrent.ExecutionContext.Implicits.global

case class User(id: Int, name: String)

class Users(tag: Tag) extends Table[User](tag, "USERS") {
  def id = column[Int]("ID", O.PrimaryKey)
  def name = column[String]("NAME")
  def * = (id, name) <> (User.tupled, User.unapply)
}

val users = TableQuery[Users]

trait TableQueryContext[T <: Table[_]] {
  type Query = TableQuery[T]
}

object TableQueryContext {
  implicit val usersContext: TableQueryContext[Users] = new TableQueryContext[Users] {}
}

def findUserById[T <: Table[_]](query: TableQueryContext[T]#Query, id: Int)(implicit ctx: TableQueryContext[T]): DBIO[Option[User]] = {
  query.filter(_.id === id).result.headOption
}

val result = db.run(findUserById(users, 1))