scala - 为什么找不到琐碎的隐式？

Question

为什么即使在琐碎的事情中也找不到隐式内容:

class Wrapper[+A](data: Vector[A]) {
  def sum[B >: A](implicit num: Numeric[B]) = data.sum
}

无法编译，除非诉诸于手动将 num传递给 data.sum

Answer 1

Scala specification(第107页)的7.2节指出implicit parameters are inferred after any type arguments are inferred。我相信这是问题所在。

Typer推断data.sum的最特定参数-A，然后在范围内查找隐式Numeric[A]。他不能用Numeric[B]代替它，因为Numeric是不变的。