2

是否可以在上下文绑定中访问更高种类的类型构造函数参数？我希望定义一个采用更高类型的特征，并具有一个返回构造函数参数实例的方法。

case class A[TContents](c: TContents) {
  def foo = c
}

case class B[TContents](c: TContents) {
  def foo = c
}

trait Fooable[TClass[_ <: TContents], TContents] {
  def foo(obj: TClass[TContents]): TContents
}

case class AFooable[TContents] extends Fooable[A, TContents] {
  def foo(obj: A[TContents]) = obj.foo
}

case class BFooable[TContents] extends Fooable[B, TContents] {
  def foo(obj: B[TContents]) = obj.foo
}

class test {
  def getFoo[TType[_] : Fooable, TContents](obj: TType[TContents]): TContents = 
    implicitly[Fooable[TType, TContents]].foo(obj)

  implicit def aFooable = AFooable

  val a = A(1)
  val foo = getFoo(a)
}

这失败了，编译器错误抱怨上下文边界不能有两个类型参数，但我找不到另一种访问类型构造函数参数的方法？

4

1 回答 1

3

你有两个选择——要么使用类型 lambda 技巧来部分应用Fooable（呃）：

def getFoo[TType[_]: ({type L[A[_]] = Fooable[A, TContents]})#L, TContents](
  obj: TType[TContents]
): TContents = implicitly[Fooable[TType, TContents]].foo(obj)

或者对上下文绑定脱糖（在我看来更好）：

def getFoo[TType[_], TContents](obj: TType[TContents])(
  implicit ev: Fooable[TType, TContents]
): TContents = ev.foo(obj)

请注意，无论哪种情况，您都需要提供aFooable类型参数：

implicit def aFooable[A] = AFooable[A]

我强烈建议您遵守有关无参数列表案例类的警告。

于 2012-12-06T14:01:04.200 回答