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

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

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

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

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

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

  import scala.collection.{Iterable, IterableOps}
  import scala.collection.generic.IsIterable

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

  implicit def withExtensions[Repr](coll: Repr)(implicit it: IsIterable[Repr]): ExtensionMethods[Repr, it.type] =
    new ExtensionMethods(coll, it)

// 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 типа Repr, где Repr представляет (как правило) тип коллекции, и аргумент it типа, являющегося подтипом IsIterable[Repr]. Тело метода начинается с преобразования аргумента coll в IterableOps для вызова метода iterator на нем. Остальная часть реализации тривиальна.

Неявное преобразование withExtensions делает операцию mapReduce доступной для любого типа Repr, для которого существует неявный IsIterable[Repr] экземпляр. Обратите внимание, как мы отслеживаем точный тип неявного аргумента it с использованием типа-синглетона it.type, а не более широкого типа IsIterable[Repr]. Мы делаем это, чтобы информация, содержащаяся в членах типа A и C аргумента it , не терялась.

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

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

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

Необходимо просто предоставить неявное значение типа IsIterable, специфичное для нового типа, или неявное преобразование, которое возвращает экземпляр IsIterable , специфичный для нового типа.

Ниже приведен пример реализации трейта IsIterable, где тип Repr является Range.

implicit val rangeRepr: IsIterable[Range] { type A = Int; type C = IndexedSeq[Int] } =
  new IsIterable[Range] {
    type A = Int
    type C = IndexedSeq[Int]
    def apply(coll: Range): IterableOps[Int, IndexedSeq, IndexedSeq[Int]] = coll
  }

(Обратите внимание, что на практике экземпляр IsIterable[Range] уже предоставляется стандартной библиотекой и определен как экземпляр IsSeq[Range]).