Scala: Как заставить работать контекстную привязку List [T]? - PullRequest
Новая
       45

Scala: Как заставить работать контекстную привязку List [T]?

3 голосов
/ 06 сентября 2011

Это мой первый вопрос, поэтому надеюсь, что я предоставлю достаточно подробностей. Не стесняйтесь просить разъяснений.

Учитывая следующее, что работает: 

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
    }
  }
}

Этот фрагмент кода преобразует обернутые фрагменты 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)
  }
}

Ошибка компилятора: could not find implicit value for parameter reader: project.marshalling.bson.BsonReader[T,com.mongodb.casbah.Imports.DBObject] cur.map(_.fromBson[T]).toList

Это кажется мне странным, поскольку кажется, что компилятор пытается оценить T до того, как fromBson был вызван для предоставления типа. Это кажется мне особенно странным, поскольку у читателя опциона, похоже, нет таких жалоб. Я только недавно начал серьезно кодировать в Scala, поэтому я уверен, что что-то здесь не хватает.

Пожалуйста, дайте мне знать, если вам нужна дополнительная информация, и надеюсь, что вы можете помочь.

Лучшее

Dirk

1 Ответ

2 голосов
/ 06 сентября 2011

В вашем listBsonReader нет причины для типа U. Ваш курсор перебирает DBObject, карта ожидает функцию DbObject => X.Я думаю, у вас есть что-то вроде 

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

На карте, с _, набранным DBObject, это вполне нормально выглядит с BsonReader[T, DBObject].Вы не предоставляете ничего в неявном объеме, только BsonReader[T,U].Просто удалите U и ваш неявный параметр будет BsonReader[T,DBObject].

Компилятор не пытается предварительно оценить T.Он пытается гарантировать, что все, что T и U может быть на сайте вызова (в данном случае U - это проблема), у него будет неявное BSonReader[T, DBObject], которое ему необходимо в неявной области.Я думаю, что нет ничего в общем окружении.Вы обещаете, с вашим неявным параметром, что вы дадите один BsonReader[T,U] на сайте вызова.Это не то, что ему нужно.Если параметр неявный (вам нужно написать ev при вызове fromBson), вы получите аналогичную ошибку.

...