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与任何已定义的类型一起使用。

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

我尝试创建一个新的隐式对象，该对象定义了由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

更新

如果您只想为AS[I, P]和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。

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

1 个答案:

更新

原始答案