Трейт scala.collection.generic.IsTraversableLike

Трейт, который можно использовать для избежания дублирования кода при определении расширяющих методов, которые должны быть применимы как к существующим коллекциям Scala (т.е., типы, расширяющие GenTraversableLike) , так и к другим (возможно, определённым пользователем) типам, которые можно преобразовать в тип коллекции Scala. Этот трейт позволяет одинаково обрабатывать коллекции Scala и типы, которые могут быть неявным образом преобразованы в тип коллекции. Например, можно предоставить расширяющие методы, которые работают как с типами коллекций, так и с String (String не расширяют GenTraversableLike, но могут быть преобразованы в GenTraversableLike)

IsTraversable предоставляет два члена:

1. тип-член A, который представляет тип элемента целевой GenTraversableLike[A, Repr]
2. значение-член conversion, который предоставляет способ преобразования между типом, к которому мы хотим добавить расширяющие методы, Repr, и GenTraversableLike[A, Repr].

Использование

Необходимо предоставить IsTraversableLike в качестве неявного параметра типа неявного преобразования. Его использование показано ниже. Наша цель в следующем примере - предоставить общий расширяющий метод mapReduce для любого типа, который расширяет или может быть преобразован в GenTraversableLike. В нашем примере это включает String.

  import scala.collection.GenTraversableLike
  import scala.collection.generic.IsTraversableLike

  class ExtensionMethods[A, Repr](coll: GenTraversableLike[A, Repr]) {
    def mapReduce[B](mapper: A => B)(reducer: (B, B) => B): B = {
      val iter = coll.toIterator
      var res = mapper(iter.next())
      while (iter.hasNext)
        res = reducer(res, mapper(iter.next()))
      res
    }
  }

  implicit def withExtensions[Repr](coll: Repr)(implicit traversable: IsTraversableLike[Repr]) =
    new ExtensionMethods(traversable.conversion(coll))

// See it in action!
List(1, 2, 3).mapReduce(_ * 2)(_ + _) // res0: Int = 12
"Yeah, well, you know, that's just, like, your opinion, man.".mapReduce(x => 1)(_ + _) // res1: Int = 59

Здесь мы начинаем с создания класса ExtensionMethods, который содержит наш расширяющий метод mapReduce. Обратите внимание, что ExtensionMethods принимает аргумент конструктора coll типа GenTraversableLike[A, Repr], где A представляет тип элемента, а Repr представляет (как правило) тип коллекции. Реализация самого mapReduce проста.

Интересная часть - неявное преобразование withExtensions, которое возвращает экземпляр ExtensionMethods. Это неявное преобразование может быть применено только в том случае, если в области видимости существует неявное значение traversable типа IsTraversableLike[Repr]. Поскольку IsTraversableLike предоставляет значение-член conversion, который дает нам способ преобразования между любым типом, к которому мы хотим добавить расширяющий метод (в данном случае, Repr) и GenTraversableLike[A, Repr], мы теперь можем преобразовать coll из типа Repr в GenTraversableLike[A, Repr]. Это позволяет нам создать экземпляр класса ExtensionMethods, которому мы передаём наш новый метод GenTraversableLike[A, Repr].

Когда метод mapReduce вызывается на каком-то типе, который не является его членом, запускается поиск неявных значений. Поскольку неявное преобразование withExtensions является общим, оно будет применяться, пока не будет найдено неявное значение типа IsTraversableLike[Repr]. Учитывая, что IsTraversableLike содержит неявные члены, которые возвращают значения типа IsTraversableLike, это требование, как правило, выполняется, и запускается цепочка взаимодействий, описанная в предыдущем абзаце. (См. компаньон-объект IsTraversableLike, который содержит точное описание доступных неявных значений.)

Примечание: В настоящее время невозможно объединить неявное преобразование и класс с расширяющими методами в неявный класс из-за ограничений вывода типов.

Реализация IsTraversableLike для новых типов

Нужно просто предоставить неявное значение типа IsTraversableLike, специфичное для нового типа, или неявное преобразование, которое возвращает экземпляр IsTraversableLike , специфичное для нового типа.

Ниже приведён пример реализации трейта IsTraversableLike, где тип Repr — String.

implicit val stringRepr: IsTraversableLike[String] { type A = Char } =
  new IsTraversableLike[String] {
    type A = Char
    val conversion = implicitly[String => GenTraversableLike[Char, String]]
  }