Scala中隐式参数的通用容器的隐式转换

Question

有没有办法让这个工作？ （斯卡拉 2.8.1）

class A
def f(implicit a: A) = 0

class Vendor[T](val v: T)
implicit val vendor = new Vendor(new A)
implicit def vendorToVal[T](implicit v: Vendor[T]) = v.v
f

错误是：'从方法 vendorToVal 开始的类型 A 的发散隐式扩展'

这和Lift 2.2的依赖注入有关，真正的代码是这样的：

class UserStore(implicit db: DbAccess)
object DependencyFactory extends Factory {
  implicit val db = new FactoryMaker[DbAccess](Model) {}
  import db._ // implicit conversion would allow to remove this import

  implicit val userStore = new FactoryMaker[UserStore](new UserStore) {}
}

此问题与：Is there a way to implicitly convert an implicit parameter in Scala?

Answer 1

问题是由vendorToVal 方法引起的——当我在隐式类型参数化方法中使用隐式参数时，我多次观察到相同的行为。不幸的是，我在 2.8._ 中没有找到简单而优雅的胶水。

一些有趣的线程，与主题相关：

1. http://scala-programming-language.1934581.n4.nabble.com/scala-Why-is-this-a-diverging-implicit-td1998156.html
2. http://www.scala-lang.org/node/6847

Answer 2

在 Scala 2.9 主干中，您可以这样做：

scala> class A
defined class A

scala> def f(implicit a: A) = 0
f: (implicit a: A)Int

scala> 

scala> class Vendor[T](val v: T)
defined class Vendor

scala> implicit def value[T: Vendor] = implicitly[Vendor[T]].v
value: [T](implicit evidence$1: Vendor[T])T

scala> implicit val vendor = new Vendor(new A)
vendor: Vendor[A] = Vendor@bbb2d0

scala> f
res0: Int = 0

调用f 将搜索A 类型的值，并找到隐含的value[A]，这需要Vendor[A] 类型的证据参数。它将这个证据参数解析为vendor。

我认为隐式在 2.8.1 中没有那么强大。