覆盖特征中的隐式抽象成员 - 注入隐式依赖项（类型类实例） - 如何使其工作？

Question

下面的代码编译失败。

这段代码的目的是将隐式依赖注入UseImplicit。 换句话说，它是类型类实例的依赖注入。

trait StuffProvider[T]{
  implicit val provideStuff:() => T
}

trait UseImplicit{
  implicit val gimmiString: StuffProvider[String] // implicit dependency
  implicit val gimmiInt: StuffProvider[Int]
  def foo[T:StuffProvider]() :T = implicitly[StuffProvider[T]].provideStuff()
}

object Main{

  object StringProvider extends StuffProvider[String]{
    implicit val provideStuff: () => String= () => "bla"
  }

  object IntProvider extends StuffProvider[Int]{
    implicit val  provideStuff: () => Int= () => 42
  }

  object UI extends UseImplicit {
    implicit val gimmiString=StringProvider // injection
    implicit val gimmiInt=IntProvider
  }

  val f:Int=UI.foo[Int]() //  Error:(27, 15) could not find implicit value for evidence parameter of type StuffProvider[T]

}

但这编译得很好：

trait UseImplicit2{
  implicit val gimmiString: String
  def foo() :String = implicitly[String]
}

object Main2{

  object UI extends UseImplicit2 {
    override implicit val gimmiString:String = "s"
  }
  val f=UI.foo() // this compiles just fine
}

我看不出这两个代码有什么区别，它们的结构相同。

为什么第二个编译而第一个不编译？

如何进行第一次编译？

目标是我可以将隐式注入到UseImplicits 的实现中。这样我就可以提供几种实现方式（测试、生产）。

Scala Fiddle 在这里：https://scalafiddle.io/sf/dm3OJSF/1

Answer 1

在调用UI.foo() 之前，将UI 隐含（由import UI._）导入当前范围，应该可以解决您的问题。

---

您可以注入所需的UseImplicit（例如注入Foo 类）并将其用作：

case class Foo(ui: UseImplicit) {
  import ui._
  val f: Int = ui.foo[Int]() //Use your injected `UseImplicit`
}