Scala：如何让上下文绑定的 List[T] 转换在这里工作？

Question

这是我的第一个问题，所以希望我提供足够的细节。请随时要求澄清。

考虑到以下因素，这是有效的：

implicit def optionBsonReader[T, U](implicit ev: BsonReader[T, U]) = new BsonReader[Option[T], Option[U]] {
  def read(obj: Option[U]): Option[T] = {
    obj match {
      case Some(x) => Some(x.fromBson[T])
      case None => None
    }
  }
}

这段代码将 Option 包装的 BSON 片段转换为另一个 Option[T]。我认为这同样适用于列表，但以下内容无法编译：

implicit def listBsonReader[T, DBObject](implicit ev: BsonReader[T, DBObject]) = new BsonReader[List[T], MongoCursor] {
  def read(cur: MongoCursor): List[T] = {
    cur.map(_.fromBson[T]).toList
  }
}

我正在使用以下代码来实现一般机制：

package object bson {

  def bsonReader[A, B](implicit reader: BsonReader[A, B]) = reader
  def bsonWriter[A, B](implicit writer: BsonWriter[A, B]) = writer

  implicit def addWriter[A](any: A): WithWriter[A] = new WithWriter(any)
  implicit def addReader[A](any: A): WithReader[A] = new WithReader(any)
}

package bson {
  private[bson] class WithWriter[A](any: A) {
    def toBson[B](implicit writer: BsonWriter[A, B]): B = writer.write(any)
  }
  private [bson] class WithReader[B](any: B) {
    def fromBson[A](implicit reader: BsonReader[A, B]): A = reader.read(any)
  }
}

编译器错误： 无法找到参数读取器的隐式值：project.marshalling.bson.BsonReader[T,com.mongodb.casbah.Imports.DBObject] cur.map(_.fromBson[T]).toList

这让我觉得很奇怪，因为编译器似乎试图在调用 fromBson 来提供类型之前评估 T 。这让我觉得特别奇怪，因为选项读者似乎没有这样的抱怨。我最近才开始认真地用 Scala 编写代码，所以我确信我在这里遗漏了一些东西。

如果您需要更多信息，请告诉我并希望您能提供帮助。

最好的，

德克

Answer 1

在你的listBsonReader中，没有理由输入U。你的光标在DBObject上迭代，map需要一个DbObject =>; X 函数。我猜你有类似

implicit def withFromBson[U](x: U) = new {
   def fromBson[T](implicit ev : BsonReader[T,U]) : T = ...
}

In map 的内容，_ 类型为 DBObject，通常是从 BsonReader[T, DBObject] 中查看。您在隐式作用域中不提供任何内容，仅提供 BsonReader[T,U]。只需删除 U 并将隐式参数设置为 BsonReader[T,DBObject] 即可。

编译器不会尝试提前计算 T。它试图确保无论 T 和 U 可能位于调用站点（在本例中，U 就是问题），它都会具有隐式作用域中所需的隐式 BSonReader[T, DBObject] 。我想一般环境下是没有的。您通过隐式参数承诺，您将在调用站点提供一个 BsonReader[T,U]。这不是它所需要的。如果参数不是隐式的（调用 fromBson 时必须编写 ev at），则会出现类似的错误。