Scala 有没有办法隐式转换隐式参数？

Question

有没有办法让这个工作（Scala 2.8.1）：

class A
class B
def f(implicit b: B) {}
implicit val a = new A
implicit def aToB(a: A) = new B
f(a) // works ok
f // error: could not find implicit value for parameter b: B

实际上我的问题是 Lift 的（2.2）依赖注入，我试图将 Vendor[T] 转换为 T 并在类构造函数中隐式需要它而不添加导入在每个 val 之后：

object DependencyFactory extends Factory {
  implicit def vendorToVal[T](vendor: Vendor[T]): T = vendor.vend

  implicit val db = new FactoryMaker[DbAccess](Model) {}
  //uncommenting the following line makes it work, but can we avoid it? 
  //import db._
  implicit val userStore = new FactoryMaker[UserStore](new UserStore) {}
}

UserStore 是：

class UserStore(implicit db: DbAccess)

我做错了什么吗？

更新

感谢Easy Angel回答第一部分。但它并没有解决我的 Lift DI 问题，因为事实证明，范围内存在相反的转换（从 T 到 Vendor[T]），并且这两者都会导致“错误：发散隐式扩展”。

能解决吗？

UPDATE2

哇，继上一个之后又出现了一个问题：在范围内使用 Container[U] 的隐式实例从某个 Container[T] 到 T 的转换以及具有隐式参数 U 的函数会导致“发散隐式扩展”太：

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

有什么提示吗？

Answer 1

这可能不是这个问题的最佳和最简洁的解决方案。但对我来说很有趣的是技术上是否可以实现你想要的。我尝试在不使用 Lift 的情况下尽可能地重现所有涉及的类...这是使用视图边界的可能解决方案之一：

class DbAccess
class UserStore[T](implicit db: T, ev: T => DbAccess)

class Vendor[T] (val vend: T)
class FactoryMaker[T] (vend: T) extends Vendor[T](vend)

implicit def vendorToVal[T](vendor: Vendor[T]) = vendor.vend

implicit val db: Vendor[DbAccess] = new FactoryMaker[DbAccess](new DbAccess) {}
implicit val userStore = new FactoryMaker[UserStore[Vendor[DbAccess]]](new UserStore) {}

在这种情况下，UserStore 知道事实，即 T 不是 DbAccess，但它也知道 T 可以作为 T 进行查看和使用。

---

编辑

关于您的第二个示例（在评论中）。我想到了这个简单的解决方法：

class A
class B
trait HighPrio

def f(implicit b: B) {}

implicit val a = new A with HighPrio

implicit def aToB(implicit a: A with HighPrio) = new B;
implicit def bToA(implicit b: B) = new A;

f

...不确定它是否适用于您的 Lift 案例。

Answer 2

你几乎成功了。您只需要声明 a 隐式：

implicit def aToB(implicit a: A) = new B

在这种情况下，编译器尝试为 f 的第一个隐式参数找到一些隐式 B ，并且它找到 <代码>aToB。编译器会满足 aToB 的要求（隐式 a: A）并找到您的隐式 val a。