如何通过有界泛型解决隐式查找?

Question

我有一系列的类Foo：

trait Foo
class Foo1 extends Foo
class Foo2 extends Foo
//...

我有一个类型类和所有 Foos 的实例：

trait CanBar[T] { def bar: Unit }
implicit val foo1: CanBar[Foo1] = null
implicit val foo2: CanBar[Foo2] = null

我尝试从方法中获取类型类实例：

def bar[T <: Foo](foo: T) = {
val canBar = implicitly[CanBar[T]]
//...
}

编译器抱怨No implicits found for parameter e: CanBar[T]，即使我导入了所有CanBar[Foo]实例。

我的假设是编译器正在寻找T(即Any或Foo(并且没有找到任何T。我是否正确，在这种情况下如何使其工作(没有宏(

Answer 1

编译器

抱怨No implicits found for parameter e: CanBar[T]，即使我导入了所有CanBar[Foo]实例。

CanBar[Foo]不是CanBar[T].

添加上下文绑定

def bar[T <: Foo : CanBar](foo: T) = {
val canBar = implicitly[CanBar[T]]
//...
}