具有許多類型參數的Type類

Question

我有一些類型參數的功能。 如何告訴編譯器這些類型實際上在類型類中？

trait Sizeable[-T, +R] {
  def mySize(x: T): R
}

implicit object StringSize extends Sizeable[String, Int] {
  def mySize(s: String) = s.length
}

def sum[T, R: Sizeable[T, R]](xs: List[T]): R =  xs.map(x => x.mySize)

錯誤是：

Error:(9, 14) A$A40.this.Sizeable[T,R] does not take type parameters 
def sum[T, R: Sizeable[T, R]](xs: List[T]): R =  xs.map(x => x.mySize);}

Answer 1

在這種情況下，您不能使用上下文綁定。 您必須顯式編寫隱式參數：

def foo[T, R](xs: List[T])(implicit sizeable: Sizeable[T,R]): List[R] =
  xs.map(x => sizeable.mySize(x))