Scala--一个不可疑的隐式方法正在搞乱整个CanBuildFrom

Question

trait DBO
trait BSONWriter[S]

trait HasWriter {
   implicit def writer[T <: BSONWriter[_ <: DBO]]: T
}

一切都很好！除了我将它混合到对象中之外，所有集合的map方法和其他隐式使用canbuildFrom的东西在所有这些对象及其伴随类中现在显示错误，并显示如下消息：

• 不明确的隐式值：trait保存[T<:reactiveMongo.bson.handlers.bsonWriter[_<:traits.dbo]]=>T类型的方法writer和对象缓冲区[A]=>scala.collection.generic.canBuildFrom[scala.collection.mutable.Buffer.coll,A,scala.collection.mutable.Buffer.coll,A,scala.collection.mutable.Buffer[A]]类型的方法canBuildFrom LebsonDocument},that]

现在我不明白，这是为什么？混淆的隐式方法的签名是不同的！我怎样才能防止这种情况呢？

Answer 1

我想一个简短的例子就能说明问题：

trait Foo

trait Implicits {
    implicit def b[T <: String]: T

    implicit def run = implicitly[Foo]
}

这是正确的编译--那么这是怎么回事呢？使用-xprint:typer:

implicit def run: foo.Foo = scala.this.Predef.implicitly[foo.Foo](Implicits.this.b[Nothing])

问题是nothing（以及其他类型，就编译器所知）都是foo和<:string。b的类型多态性太强，因此它基本上匹配您要寻找的任何隐式。这就是您的示例中发生的事情:nothing既是t<:bsonwriter[_<:DBO]又是canbuildfrom[...]。

trait HasWriter[T <: BSONWriter[_ <: DBO]] {
   implicit def writer: T
}