在函数参数中使用多个 Scala TypeClass 实例

Question

我创建了一组案例类，我想使用 Scala Typeclass 实现不同的行为。下面的代码示例按预期工作。

case class QueryBuilder(s: String)

abstract class A()
case class B() extends A
case class C() extends A

abstract class S()
case class X() extends S
case class Y() extends S

trait BuildableQuery[T] {
  def toQuery(p: T): QueryBuilder
}
implicit object BQueryBuilder extends BuildableQuery[B] {
  def toQuery(p: B): QueryBuilder = { QueryBuilder("Query of B") }
}
implicit object CQueryBuilder extends BuildableQuery[C] {
  def toQuery(p: C): QueryBuilder = { QueryBuilder("Query of C") }
}
implicit object XQueryBuilder extends BuildableQuery[X] {
  def toQuery(p: X): QueryBuilder = { QueryBuilder("Query of X") }
}
implicit object YQueryBuilder extends BuildableQuery[Y] {
  def toQuery(p: Y): QueryBuilder = { QueryBuilder("Query of Y") }
}

def toQuery[A: BuildableQuery](value: A): QueryBuilder =
  (implicitly[BuildableQuery[A]]).toQuery(value)

println(toQuery(B()).s) // Query of B
println(toQuery(C()).s) // Query of C
println(toQuery(X()).s) // Query of X
println(toQuery(Y()).s) // Query of Y

到目前为止一切顺利。我可以将toQuery 方法与任何定义的类型一起使用。

我的问题：我想通过组合抽象类 A 和 S 创建一个返回 BuildableQuery 的函数。

我尝试创建一个新的隐式对象，该对象定义了由A 和S 组合组成的新案例类的行为。在函数中使用它时，它不会编译。

case class AS[I <: A, P <: S](a: I, s: P)
implicit object ASQueryBuilder extends BuildableQuery[AS[B, X]] {
  def toQuery(p: AS[B, X]): QueryBuilder = { QueryBuilder("Query of BX") }
}

// Does not compile...
// Error: could not find implicit value for evidence parameter of type BuildableQuery[AS[A,S]]
def func(a: A, s: S): QueryBuilder = toQuery(AS(a,s))

// Does not compile...
// Error: could not find implicit value for evidence parameter of type BuildableQuery[AS[I,P]]
def func2[I <: A: BuildableQuery, P <: S: BuildableQuery](a: I, s: P): QueryBuilder = 
  toQuery(AS(a,s))

这个问题有解决方案吗？

Answer 1

更新

如果您只想为 I 和 P 的特定值定义 AS[I, P] 实例，这也是可能的 - 您可以在问题中定义 ASQueryBuilder，然后在您的方法中使用类型类：

def func(a: A, s: S)(implicit bq: BuildableQuery[AS[A, S]]): QueryBuilder = toQuery(AS(a,s))

def func2[I <: A: BuildableQuery, P <: S: BuildableQuery](a: I, s: P)(implicit
  bq: BuildableQuery[AS[I, P]]
): QueryBuilder = toQuery(AS(a, s))

现在这些只有在适当的实例可用时才会编译。

---

原答案

听起来您想通用地创建实例，而不仅仅是为AS[B, X]。您可以使用通用方法来做到这一点：

implicit def ASQueryBuilder[I <: A, P <: S]: BuildableQuery[AS[I, P]] =
  new BuildableQuery[AS[I, P]] { 
    def toQuery(p: AS[I, P]): QueryBuilder = { QueryBuilder("Query of AS") }
}

现在您的示例将编译。

附带说明，使用相同的名称 (toQuery) 作为类型类方法和类型类语法方法会使事情变得有些困难。您可能想要重命名一个，例如语法方法在类型类实例的toQuery的定义中可用。