Scala：隐式、子类化和成员类型

Question

假设我们想使用类型类来实现漂亮的打印：

trait Printer[T] {def print(t: T)}

int 的默认实现：

implicit object IntPrinter extends Printer[Int] {
    override def print(i : Int): Unit = println(i)
}

我们要打印的具体类型是：

trait Foo {
    type K
    val k: K
}

class IntFoo extends Foo {
    override type K = Int
    override val k = 123
}

酷。现在我想用可打印的 Ks 为所有 Foos 构建打印机

implicit def fooPrinter[FP <: Foo](implicit ev: Printer[FP#K]): Printer[FP] =
    new Printer[FP] {
        override def print(f: FP): Unit = {
            Predef.print("Foo: ")
            ev.print(f.k)
        }
    }

让我们检查隐式是否已解决：

def main(args: Array[String]) {
    implicitly[Printer[Int]]
    implicitly[Printer[IntFoo]]
}

scalac 2.11.2 说：

diverging implicit expansion for type Sandbox.Printer[Int]
    starting with method fooPrinter in object Sandbox
        implicitly[Printer[Int]]

什么？

好的，让我们重写 fooPrinter：

implicit def fooPrinter[KP, FP <: Foo {type K = KP}](implicit ev: Printer[KP]) =
    new Printer[FP] {
        override def print(f: FP): Unit = {
            Predef.print("Foo: ")
            ev.print(f.k)
        }
    }

这在 2.11 中有效，但第一种方法有什么问题？ 不幸的是，我们在 2.10 上，第二个解决方案仍然不起作用。它会一直编译，直到我们再添加一台 sim 打印机，例如

implicit object StringPrinter extends Printer[String] {
    override def print(s : String): Unit = println(s)
}

它神秘地破坏了 Printer[IntFoo] 隐式：

could not find implicit value for parameter e:   
    Sandbox.Printer[Sandbox.IntFoo]

编译器错误？

Answer 1

隐式声明的顺序很重要。在您的源代码中重新排序原始代码来自

implicit object IntPrinter ...
...
implicit def fooPrinter ...

到

implicit def fooPrinter ...
...
implicit object IntPrinter ...