Spec-Zone.ru › Scala 3.2

Класс LazyList.LazyList

Объект-компаньон • Исходный код

final class LazyList[+A] extends AbstractSeq[A] with LinearSeq[A] with LinearSeqOps[A, LazyList, LazyList[A]] with IterableFactoryDefaults[A, LazyList] with Serializable

Этот класс реализует неизменяемый связанный список. Мы называем его «ленивым», потому что он вычисляет свои элементы только тогда, когда они нужны.

Элементы запоминаются в кэше; то есть значение каждого элемента вычисляется не более одного раза.

Элементы вычисляются в порядке следования и никогда не пропускаются. Другими словами, доступ к хвосту приводит к вычислению головы сначала.

Насколько ленивым является LazyList? Когда у вас есть значение типа LazyList, вы ещё не знаете, пуст ли список или нет. Если вы узнаете, что он не пустой, то вы также знаете, что голова была вычислена. Но хвост сам по себе является LazyList, пустотность или непостоянность которого может остаться неопределённой.

LazyList может быть бесконечным. Например, LazyList.from(0) содержит все натуральные числа 0, 1, 2 и так далее. Для бесконечных последовательностей некоторые методы (например, count, sum, max или min) не завершатся.

Вот пример:

import scala.math.BigInt
object Main extends App {
  val fibs: LazyList[BigInt] =
    BigInt(0) #:: BigInt(1) #:: fibs.zip(fibs.tail).map{ n => n._1 + n._2 }
  fibs.take(5).foreach(println)
}

// prints
//
// 0
// 1
// 1
// 2
// 3

Чтобы проиллюстрировать, давайте добавим некоторую информацию в определение fibs, чтобы увидеть, что происходит.

import scala.math.BigInt
object Main extends App {
  val fibs: LazyList[BigInt] =
    BigInt(0) #:: BigInt(1) #::
      fibs.zip(fibs.tail).map{ n =>
        println(s"Adding ${n._1} and ${n._2}")
        n._1 + n._2
      }
  fibs.take(5).foreach(println)
  fibs.take(6).foreach(println)
}

// prints
//
// 0
// 1
// Adding 0 and 1
// 1
// Adding 1 and 1
// 2
// Adding 1 and 2
// 3

// And then prints
//
// 0
// 1
// 1
// 2
// 3
// Adding 2 and 3
// 5

Обратите внимание, что определение fibs использует val, а не def. Кэширование LazyList требует, чтобы у нас где-то хранилась информация, и val позволяет это сделать.

Дополнительные замечания о семантике LazyList:

- Хотя LazyList изменяется при доступе к нему, это не противоречит его неизменяемости. После того, как значения запоминаются в кэше, они не меняются. Значения, которые ещё не запоминались в кэше, всё ещё «существуют», просто они ещё не были вычислены.

- Следует проявлять осторожность при кэшировании; оно может потреблять много памяти, если вы не будете внимательны. Это потому, что кэширование LazyList создаёт структуру, очень похожую на scala.collection.immutable.List. Пока что-то держит заголовок, заголовок держит за хвост, и так далее рекурсивно. Если же ничего не держит заголовок (например, если мы использовали def для определения LazyList), то как только он больше не используется напрямую, он исчезает.

- Обратите внимание, что некоторые операции, включая drop, dropWhile, flatMap или collect, могут обработать большое количество промежуточных элементов, прежде чем вернуть результат.

Вот ещё один пример. Начнём с натуральных чисел и пройдёмся по ним.

// We'll start with a silly iteration
def loop(s: String, i: Int, iter: Iterator[Int]): Unit = {
  // Stop after 200,000
  if (i < 200001) {
    if (i % 50000 == 0) println(s + i)
    loop(s, iter.next(), iter)
  }
}

// Our first LazyList definition will be a val definition
val lazylist1: LazyList[Int] = {
  def loop(v: Int): LazyList[Int] = v #:: loop(v + 1)
  loop(0)
}

// Because lazylist1 is a val, everything that the iterator produces is held
// by virtue of the fact that the head of the LazyList is held in lazylist1
val it1 = lazylist1.iterator
loop("Iterator1: ", it1.next(), it1)

// We can redefine this LazyList such that all we have is the Iterator left
// and allow the LazyList to be garbage collected as required.  Using a def
// to provide the LazyList ensures that no val is holding onto the head as
// is the case with lazylist1
def lazylist2: LazyList[Int] = {
  def loop(v: Int): LazyList[Int] = v #:: loop(v + 1)
  loop(0)
}
val it2 = lazylist2.iterator
loop("Iterator2: ", it2.next(), it2)

// And, of course, we don't actually need a LazyList at all for such a simple
// problem.  There's no reason to use a LazyList if you don't actually need
// one.
val it3 = new Iterator[Int] {
  var i = -1
  def hasNext = true
  def next(): Int = { i += 1; i }
}
loop("Iterator3: ", it3.next(), it3)

- В примере fibs ранее интересно то, что tail работает вообще. fibs имеет начальное значение (0, 1, LazyList(...)), поэтому tail детерминировано. Если бы мы определили fibs таким образом, что только 0 были бы конкретно известны, то определение tail потребовало бы оценки tail, поэтому вычисление не смогло бы развиваться, как в этом коде:

// The first time we try to access the tail we're going to need more
// information which will require us to recurse, which will require us to
// recurse, which...
lazy val sov: LazyList[Vector[Int]] = Vector(0) #:: sov.zip(sov.tail).map { n => n._1 ++ n._2 }

Определение fibs выше создаёт больше объектов, чем необходимо, в зависимости от того, как вы хотите его реализовать. Следующая реализация предоставляет более «эффективную» реализацию, потому что она имеет более прямой путь к самим числам:

lazy val fib: LazyList[Int] = {
  def loop(h: Int, n: Int): LazyList[Int] = h #:: loop(n, h + n)
  loop(1, 1)
}

Голова, хвост и пустотность списка могут быть изначально неизвестны. После оценки любого из них они все известны, хотя если хвост построен с помощью #:: или #:::, его содержимое всё ещё не оценивается. Вместо этого оценка содержимого хвоста откладывается до тех пор, пока не будет оценена пустота хвоста, его голова или хвост.

Откладывание оценки пустотности LazyList до тех пор, пока она не понадобится, позволяет LazyList не производить немедленную оценку элементов при вызове filter.

Только при дальнейшей оценке (что может никогда не произойти!) любой из элементов становится вынужденным.

Например:

def tailWithSideEffect: LazyList[Nothing] = {
  println("getting empty LazyList")
  LazyList.empty
}

val emptyTail = tailWithSideEffect // prints "getting empty LazyList"

val suspended = 1 #:: tailWithSideEffect // doesn't print anything
val tail = suspended.tail // although the tail is evaluated, *still* nothing is yet printed
val filtered = tail.filter(_ => false) // still nothing is printed
filtered.isEmpty // prints "getting empty LazyList"
Параметры типа
A

тип элементов, содержащихся в этом ленивом списке.

См. также

"Обзор библиотеки коллекций Scala" раздел о LazyLists для получения дополнительной информации.

Супертипы
24 типа
Трактат Serializable
Трактат LinearSeq[A]
Трактат LinearSeqOps[A, LazyList, LazyList[A]]
Трактат LinearSeq[A]
Трактат LinearSeqOps[A, LazyList, LazyList[A]]
Класс AbstractSeq[A]
Трактат Seq[A]
Трактат SeqOps[A, LazyList, LazyList[A]]
Трактат Iterable[A]
Класс AbstractSeq[A]
Трактат Seq[A]
Трактат Equals
Трактат SeqOps[A, LazyList, LazyList[A]]
Трактат PartialFunction[Int, A]
Трактат Int => A
Класс AbstractIterable[A]
Трактат Iterable[A]
Трактат IterableFactoryDefaults[A, LazyList]
Трактат IterableOps[A, LazyList, LazyList[A]]
Трактат IterableOnceOps[A, LazyList, LazyList[A]]
Трактат IterableOnce[A]
Класс Object
Трактат Matchable
Класс Any

Конкретные методы

Исходный код
def #::[B >: A](elem: => B): LazyList[B]

Неявно добавлен методом toDeferrer

Конструирует LazyList, состоящий из данного первого элемента, за которым следуют элементы из другого LazyList.

Исходный код
def #:::[B >: A](prefix: LazyList[B]): LazyList[B]

Неявно добавлен методом toDeferrer

Конструирует LazyList, состоящий из конкатенации данного LazyList и другого LazyList.

Исходный код
override def addString(sb: StringBuilder, start: String, sep: String, end: String): StringBuilder

Добавляет все элементы этого ленивого списка в строковый билдер, используя строки start, end и разделитель. Записываемый текст начинается со строки start и заканчивается строкой end. Внутри строковые представления (с точки зрения метода toString) всех элементов этого ленивого списка разделены строкой sep.

Неопределённое состояние представлено "<not computed>", а циклы — "<cycle>".

Этот метод оценивает все элементы коллекции.

Параметры
end

строка окончания.

sb

строковый билдер, в который добавляются элементы.

sep

разделительная строка.

start

стартовая строка.

Возвращает

строковый билдер b, в который были добавлены элементы.

Определяющие классы IterableOnceOps

Исходный код
override def appended[B >: A](elem: B): LazyList[B]

Копия этого ленивого списка с добавленным элементом.

Примечание: не завершит работу для коллекций бесконечного размера.

Пример:

scala> val a = List(1)
a: List[Int] = List(1)

scala> val b = a :+ 2
b: List[Int] = List(1, 2)

scala> println(a)
List(1)

Этот метод сохраняет ленивость; элементы оцениваются индивидуально по мере необходимости.

Примечание: Повторение цепочки вызовов методов append (appended, appendedAll, lazyAppendedAll) без принудительной оценки промежуточных получившихся ленивых списков может привести к переполнению стека при оценке конечного результата.

Определяющие классы SeqOps

Source
override def appendedAll[B >: A](suffix: IterableOnce[B]): LazyList[B]

Возвращает новый ленивый список, содержащий элементы из левого операнда, за которыми следуют элементы из правого операнда. Тип элементов ленивого списка — это наиболее конкретный суперкласс, охватывающий типы элементов двух операндов.

Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.

Примечание: Повторное объединение вызовов методов добавления (appended, appendedAll, lazyAppendedAll) без принуждения к оценке промежуточных ленивых списков может привести к переполнению стека при принудительной оценке конечного результата.

Definition Classes SeqOps

Source
override def collect[B](pf: PartialFunction[A, B]): LazyList[B]

Создаёт новый ленивый список, применяя частичную функцию ко всем элементам этого ленивого списка, для которых функция определена.

Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.

Definition Classes IterableOps -> IterableOnceOps

Source
override def collectFirst[B](pf: PartialFunction[A, B]): Option[B]

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

Примечание: может не завершиться для бесконечных коллекций.

Этот метод не оценивает элементы дальше первого элемента, для которого определена частичная функция.

Definition Classes IterableOnceOps

Source
override def diff[B >: A](that: Seq[B]): LazyList[A]

Вычисляет разность мультимножеств между этим ленивым списком и другой последовательностью.

Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.

Definition Classes SeqOps

Source
override def drop(n: Int): LazyList[A]

Выбирает все элементы, кроме первых n.

Этот метод не оценивает ничего, пока над результатом не выполняется операция (например, вызов head или tail, или проверка на пустоту). Кроме того, он сохраняет леность для всех, кроме первых n элементов.

Definition Classes IterableOps -> IterableOnceOps

Source
override def dropRight(n: Int): LazyList[A]

Выбирает все элементы, кроме последних n.

Этот метод не оценивает ничего, пока над результатом не выполняется операция (например, вызов head или tail, или проверка на пустоту).

Definition Classes IterableOps

Source
override def dropWhile(p: A => Boolean): LazyList[A]

Опускает наибольший префикс элементов, удовлетворяющих предикату.

Этот метод не оценивает ничего, пока над результатом не выполняется операция (например, вызов head или tail, или проверка на пустоту). Кроме того, он сохраняет леность для всех элементов после того, как предикат возвращает false.

Definition Classes IterableOps -> IterableOnceOps

Source
override def filter(pred: A => Boolean): LazyList[A]

Выбирает все элементы этого ленивого списка, которые удовлетворяют предикату.

Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.

Definition Classes IterableOps -> IterableOnceOps

Source
override def filterNot(pred: A => Boolean): LazyList[A]

Выбирает все элементы этого ленивого списка, которые не удовлетворяют предикату.

Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.

Definition Classes IterableOps -> IterableOnceOps

Source
override def find(p: A => Boolean): Option[A]

Находит первый элемент ленивого списка, удовлетворяющий предикату, если таковой существует.

Примечание: может не завершиться для бесконечных коллекций.

Этот метод не оценивает элементы дальше первого элемента, соответствующего предикату.

Definition Classes LinearSeqOps -> IterableOnceOps

Source
override def flatMap[B](f: A => IterableOnce[B]): LazyList[B]

Создаёт новый ленивый список, применяя функцию ко всем элементам этого ленивого списка и используя элементы полученных коллекций.

Например:

def getWords(lines: Seq[String]): Seq[String] = lines flatMap (line => line split "\\W+")

Тип результирующей коллекции определяется статическим типом ленивого списка. Это может иногда приводить к неожиданным результатам. Например:

// lettersOf will return a Seq[Char] of likely repeated letters, instead of a Set
def lettersOf(words: Seq[String]) = words flatMap (word => word.toSet)

// lettersOf will return a Set[Char], not a Seq
def lettersOf(words: Seq[String]) = words.toSet flatMap ((word: String) => word.toSeq)

// xs will be an Iterable[Int]
val xs = Map("a" -> List(11,111), "b" -> List(22,222)).flatMap(_._2)

// ys will be a Map[Int, Int]
val ys = Map("a" -> List(1 -> 11,1 -> 111), "b" -> List(2 -> 22,2 -> 222)).flatMap(_._2)

Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.

Definition Classes IterableOps -> IterableOnceOps

Source
override def flatten[B](implicit asIterable: A => IterableOnce[B]): LazyList[B]

Преобразует этот ленивый список из перечислимых коллекций в ленивый список, образованный из элементов этих перечислимых коллекций.

Тип результирующей коллекции определяется типом ленивого списка. Например:

val xs = List(
           Set(1, 2, 3),
           Set(1, 2, 3)
         ).flatten
// xs == List(1, 2, 3, 1, 2, 3)

val ys = Set(
           List(1, 2, 3),
           List(3, 2, 1)
         ).flatten
// ys == Set(1, 2, 3)

Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.

Definition Classes IterableOps -> IterableOnceOps

Source
override def foldLeft[B](z: B)(op: (B, A) => B): B

Специализация foldLeft для LazyList, которая позволяет сборщику мусора собирать ресурсы по мере необходимости.

Type parameters
B

Тип накапливаемого значения.

Value parameters
op

Операция для выполнения над последовательными элементами LazyList.

z

Начальное значение, используемое в функции op.

Returns

Накопленное значение из последовательного применения op.

Definition Classes LinearSeqOps -> IterableOnceOps

Source
def force: LazyList.this.type

Оценивает все неопределённые элементы ленивого списка.

Этот метод обнаруживает циклы в ленивых списках и завершается после оценки всех элементов цикла. Например:

val ring: LazyList[Int] = 1 #:: 2 #:: 3 #:: ring
ring.force
ring.toString

// prints
//
// LazyList(1, 2, 3, ...)

Этот метод не завершится для бесконечных коллекций без циклов.

Returns

this

Source
override def foreach[U](f: A => U): Unit

Применяет данную функцию f к каждому элементу этой линейной последовательности (с соблюдением порядка элементов).

Параметры значения
f

Обработка, применяемая к каждому элементу.

Примечание

Переопределено здесь как окончательное для запуска оптимизации хвостовой рекурсии, которая заменяет «this» на «tail» на каждой итерации. Это абсолютно необходимо для того, чтобы сборщик мусора мог собирать базовый LazyList по мере потребления элементов.

Эта функция заставит реализовать весь LazyList, если f не выбросит исключение.

Определяющие классы LinearSeqOps -> IterableOnceOps

Исходный код
override def grouped(size: Int): Iterator[LazyList[A]]

Разделяет элементы на ленивые списки фиксированного размера.

Возвращаемый этим методом итератор в основном сохраняет ленивость; один элемент перед итератором вычисляется.

Определяющие классы IterableOps

Исходный код
override def head: A

Выбирает первый элемент этого ленивого списка.

Возвращает

первый элемент этого ленивого списка.

Исключение
NoSuchElementException

если ленивый список пустой.

Определяющие классы LinearSeqOps -> IterableOps

Исходный код
override def intersect[B >: A](that: Seq[B]): LazyList[A]

Вычисляет пересечение множеств между этим ленивым списком и другой последовательностью.

Этот метод сохраняет ленивость; элементы оцениваются только по мере необходимости.

Определяющие классы SeqOps

Исходный код
override def isEmpty: Boolean

Проверяет, является ли ленивый список пустым.

Примечание: Реализации в подклассах, которые не являются многократно проходимыми, должны позаботиться о том, чтобы не потреблять элементы, когда isEmpty вызывается.

Возвращает

true, если ленивый список не содержит элементов, false в противном случае.

Определяющие классы LinearSeqOps -> SeqOps -> IterableOnceOps

Исходный код
override def iterableFactory: SeqFactory[LazyList]

Компаньон-объект этого ленивого списка, предоставляющий различные методы создания.

Примечание

При реализации пользовательского типа коллекции и уточнении CC до нового типа, этот метод должен быть переопределен для возврата фабрики для нового типа (в противном случае компилятор выдаст ошибку).

Определяющие классы LinearSeq -> LinearSeq -> Seq -> Iterable -> Seq -> Iterable -> IterableOps

Исходный код
override def iterator: Iterator[A]

Итератор может быть использован только один раз.

Итератор, возвращаемый этим методом, сохраняет ленивость; элементы вычисляются только по мере необходимости.

Определяющие классы LinearSeqOps -> IterableOnce

Исходный код
override def knownSize: Int

Этот метод сохраняет ленивость; элементы вычисляются только по мере необходимости.

Определяющие классы IterableOnce

Исходный код
def lazyAppendedAll[B >: A](suffix: => IterableOnce[B]): LazyList[B]

Ленивый список, полученный путем конкатенации этого ленивого списка с аргументным ленивым списком.

Этот метод сохраняет ленивость; элементы вычисляются только по мере необходимости.

Примечание: Повторение цепочки вызовов методов append (appended, appendedAll, lazyAppendedAll) без принудительного выполнения любого из промежуточных результирующих ленивых списков может привести к переполнению стека при принудительном выполнении конечного результата.

Параметры значения
suffix

Коллекция, добавляемая к этому ленивому списку

Возвращает

Ленивый список, содержащий элементы этого ленивого списка и объекта итератора.

Исходный код
override def lazyZip[B](that: Iterable[B]): LazyZip2[A, B, LazyList]

Аналогично zip, за исключением того, что элементы в каждой коллекции не потребляются до тех пор, пока на возвращенном LazyZip2 декораторе не вызовется строгое действие.

Вызовы lazyZip могут быть объединены для поддержки более высоких арностей (до 4) без расходов на создание и декомпозицию промежуточных кортежей.

val xs = List(1, 2, 3)
val res = (xs lazyZip xs lazyZip xs lazyZip xs).map((a, b, c, d) => a + b + c + d)
// res == List(4, 8, 12)

Этот метод не особенно полезен для ленивого списка, так как zip уже сохраняет ленивость.

Возвращаемый этим методом collection.LazyZip2 сохраняет ленивость; элементы оцениваются только по мере необходимости.

Определяющие классы Iterable

Исходный код
override def map[B](f: A => B): LazyList[B]

Создает новый ленивый список, применяя функцию ко всем элементам этого ленивого списка.

Этот метод сохраняет ленивость; элементы вычисляются только по мере необходимости.

Определяющие классы IterableOps -> IterableOnceOps

Исходный код
override def padTo[B >: A](len: Int, elem: B): LazyList[B]

Копия этого ленивого списка с добавленным элементом до тех пор, пока не будет достигнута заданная целевая длина.

Этот метод сохраняет ленивость; элементы вычисляются только по мере необходимости.

Определяющие классы SeqOps

Исходный код
override def partition(p: A => Boolean): (LazyList[A], LazyList[A])

Пара, во-первых, всех элементов, удовлетворяющих предикату p, и, во-вторых, всех элементов, которые не удовлетворяют его. Интересно, потому что разделяет коллекцию на две части.

Стандартная реализация здесь требует дважды пройти по коллекции. Строгие коллекции имеют переопределенный вариант partition в StrictOptimizedIterableOps, который требует только одного прохода.

Этот метод сохраняет ленивость; элементы вычисляются только по мере необходимости.

Определяющие классы IterableOps

Исходный код
override def partitionMap[A1, A2](f: A => Either[A1, A2]): (LazyList[A1], LazyList[A2])

Применяет функцию f к каждому элементу ленивого списка и возвращает пару ленивых списков: первый содержит значения, возвращаемые f, которые были обернуты в scala.util.Left, а второй — значения, обернутые в scala.util.Right.

Пример:

val xs = `LazyList`(1, "one", 2, "two", 3, "three") partitionMap {
 case i: Int => Left(i)
 case s: String => Right(s)
}
// xs == (`LazyList`(1, 2, 3),
//        `LazyList`(one, two, three))

Этот метод сохраняет ленивость; элементы вычисляются только по мере необходимости.

Определяющие классы IterableOps

Исходный код
override def patch[B >: A](from: Int, other: IterableOnce[B], replaced: Int): LazyList[B]

Создает новый ленивый список, где фрагмент элементов в этом ленивом списке заменяется другой последовательностью.

Замена по отрицательным индексам эквивалентна замене, начинающейся с 0. Замена по индексам, равным или большим длины исходного ленивого списка, добавляет замену в конец. Если заменяется больше значений, чем фактически существует, избыток игнорируется.

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Definition Classes SeqOps

Source
override def prepended[B >: A](elem: B): LazyList[B]

Копия ленивого списка с добавленным элементом в начало.

Также, исходный ленивый список не изменяется, поэтому вам нужно будет сохранить результат.

Пример:

scala> val x = List(1)
x: List[Int] = List(1)

scala> val y = 2 +: x
y: List[Int] = List(2, 1)

scala> println(x)
List(1)

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Definition Classes SeqOps

Source
override def prependedAll[B >: A](prefix: IterableOnce[B]): LazyList[B]

Как и в случае с :++, возвращает новую коллекцию, содержащую элементы из левого операнда, за которыми следуют элементы из правого операнда.

Он отличается от :++ тем, что тип результирующей коллекции определяется правым операндом, а не левым. Мемоническая подсказка: двоеточие находится со стороны типа новой коллекции.

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Definition Classes SeqOps

Source
override def reduceLeft[B >: A](f: (B, A) => B): B

Специализация reduceLeft для LazyList, которая позволяет сборщику мусора собирать значения по ходу выполнения.

Type parameters
B

Тип накапливаемого значения.

Value parameters
f

Операция, выполняемая над последовательными элементами LazyList.

Returns

Накопленное значение от последовательных применений f.

Definition Classes IterableOnceOps

Source
override def reverse: LazyList[A]

Возвращает новый ленивый список с элементами в обратном порядке.

Примечание: не будет завершаться для бесконечных коллекций.

Примечание: Даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно вычислены.

Этот метод вычисляет все элементы коллекции.

Definition Classes SeqOps

Source
override def scanLeft[B](z: B)(op: (B, A) => B): LazyList[B]

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

Примечание: не будет завершаться для бесконечных коллекций.

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Definition Classes IterableOps -> IterableOnceOps

Source
override def slice(from: Int, until: Int): LazyList[A]

Выбирает интервал элементов. Полученный ленивый список состоит из всех элементов x, которые удовлетворяют следующему условию:

from <= indexOf(x) < until

Этот метод не вычисляет ничего до тех пор, пока над результатом не будет выполнена операция (например, вызов head или tail, или проверка на пустоту). Кроме того, он сохраняет ленивость для всех, кроме первых from элементов.

Definition Classes IterableOps -> IterableOnceOps

Source
override def sliding(size: Int, step: Int): Iterator[LazyList[A]]

Группирует элементы в блоки фиксированного размера, пропуская «скользящее окно» по ним (в отличие от разбиения, как в grouped).

Возвращаемый итератор будет пустым, когда вызывается на пустой коллекции. Последний элемент, который генерирует итератор, может быть меньше размера окна, если исходная коллекция не исчерпана окном до его конца и его последний элемент не пропущен шагом перед ним.

Итератор, возвращаемый этим методом, в основном сохраняет ленивость; size - step max 1 элементов, находящихся перед итератором, оцениваются.

Definition Classes IterableOps

Source
override def tail: LazyList[A]

Остальная часть коллекции без ее первого элемента.

Definition Classes LinearSeqOps -> IterableOps

Source
override def take(n: Int): LazyList[A]

Выбирает первые n элементов.

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Definition Classes IterableOps -> IterableOnceOps

Source
override def takeRight(n: Int): LazyList[A]

Выбирает последние n элементов.

Этот метод не вычисляет ничего до тех пор, пока над результатом не будет выполнена операция (например, вызов head или tail, или проверка на пустоту).

Definition Classes IterableOps

Source
override def takeWhile(p: A => Boolean): LazyList[A]

Возвращает наибольший префикс элементов, удовлетворяющих предикату.

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Definition Classes IterableOps -> IterableOnceOps

Source
override def tapEach[U](f: A => U): LazyList[A]

Применяет функцию со побочным эффектом к каждому элементу в этой коллекции. Строгие коллекции применят f к своим элементам немедленно, в то время как ленивые коллекции, такие как представления и LazyLists, будут применять f к каждому элементу только тогда, когда этот элемент будет вычисляться, и каждый раз, когда этот элемент будет вычисляться.

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Definition Classes IterableOps -> IterableOnceOps

Source
override def toString(): String

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Returns

строковое представление этой коллекции. Неопределённое состояние представлено как "<not computed>", а циклы — как "<cycle>". Примеры:

  • "LazyList(4, <not computed>)", непустой ленивый список;

  • "LazyList(1, 2, 3, <not computed>)", ленивый список с как минимум тремя элементами;

  • "LazyList(1, 2, 3, <cycle>)", бесконечный ленивый список с циклом на четвертом элементе.

Definition Classes Seq -> Function1 -> Iterable -> Any

Source
override def transpose[B](implicit asIterable: A => Iterable[B]): LazyList[LazyList[B]]

Транспонирует этот ленивый список итерируемых коллекций в ленивый список ленивых списков.

Тип результирующей коллекции будет определяться статическим типом ленивого списка. Например:

val xs = List(
           Set(1, 2, 3),
           Set(4, 5, 6)).transpose
// xs == List(
//         List(1, 4),
//         List(2, 5),
//         List(3, 6))

val ys = Vector(
           List(1, 2, 3),
           List(4, 5, 6)).transpose
// ys == Vector(
//         Vector(1, 4),
//         Vector(2, 5),
//         Vector(3, 6))

Примечание: Даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно вычислены.

Этот метод оценивает все элементы коллекции.

Классы определений IterableOps

Исходный код
override def unzip[A1, A2](implicit asPair: A => (A1, A2)): (LazyList[A1], LazyList[A2])

Преобразует этот ленивый список пар в две коллекции первой и второй половины каждой пары.

val xs = `LazyList`(
           (1, "one"),
           (2, "two"),
           (3, "three")).unzip
// xs == (`LazyList`(1, 2, 3),
//        `LazyList`(one, two, three))

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Классы определений IterableOps

Исходный код
override def unzip3[A1, A2, A3](implicit asTriple: A => (A1, A2, A3)): (LazyList[A1], LazyList[A2], LazyList[A3])

Преобразует этот ленивый список троек в три коллекции первого, второго и третьего элемента каждой тройки.

val xs = `LazyList`(
           (1, "one", '1'),
           (2, "two", '2'),
           (3, "three", '3')).unzip3
// xs == (`LazyList`(1, 2, 3),
//        `LazyList`(one, two, three),
//        `LazyList`(1, 2, 3))

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Классы определений IterableOps

Исходный код
override def updated[B >: A](index: Int, elem: B): LazyList[B]

Копия этого ленивого списка с одним заменённым элементом.

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Классы определений SeqOps

Исходный код
override def withFilter(p: A => Boolean): WithFilter[A, LazyList]

Объект, позволяющий GC головки ленивого списка во время обработки.

Этот метод не очень полезен для ленивого списка, так как filter уже сохраняет ленивость.

Возвращаемый этим методом объект WithFilter сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Классы определений IterableOps

Исходный код
override def zip[B](that: IterableOnce[B]): LazyList[(A, B)]

Возвращает ленивый список, сформированный из этого ленивого списка и другой коллекции, комбинируя соответствующие элементы парами. Если одна из двух коллекций длиннее другой, оставшиеся элементы игнорируются.

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Классы определений IterableOps

Исходный код
override def zipAll[A1 >: A, B](that: Iterable[B], thisElem: A1, thatElem: B): LazyList[(A1, B)]

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

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Классы определений IterableOps

Исходный код
override def zipWithIndex: LazyList[(A, Int)]

Сопоставляет этот ленивый список с его индексами.

Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.

Классы определений IterableOps -> IterableOnceOps

Наследуемые методы

Исходный код
final def ++[B >: A](suffix: IterableOnce[B]): CC[B]

Псевдоним для concat

Наследуется из IterableOps

Исходный код
final override def ++:[B >: A](prefix: IterableOnce[B]): CC[B]

Псевдоним для prependedAll

Классы определений SeqOps -> IterableOps
Наследуется из SeqOps

Исходный код
final def +:[B >: A](elem: B): CC[B]

Псевдоним для prepended.

Обратите внимание, что операторы с окончанием :- являются правоассоциативными (см. пример). Мnemonic для +: vs. :+: двоеточие ставится справа от коллекции.

Наследуется из SeqOps

Исходный код
final def :+[B >: A](elem: B): CC[B]

Псевдоним для appended

Обратите внимание, что операторы с окончанием :- являются правоассоциативными (см. пример). Мnemonic для +: vs. :+: двоеточие ставится справа от коллекции.

Наследуется из SeqOps

Исходный код
final def :++[B >: A](suffix: IterableOnce[B]): CC[B]

Псевдоним для appendedAll

Наследуется из SeqOps

Исходный код
final def addString(b: StringBuilder): StringBuilder

Добавляет все элементы этой коллекции в строковый буфер. Записываемый текст состоит из строковых представлений (относительно метода toString) всех элементов этой коллекции без разделительной строки.

Пример:

scala> val a = List(1,2,3,4)
a: List[Int] = List(1, 2, 3, 4)

scala> val b = new StringBuilder()
b: StringBuilder =

scala> val h = a.addString(b)
h: StringBuilder = 1234
Параметры
b

строковый буфер, в который добавляются элементы.

Возвращает

строковый буфер b, в который были добавлены элементы.

Наследуется из IterableOnceOps

Исходный код
final def addString(b: StringBuilder, sep: String): StringBuilder

Добавляет все элементы этой коллекции в строковый буфер, используя разделительную строку. Записываемый текст состоит из строковых представлений (относительно метода toString) всех элементов этой коллекции, разделённых строкой sep.

Пример:

scala> val a = List(1,2,3,4)
a: List[Int] = List(1, 2, 3, 4)

scala> val b = new StringBuilder()
b: StringBuilder =

scala> a.addString(b, ", ")
res0: StringBuilder = 1, 2, 3, 4
Параметры
b

строковый буфер, в который добавляются элементы.

sep

разделительная строка.

Возвращает

строковый буфер b, в который были добавлены элементы.

Наследуется из IterableOnceOps

Исходный код
def andThen[C](k: PartialFunction[A, C]): PartialFunction[A, C]

Компонует эту частичную функцию с другой частичной функцией, которая применяется к результатам этой частичной функции.

Обратите внимание, что вызов isDefinedAt на результирующей частичной функции может применить первую частичную функцию и выполнить её побочный эффект. Для повышения эффективности рекомендуется использовать applyOrElse вместо isDefinedAt или apply.

Тип параметров
C

тип результата функции преобразования.

Параметры значений
k

функция преобразования

Возвращает

частичная функция с областью определения этой частичной функции, суженной другими частичными функциями, которая отображает аргументы x в k(this(x)).

Унаследовано от PartialFunction

Источник
override def andThen[C](k: A => C): PartialFunction[A, C]

Компонует эту частичную функцию с функцией преобразования, которая применяется к результатам этой частичной функции.

Если тип выполнения функции является PartialFunction, то используется другой метод andThen (обратите внимание на его предостережения).

Тип параметров
C

тип результата функции преобразования.

Параметры значений
k

функция преобразования

Возвращает

частичная функция с областью определения этой частичной функции, возможно, суженной указанной функцией, которая отображает аргументы x в k(this(x)).

Классы определения PartialFunction -> Function1
Унаследовано от PartialFunction

Источник
override def apply(n: Int): A

Получить элемент по указанному индексу. Эта операция предоставляется для удобства в Seq. Не следует полагать, что она эффективна, если у вас нет IndexedSeq.

Классы определения LinearSeqOps -> SeqOps
Унаследовано от LinearSeqOps

Источник
def applyOrElse[A1 <: Int, B1 >: A](x: A1, default: A1 => B1): B1

Применяет эту частичную функцию к заданному аргументу, когда он находится в области определения функции. Применяет функцию обратного вызова, когда эта частичная функция не определена.

Обратите внимание, что выражение pf.applyOrElse(x, default) эквивалентно

if(pf isDefinedAt x) pf(x) else default(x)

за исключением того, что метод applyOrElse может быть реализован более эффективно. Для всех литералов частичных функций компилятор генерирует реализацию applyOrElse, которая избегает двойной оценки сопоставлений шаблонов и условий. Это делает applyOrElse основой для эффективной реализации во многих операциях и сценариях, таких как:

- объединение частичных функций в цепочки orElse/andThen не приводит к чрезмерной оценке apply/isDefinedAt - lift и unlift не оценивают исходные функции дважды при каждом вызове - runWith позволяет эффективно объединять частичные функции в императивном стиле с условными действиями

Для классов частичных функций, не являющихся литералами, с ненулевой функцией isDefinedAt, рекомендуется переопределить applyOrElse с пользовательской реализацией, которая избегает двойной оценки isDefinedAt. Это может привести к улучшению производительности и более предсказуемому поведению с точки зрения побочных эффектов.

Параметры значений
default

функция обратного вызова

x

аргумент функции

Возвращает

результат применения этой функции или функции обратного вызова.

Унаследовано от PartialFunction

Источник
def canEqual(that: Any): Boolean

Метод, который должен вызываться из каждой хорошо спроектированной функции equals, которая может быть переопределена в подклассе. См. Programming in Scala, Глава 28 для обсуждения и проектирования.

Параметры значений
that

значение, на предмет возможного равенства

Возвращает

true, если этот экземпляр может быть равен that, в противном случае false

Унаследовано от Seq

Источник
def combinations(n: Int): Iterator[C]

Итерируется по комбинациям. _Комбинация_ длины n — это подпоследовательность исходной последовательности, с элементами, взятыми в порядке. Таким образом, "xy" и "yy" являются комбинациями длины 2 из "xyy", но "yx" нет. Если существует более одного способа сгенерировать ту же подпоследовательность, будет возвращен только один.

Например, "xyyy" имеет три разных способа сгенерировать "xy" в зависимости от того, какой первый, второй или третий "y" выбран. Однако, поскольку все они идентичны, будет выбран только один. Какой из трех будет выбран, является деталью реализации, которая не определена.

Примечание: даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно использоваться.

Возвращает

Итератор, который проходит по возможным комбинациям из n элементов этой последовательности.

Пример

"abbbc".combinations(2) = Iterator(ab, ac, bb, bc)

Унаследовано от SeqOps

Источник
def compose[R](k: PartialFunction[R, Int]): PartialFunction[R, B]

Компонует другую частичную функцию k с этой частичной функцией таким образом, что эта частичная функция применяется к результатам k.

Обратите внимание, что вызов isDefinedAt для результирующей частичной функции может применить первую частичную функцию и выполнить ее побочный эффект. Для повышения эффективности рекомендуется использовать applyOrElse вместо isDefinedAt или apply.

Тип параметров
R

тип параметра функции преобразования.

Параметры значений
k

функция преобразования

Возвращает

частичная функция с областью определения другой частичной функции, суженной этой частичной функцией, которая отображает аргументы x в this(k(x)).

Унаследовано от PartialFunction

Источник
def compose[A](g: A => Int): A => R

Компонует два экземпляра Function1 в новую Function1, с применением этой функции в последнюю очередь.

Тип параметров
A

тип, к которому можно применить функцию g

Параметры значений
g

функция A => T1

Возвращает

новая функция f, такая что f(x) == apply(g(x))

Унаследовано от Function1

Источник
final override def concat[B >: A](suffix: IterableOnce[B]): CC[B]

Возвращает новую последовательность, содержащую элементы из левого операнда, за которыми следуют элементы из правого операнда. Тип элемента последовательности — это наиболее специфичный суперкласс, охватывающий типы элементов двух операндов.

Тип параметров
B

тип элемента возвращаемой коллекции.

Параметры значений
suffix

перечисляемая для добавления.

Возвращает

новая последовательность, которая содержит все элементы этой последовательности, за которыми следуют все элементы suffix.

Классы определения SeqOps -> IterableOps
Унаследовано от SeqOps

Источник
override def contains[A1 >: A](elem: A1): Boolean

Проверяет, содержит ли эта последовательность заданное значение в качестве элемента.

Примечание: может не завершаться для бесконечных коллекций.

Параметры значения
elem

элемент для проверки.

Возвращает

true, если в этой последовательности есть элемент, равный (как определено ==) elem, в противном случае false.

Классы определения LinearSeqOps -> SeqOps
Унаследовано от LinearSeqOps

Источник
def containsSlice[B >: A](that: Seq[B]): Boolean

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

Примечание: может не завершиться для коллекций бесконечного размера.

Параметры значения
that

последовательность для проверки

Возвращает

true, если эта последовательность содержит фрагмент с теми же элементами, что и that, в противном случае false.

Унаследовано от SeqOps

Источник
def copyToArray[B >: A](xs: Array[B], start: Int, len: Int): Int

Копирует элементы в массив, возвращая количество скопированных элементов.

Заполняет данный массив xs, начиная с индекса start, не более чем len элементами этой коллекции.

Копирование прекратится, как только будут скопированы все элементы этой коллекции, или будет достигнут конец массива, или len элементов будут скопированы.

Параметры типа
B

тип элементов массива.

Параметры значения
len

максимальное количество копируемых элементов.

start

начальный индекс xs.

xs

массив для заполнения.

Возвращает

количество элементов, записанных в массив

Примечание

Повторное использование: после вызова этого метода следует отказаться от итератора, на котором он был вызван. Использование его не определено и может быть изменено.

Унаследовано от IterableOnceOps

Источник
def copyToArray[B >: A](xs: Array[B], start: Int): Int

Копирует элементы в массив, возвращая количество скопированных элементов.

Заполняет данный массив xs, начиная с индекса start значениями этой коллекции.

Копирование прекратится, как только будут скопированы все элементы этой коллекции, или будет достигнут конец массива.

Параметры типа
B

тип элементов массива.

Параметры значения
start

начальный индекс xs.

xs

массив для заполнения.

Возвращает

количество элементов, записанных в массив

Примечание

Повторное использование: после вызова этого метода следует отказаться от итератора, на котором он был вызван. Использование его не определено и может быть изменено.

Унаследовано от IterableOnceOps

Источник
def copyToArray[B >: A](xs: Array[B]): Int

Копирует элементы в массив, возвращая количество скопированных элементов.

Заполняет данный массив xs, начиная с индекса start значениями этой коллекции.

Копирование прекратится, как только будут скопированы все элементы этой коллекции, или будет достигнут конец массива.

Параметры типа
B

тип элементов массива.

Параметры значения
xs

массив для заполнения.

Возвращает

количество элементов, записанных в массив

Примечание

Повторное использование: после вызова этого метода следует отказаться от итератора, на котором он был вызван. Использование его не определено и может быть изменено.

Унаследовано от IterableOnceOps

Источник
def corresponds[B](that: IterableOnce[B])(p: (A, B) => Boolean): Boolean

Проверяет, удовлетворяет ли каждый элемент итератора этой коллекции соответствующему элементу другой коллекции, выполняя предикат проверки.

Примечание: не завершится для коллекций бесконечного размера.

Параметры типа
B

тип элементов that

Параметры значения
p

предикат проверки, который связывает элементы обеих коллекций

that

другая коллекция

Возвращает

true, если обе коллекции имеют одинаковую длину и p(x, y) равен true для всех соответствующих элементов x этой итерации и y that, в противном случае false

Унаследовано от IterableOnceOps

Источник
def corresponds[B](that: Seq[B])(p: (A, B) => Boolean): Boolean

Проверяет, удовлетворяет ли каждый элемент этой последовательности соответствующему элементу другой последовательности, выполняя предикат проверки.

Параметры типа
B

тип элементов that

Параметры значения
p

предикат проверки, который связывает элементы обеих последовательностей

that

другая последовательность

Возвращает

true, если обе последовательности имеют одинаковую длину и p(x, y) равен true для всех соответствующих элементов x этой последовательности и y that, в противном случае false.

Унаследовано от SeqOps

Источник
def count(p: A => Boolean): Int

Подсчитывает количество элементов в коллекции, удовлетворяющих предикату.

Примечание: не завершится для коллекций бесконечного размера.

Параметры значения
p

предикат для проверки элементов.

Возвращает

количество элементов, удовлетворяющих предикату p.

Унаследовано от IterableOnceOps

Источник
def distinct: C

Выбирает все элементы этой последовательности, игнорируя дубликаты.

Возвращает

новая последовательность, состоящая из всех элементов этой последовательности без дубликатов.

Унаследовано от SeqOps

Источник
def distinctBy[B](f: A => B): C

Выбирает все элементы этой последовательности, игнорируя дубликаты, как определено == после применения функции преобразования f.

Параметры типа
B

тип элементов после преобразования с помощью f

Параметры значения
f

Функция преобразования, результат которой используется для определения уникальности каждого элемента

Возвращает

новая последовательность, состоящая из всех элементов этой последовательности без дубликатов.

Унаследовано от SeqOps

Источник
def elementWise: ElementWiseExtractor[A, B]

Возвращает объект извлекателя с методом unapplySeq, который извлекает каждый элемент данных последовательности.

Пример
val firstChar: String => Option[Char] = _.headOption
Seq("foo", "bar", "baz") match {
  case firstChar.unlift.elementWise(c0, c1, c2) =>
    println(s"$c0, $c1, $c2") // Output: f, b, b
}
Унаследовано от PartialFunction

Source
override def empty: CC[A]

Пустой итерируемый объект того же типа, что и этот итерируемый объект

Возвращает

пустой итерируемый объект типа C.

Классы-определения IterableFactoryDefaults -> IterableOps
Унаследовано от IterableFactoryDefaults

Source
def endsWith[B >: A](that: Iterable[B]): Boolean

Проверяет, заканчивается ли эта последовательность заданной последовательностью.

Примечание: не будет завершаться для коллекций бесконечного размера.

Параметры значения
that

тестируемая последовательность

Возвращает

true, если эта последовательность имеет that в качестве суффикса, false в противном случае.

Унаследовано от SeqOps

Source
override def equals(o: Any): Boolean

Универсальный метод равенства, определенный в AnyRef.

Классы-определения Seq -> Equals -> Any
Унаследовано от Seq

Source
override def exists(p: A => Boolean): Boolean

Проверяет, выполняется ли предикат хотя бы для одного элемента этой последовательности.

Примечание: может не завершаться для коллекций бесконечного размера.

Параметры значения
p

предикат, используемый для проверки элементов.

Возвращает

true, если заданный предикат p удовлетворяется хотя бы одним элементом этой последовательности, в противном случае false

Классы-определения LinearSeqOps -> IterableOnceOps
Унаследовано от LinearSeqOps

Source
override def findLast(p: A => Boolean): Option[A]

Находит последний элемент последовательности, удовлетворяющий предикату, если таковой существует.

Примечание: не будет завершаться для коллекций бесконечного размера.

Параметры значения
p

предикат, используемый для проверки элементов.

Возвращает

значение Option, содержащее последний элемент в последовательности, удовлетворяющий p, или None, если он не существует.

Классы-определения LinearSeqOps -> SeqOps
Унаследовано от LinearSeqOps

Source
def fold[A1 >: A](z: A1)(op: (A1, A1) => A1): A1

Складывает элементы этой коллекции с помощью указанного ассоциативного бинарного оператора. Реализация по умолчанию в IterableOnce эквивалентна foldLeft, но может быть переопределена для более эффективных порядков обхода.

Порядок выполнения операций над элементами не определён и может быть не детерминированным.

Примечание: не завершится для коллекций бесконечного размера.

Параметры типа
A1

параметр типа для бинарного оператора, надтип A.

Параметры значения
op

бинарный оператор, который должен быть ассоциативным.

z

нейтральный элемент для операции слияния; может быть добавлен к результату произвольное количество раз и не должен изменять результат (например, Nil для конкатенации списков, 0 для сложения или 1 для умножения).

Возвращает

результат применения оператора слияния op между всеми элементами и z, или z, если эта коллекция пуста.

Унаследовано от IterableOnceOps

Источник
def foldRight[B](z: B)(op: (A, B) => B): B

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

Примечание: не завершится для коллекций бесконечного размера.

Примечание: может возвращать разные результаты для разных запусков, если тип базовой коллекции не упорядочен или оператор не ассоциативен и коммутативен.

Параметры типа
B

тип результата бинарного оператора.

Параметры значения
op

бинарный оператор.

z

начальное значение.

Возвращает

результат вставки op между последовательными элементами этой коллекции, двигаясь справа налево с начальным значением z справа: op(x1, op(x2, ... op(xn, z)...)), где x1, ..., xn — элементы этой коллекции. Возвращает z, если эта коллекция пуста.

Унаследовано от IterableOnceOps

Источник
override def forall(p: A => Boolean): Boolean

Проверяет, выполняется ли предикат для всех элементов этой последовательности.

Примечание: может не завершиться для коллекций бесконечного размера.

Параметры значения
p

предикат, используемый для проверки элементов.

Возвращает

true, если эта последовательность пуста или заданный предикат p выполняется для всех элементов этой последовательности, в противном случае false.

Классы-определения LinearSeqOps -> IterableOnceOps
Унаследовано от LinearSeqOps

Источник
protected def fromSpecific(coll: IterableOnce[A]): CC[A]

Определяет, как преобразовать заданную Iterable[A] в коллекцию типа C.

Этот процесс может выполняться строго или нестрого (т. е. без вычисления элементов результирующих коллекций). Другими словами, этот метод определяет модель вычисления коллекции.

Примечание

При реализации пользовательского типа коллекции и уточнении C до нового типа этот метод необходимо переопределить (в противном случае компилятор выдаст ошибку). В общем случае, когда C =:= CC[A], это можно сделать, добавив в микс trait scala.collection.IterableFactoryDefaults, который реализует метод с помощью iterableFactory.

Как видно из аннотации @uncheckedVariance, использование этого метода может быть небезопасным. Однако, пока он вызывается с Iterable[A], полученной из this коллекции (как это происходит в реализациях операций, где мы используем View[A]), это безопасно.

Унаследовано от IterableFactoryDefaults

Источник
def groupBy[K](f: A => K): Map[K, C]

Разбивает эту итерируемую коллекцию на карту итерируемых коллекций в соответствии с функцией-дискриминатором.

Примечание: даже при применении к представлению или ленивой коллекции элементы всегда будут форсированы.

Параметры типа
K

тип ключей, возвращаемых функцией-дискриминатором.

Параметры значения
f

функция-дискриминатор.

Возвращает

Карта от ключей к итерируемым коллекциям, при этом выполняется следующее инвариантное свойство:

(xs groupBy f)(k) = xs filter (x => f(x) == k)

То есть каждый ключ k сопоставлен с итерируемой коллекцией тех элементов x, для которых f(x) равно k.

Унаследовано от IterableOps

Source
def groupMap[K, B](key: A => K)(f: A => B): Map[K, CC[B]]

Разделяет эту итерируемую коллекцию на карту итерируемых коллекций в соответствии с функцией-дискриминатором key. Каждый элемент в группе преобразуется в значение типа B с помощью функции value.

Это эквивалентно groupBy(key).mapValues(_.map(f)), но более эффективно.

case class User(name: String, age: Int)

def namesByAge(users: Seq[User]): Map[Int, Seq[String]] =
  users.groupMap(_.age)(_.name)

Примечание: Даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно вычисляться.

Параметры типа
B

тип значений, возвращаемых функцией преобразования

K

тип ключей, возвращаемых функцией-дискриминатором

Параметры значения
f

функция преобразования элементов

key

функция-дискриминатор

Унаследовано от IterableOps

Source
def groupMapReduce[K, B](key: A => K)(f: A => B)(reduce: (B, B) => B): Map[K, B]

Разделяет эту итерируемую коллекцию на карту в соответствии с функцией-дискриминатором key. Все значения, имеющие одинаковый дискриминатор, затем преобразуются функцией f и затем сводятся к одному значению с помощью функции reduce.

Это эквивалентно groupBy(key).mapValues(_.map(f).reduce(reduce)), но более эффективно.

def occurrences[A](as: Seq[A]): Map[A, Int] =
  as.groupMapReduce(identity)(_ => 1)(_ + _)

Примечание: Даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно вычисляться.

Унаследовано от IterableOps

Source
override def hashCode(): Int

Вычисляет значение хэш-кода для объекта.

Алгоритм хэширования по умолчанию зависит от платформы.

Обратите внимание, что для двух объектов разрешается иметь одинаковые хэш-коды (o1.hashCode.equals(o2.hashCode)), но не быть равными (o1.equals(o2) возвращает false). Вырожденная реализация могла бы всегда возвращать 0. Однако, требуется, чтобы если два объекта равны (o1.equals(o2) возвращает true), то у них были идентичные хэш-коды (o1.hashCode.equals(o2.hashCode)). Поэтому при переопределении этого метода обязательно проверьте, что поведение согласуется с методом equals.

Возвращает

значение хэш-кода для этого объекта.

Классы-определения Seq -> Any
Унаследовано от Seq

Source
override def headOption: Option[A]

Возвращает первый элемент, если он существует.

Возвращает

первый элемент этой последовательности, если она не пуста, None, если она пуста.

Классы-определения LinearSeqOps -> IterableOps
Унаследовано от LinearSeqOps

Source
def indexOf[B >: A](elem: B): Int

Находит индекс первого вхождения некоторого значения в этой последовательности.

Параметры типа
B

тип элемента elem.

Параметры значения
elem

значение элемента для поиска.

Возвращает

индекс >= 0 первого элемента этой последовательности, равного (как определяется ==) элементу elem, или -1, если такого элемента нет.

Унаследовано от SeqOps

Source
def indexOf[B >: A](elem: B, from: Int): Int

Находит индекс первого вхождения некоторого значения в этой последовательности после или в определенной начальной точке.

Тип параметров
B

тип элемента elem.

Параметры значения
elem

значение элемента для поиска.

from

начальный индекс

Возвращает

индекс >= from первого элемента этой последовательности, равного (как определяется ==) elem, или -1, если такового нет.

Унаследовано от SeqOps

Источник
def indexOfSlice[B >: A](that: Seq[B]): Int

Находит первый индекс, где эта последовательность содержит заданную последовательность как срез.

Примечание: для коллекций бесконечного размера может не завершаться.

Параметры значения
that

последовательность для проверки

Возвращает

первый индекс >= 0, такой что элементы этой последовательности, начиная с этого индекса, соответствуют элементам последовательности that, или -1, если такой подпоследовательности не существует.

Унаследовано от SeqOps

Источник
def indexOfSlice[B >: A](that: Seq[B], from: Int): Int

Находит первый индекс после или на начальном индексе, где эта последовательность содержит заданную последовательность как срез.

Примечание: для коллекций бесконечного размера может не завершаться.

Параметры значения
from

начальный индекс

that

последовательность для проверки

Возвращает

первый индекс >= from, такой что элементы этой последовательности, начиная с этого индекса, соответствуют элементам последовательности that, или -1, если такой подпоследовательности не существует.

Унаследовано от SeqOps

Источник
override def indexWhere(p: A => Boolean, from: Int): Int

Находит индекс первого элемента, удовлетворяющего некоторому предикату после или на определенном начальном индексе.

Примечание: для коллекций бесконечного размера может не завершаться.

Параметры значения
from

начальный индекс

p

предикат, используемый для проверки элементов.

Возвращает

индекс >= from первого элемента этой последовательности, удовлетворяющего предикату p, или -1, если такового нет.

Классы определения LinearSeqOps -> SeqOps
Унаследовано от LinearSeqOps

Источник
def indexWhere(p: A => Boolean): Int

Находит индекс первого элемента, удовлетворяющего некоторому предикату.

Примечание: для коллекций бесконечного размера может не завершаться.

Параметры значения
p

предикат, используемый для проверки элементов.

Возвращает

индекс >= 0 первого элемента этой последовательности, удовлетворяющего предикату p, или -1, если такового нет.

Унаследовано от SeqOps

Источник
def indices: Range

Создает диапазон всех индексов этой последовательности.

Примечание: Даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно вычисляться.

Возвращает

значение Range от 0 до значения, на единицу меньшего, чем длина этой последовательности.

Унаследовано от SeqOps

Источник
def init: C

Начальная часть коллекции без ее последнего элемента.

Примечание: Даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно вычисляться.

Наследуется от IterableOps

Источник
def inits: Iterator[C]

Итерируется по начальным фрагментам (inits) этого итерируемого набора. Первое значение будет этим итерируемым набором, а последнее — пустым итерируемым набором, а промежуточные значения — результатами последовательных применений init.

Примечание: даже при применении к представлению или ленивому набору элементы всегда будут принудительно вычислены.

Возвращает

итератор всех начальных фрагментов (inits) этого итерируемого набора

Пример

List(1,2,3).inits = Iterator(List(1,2,3), List(1,2), List(1), Nil)

Наследуется от IterableOps

Источник
override def isDefinedAt(x: Int): Boolean

Проверяет, содержит ли эта последовательность данный индекс.

Реализации методов apply и isDefinedAt преобразуют Seq[A] в PartialFunction[Int, A].

Параметры
idx

индекс для проверки

Возвращает

true, если эта последовательность содержит элемент в позиции idx, и false в противном случае.

Классы-определения LinearSeqOps -> SeqOps
Наследуется от LinearSeqOps

Источник
override def isTraversableAgain: Boolean

Проверяет, можно ли повторно пройти по этому итерируемому набору. Всегда истинно для Iterables и ложно для Iterators, если не переопределено.

Возвращает

true, если повторный обход возможен, и false в противном случае.

Классы-определения IterableOps -> IterableOnceOps
Наследуется от IterableOps

Источник
override def last: A

Выбирает последний элемент.

Возвращает

Последний элемент этой последовательности.

Исключения
NoSuchElementException

Если последовательность пуста.

Классы-определения LinearSeqOps -> IterableOps
Наследуется от LinearSeqOps

Источник
def lastIndexOf[B >: A](elem: B, end: Int): Int

Находит индекс последнего вхождения некоторого значения в этой последовательности перед или в заданном конечном индексе.

Примечание: не будет завершаться для бесконечных коллекций.

Параметры типа
B

тип элемента elem.

Параметры
elem

значение элемента, для которого производится поиск.

end

конечный индекс.

Возвращает

индекс <= end последнего элемента этой последовательности, равного (как определяется ==) elem, или -1, если такого элемента нет.

Наследуется от SeqOps

Источник
def lastIndexOfSlice[B >: A](that: Seq[B]): Int

Находит последний индекс, где эта последовательность содержит заданную последовательность в качестве фрагмента.

Примечание: не будет завершаться для бесконечных коллекций.

Параметры значения
that

последовательность для проверки

Возвращает

последний индекс, такой что элементы этой последовательности, начиная с этого индекса, соответствуют элементам последовательности that, или -1, если такой подпоследовательности не существует.

Унаследовано от SeqOps

Исходный код
def lastIndexOfSlice[B >: A](that: Seq[B], end: Int): Int

Находит последний индекс перед или на заданном индексе конца, где эта последовательность содержит заданную последовательность как срез.

Примечание: не будет завершаться для коллекций бесконечного размера.

Параметры значения
end

индекс конца

that

последовательность для проверки

Возвращает

последний индекс <= end, такой что элементы этой последовательности, начиная с этого индекса, соответствуют элементам последовательности that, или -1, если такой подпоследовательности не существует.

Унаследовано от SeqOps

Исходный код
override def lastIndexWhere(p: A => Boolean, end: Int): Int

Находит индекс последнего элемента, удовлетворяющего некоторому предикату перед или на заданном индексе конца.

Примечание: не будет завершаться для коллекций бесконечного размера.

Параметры значения
p

предикат, используемый для проверки элементов.

Возвращает

индекс <= end последнего элемента этой последовательности, удовлетворяющего предикату p, или -1, если такового нет.

Классы определений LinearSeqOps -> SeqOps
Унаследовано от LinearSeqOps

Исходный код
def lastIndexWhere(p: A => Boolean): Int

Находит индекс последнего элемента, удовлетворяющего некоторому предикату.

Примечание: не будет завершаться для коллекций бесконечного размера.

Параметры значения
p

предикат, используемый для проверки элементов.

Возвращает

индекс последнего элемента этой последовательности, удовлетворяющего предикату p, или -1, если такового нет.

Унаследовано от SeqOps

Исходный код
def lastOption: Option[A]

Возможный выбор последнего элемента.

Примечание: может возвращать разные результаты для разных запусков, если тип базовой коллекции не упорядочен.

Возвращает

последний элемент этой итерационной коллекции, если она не пуста, None, если она пуста.

Унаследовано от IterableOps

Исходный код
def length: Int

Длина (количество элементов) последовательности. size является псевдонимом для length в коллекциях Seq.

Унаследовано от LinearSeqOps

Исходный код
override def lengthCompare(that: Iterable[_]): Int

Сравнивает длину этой последовательности с размером другой Iterable.

Параметры значения
that

значение, размер которого сравнивается с длиной этой последовательности.

Возвращаемое значение

Значение x, где

x <  0       if this.length <  that.size
x == 0       if this.length == that.size
x >  0       if this.length >  that.size

Реализация этого метода не вызывает напрямую length или size; его время выполнения составляет O(this.length min that.size) вместо O(this.length + that.size). Метод следует переопределить, если вычисление size является быстрым, а knownSize возвращает -1.

Определяющие классы LinearSeqOps -> SeqOps
Унаследовано от LinearSeqOps

Исходный код
override def lengthCompare(len: Int): Int

Сравнивает длину этой последовательности со значением-тестом.

Параметры значения
len

значение-тест, которое сравнивается с длиной.

Возвращаемое значение

Значение x, где

x <  0       if this.length <  len
x == 0       if this.length == len
x >  0       if this.length >  len

Реализация этого метода не вызывает напрямую length; его время выполнения составляет O(length min len) вместо O(length). Метод следует переопределить, если вычисление length является быстрым, а knownSize возвращает -1.

См. также

lengthIs

Определяющие классы LinearSeqOps -> SeqOps
Унаследовано от LinearSeqOps

Исходный код
final def lengthIs: SizeCompareOps

Возвращает класс значений, содержащий операции для сравнения длины этой последовательности со значением-тестом.

Эти операции реализованы в терминах lengthCompare(Int) и позволяют использовать следующие более читабельные выражения:

this.lengthIs < len     // this.lengthCompare(len) < 0
this.lengthIs <= len    // this.lengthCompare(len) <= 0
this.lengthIs == len    // this.lengthCompare(len) == 0
this.lengthIs != len    // this.lengthCompare(len) != 0
this.lengthIs >= len    // this.lengthCompare(len) >= 0
this.lengthIs > len     // this.lengthCompare(len) > 0
Унаследовано от SeqOps

Исходный код
def lift: A => Option[B]

Преобразует эту частичную функцию в обычную функцию, возвращающую результат Option.

Возвращаемое значение

функция, которая принимает аргумент x, возвращая Some(this(x)), если this определена для x, и возвращающая None в противном случае.

См. также

Function.unlift

Унаследовано от PartialFunction

Исходный код
def max[B >: A](implicit ord: Ordering[B]): A

Находит максимальный элемент.

Примечание: не завершит работу для коллекций бесконечного размера.

Параметры типа
B

Тип, над которым определено упорядочение.

Параметры значения
ord

Упорядочение для сравнения элементов.

Возвращаемое значение

наибольший элемент этой коллекции относительно упорядочения ord.

Исключения
UnsupportedOperationException

если эта коллекция пуста.

Унаследовано от IterableOnceOps

Исходный код
def maxBy[B](f: A => B)(implicit cmp: Ordering[B]): A

Находит первый элемент, который дает наибольшее значение, измеренное функцией f.

Примечание: не завершит работу для коллекций бесконечного размера.

Параметры типа
B

Тип результата функции f.

Параметры значения
cmp

Упорядочение для сравнения элементов.

f

Функция измерения.

Возвращаемое значение

первый элемент этой коллекции с наибольшим значением, измеренным функцией f относительно упорядочения cmp.

Исключения
UnsupportedOperationException

если эта коллекция пуста.

Унаследовано от IterableOnceOps

Source
def maxByOption[B](f: A => B)(implicit cmp: Ordering[B]): Option[A]

Находит первый элемент, который возвращает наибольшее значение, измеренное функцией f.

Примечание: не будет завершаться для коллекций бесконечного размера.

Параметры типа
B

Тип результата функции f.

Параметры значения
cmp

Порядок, используемый для сравнения элементов.

f

Функция измерения.

Возвращает

значение типа option, содержащее первый элемент этой коллекции с наибольшим значением, измеренным функцией f относительно порядка cmp.

Унаследовано от IterableOnceOps

Source
def maxOption[B >: A](implicit ord: Ordering[B]): Option[A]

Находит наибольший элемент.

Примечание: не будет завершаться для коллекций бесконечного размера.

Параметры типа
B

Тип, по которому определен порядок.

Параметры значения
ord

Порядок, используемый для сравнения элементов.

Возвращает

значение типа option, содержащее наибольший элемент этой коллекции относительно порядка ord.

Унаследовано от IterableOnceOps

Source
def min[B >: A](implicit ord: Ordering[B]): A

Находит наименьший элемент.

Примечание: не будет завершаться для коллекций бесконечного размера.

Параметры типа
B

Тип, по которому определен порядок.

Параметры значения
ord

Порядок, используемый для сравнения элементов.

Возвращает

наименьший элемент этой коллекции относительно порядка ord.

Исключения
UnsupportedOperationException

если эта коллекция пуста.

Унаследовано от IterableOnceOps

Source
def minBy[B](f: A => B)(implicit cmp: Ordering[B]): A

Находит первый элемент, который возвращает наименьшее значение, измеренное функцией f.

Примечание: не будет завершаться для коллекций бесконечного размера.

Параметры типа
B

Тип результата функции f.

Параметры значения
cmp

Порядок, используемый для сравнения элементов.

f

Функция измерения.

Возвращает

первый элемент этой коллекции с наименьшим значением, измеренным функцией f относительно порядка cmp.

Исключения
UnsupportedOperationException

если эта коллекция пуста.

Унаследовано от IterableOnceOps

Source
def minByOption[B](f: A => B)(implicit cmp: Ordering[B]): Option[A]

Находит первый элемент, который возвращает наименьшее значение, измеренное функцией f.

Примечание: не будет завершаться для коллекций бесконечного размера.

Тип параметров
B

Тип результата функции f.

Параметры значения
cmp

Порядок для сравнения элементов.

f

Функция измерения.

Возвращает

значение Option, содержащее первый элемент этого набора с наименьшим значением, измеренным функцией f относительно порядка cmp.

Унаследовано от IterableOnceOps

Источник
def minOption[B >: A](implicit ord: Ordering[B]): Option[A]

Находит наименьший элемент.

Примечание: не будет завершаться для коллекций бесконечного размера.

Тип параметров
B

Тип, по которому определен порядок.

Параметры значения
ord

Порядок для сравнения элементов.

Возвращает

значение Option, содержащее наименьший элемент этого набора относительно порядка ord.

Унаследовано от IterableOnceOps

Источник
final def mkString: String

Отображает все элементы этого набора в строке.

Делегирует addString, который может быть переопределен.

Возвращает

строковое представление этого набора. В результирующей строке строковые представления (относительно метода toString) всех элементов этого набора следуют друг за другом без разделительной строки.

Унаследовано от IterableOnceOps

Источник
final def mkString(sep: String): String

Отображает все элементы этого набора в строке с использованием разделительной строки.

Делегирует addString, который может быть переопределен.

Параметры значения
sep

разделительная строка.

Возвращает

строковое представление этого набора. В результирующей строке строковые представления (относительно метода toString) всех элементов этого набора разделяются строкой sep.

Пример

List(1, 2, 3).mkString("|") = "1|2|3"

Унаследовано от IterableOnceOps

Источник
final def mkString(start: String, sep: String, end: String): String

Отображает все элементы этого набора в строке с использованием начальной, конечной и разделительной строк.

Делегирует addString, который может быть переопределен.

Параметры значения
end

конечная строка.

sep

разделительная строка.

start

начальная строка.

Возвращает

строковое представление этого набора. Результирующая строка начинается со строки start и заканчивается строкой end. Внутри строковые представления (относительно метода toString) всех элементов этого набора разделяются строкой sep.

Пример

List(1, 2, 3).mkString("(", "; ", ")") = "(1; 2; 3)"

Унаследовано от IterableOnceOps

Источник
protected def newSpecificBuilder: Builder[A, CC[A]]

Возвращает

строгий билдер для того же типа коллекции. Обратите внимание, что в случае ленивых коллекций (например, scala.collection.View или scala.collection.immutable.LazyList) реализовать этот метод возможно, но полученный Builder нарушит ленивость. Вследствие этого операции предпочтительно реализовывать с fromSpecific вместо этого метода.

Примечание

При реализации пользовательского типа коллекции и уточнении C до нового типа, этот метод необходимо переопределить (в противном случае компилятор выдаст ошибку). В обычном случае, когда C =:= CC[A], это можно сделать, смешав в себе scala.collection.IterableFactoryDefaults, который реализует метод с использованием iterableFactory.

Как показывает аннотация @uncheckedVariance, использование этого метода может быть некорректным. Однако, до тех пор, пока возвращаемый билдер подпитывается только A значениями, взятыми от this экземпляра, он безопасен.

Унаследовано от IterableFactoryDefaults

Источник
def nonEmpty: Boolean

Проверяет, не пуста ли коллекция.

Возвращает

true, если коллекция содержит по крайней мере один элемент, false в противном случае.

Унаследовано от IterableOnceOps

Источник
def orElse[A1 <: Int, B1 >: A](that: PartialFunction[A1, B1]): PartialFunction[A1, B1]

Комбинирует данную частичную функцию со вспомогательной частичной функцией, которая применяется в тех случаях, когда данная частичная функция не определена.

Тип параметров
A1

тип аргумента вспомогательной функции

B1

тип результата вспомогательной функции

Параметры значения
that

вспомогательная функция

Возвращает

частичная функция, у которой область определения является объединением областей определения этой частичной функции и that. Результирующая частичная функция принимает x к this(x), где this определена, и к that(x), где она не определена.

Унаследовано от PartialFunction

Источник
def permutations: Iterator[C]

Перебирает различные перестановки.

Примечание: даже когда применяется к представлению или ленивой коллекции, она всегда принудительно обрабатывает элементы.

Возвращает

Итератор, проходящий по различным перестановкам этой последовательности.

Пример

"abb".permutations = Iterator(abb, bab, bba)

Унаследовано от SeqOps

Источник
def product[B >: A](implicit num: Numeric[B]): B

Умножает элементы этой коллекции.

Примечание: не будет завершаться для коллекций бесконечного размера.

Тип параметров
B

тип результата оператора *.

Параметры значения
num

явный параметр, определяющий набор арифметических операций, включающий оператор *, используемый для вычисления произведения.

Возвращает

произведение всех элементов этой коллекции относительно оператора * в num.

Унаследовано от IterableOnceOps

Источник
def reduce[B >: A](op: (B, B) => B): B

Приводит элементы этой коллекции к одному значению с помощью указанного ассоциативного бинарного оператора.

Порядок выполнения операций над элементами не определен и может быть недетерминированным.

Параметры типа
B

Параметр типа для бинарного оператора, надтип A.

Параметры значения
op

Бинарный оператор, который должен быть ассоциативным.

Возвращает

Результат применения оператора reduce op ко всем элементам, если коллекция не пуста.

Бросает
UnsupportedOperationException

если коллекция пуста.

Унаследовано от IterableOnceOps

Источник
def reduceLeftOption[B >: A](op: (B, A) => B): Option[B]

Применяет бинарный оператор ко всем элементам этой коллекции слева направо (по желанию).

Примечание: не завершится для коллекций бесконечного размера.

Примечание: может возвращать разные результаты для разных запусков, если тип базовой коллекции не упорядочен или оператор не ассоциативен и не коммутативен.

Параметры типа
B

тип результата бинарного оператора.

Параметры значения
op

бинарный оператор.

Возвращает

значение опционального типа, содержащее результат reduceLeft(op), если эта коллекция не пуста, None в противном случае.

Унаследовано от IterableOnceOps

Источник
def reduceOption[B >: A](op: (B, B) => B): Option[B]

Сокращает элементы этой коллекции (если есть) с использованием указанного ассоциативного бинарного оператора.

Порядок выполнения операций над элементами не определён и может быть не детерминированным.

Параметры типа
B

Параметр типа для бинарного оператора, надтип A.

Параметры значения
op

Бинарный оператор, который должен быть ассоциативным.

Возвращает

Значение опционального типа, содержащее результат применения оператора reduce op ко всем элементам, если коллекция не пуста, и None в противном случае.

Унаследовано от IterableOnceOps

Источник
def reduceRight[B >: A](op: (A, B) => B): B

Применяет бинарный оператор ко всем элементам этой коллекции справа налево.

Примечание: не завершится для коллекций бесконечного размера.

Примечание: может возвращать разные результаты для разных запусков, если тип базовой коллекции не упорядочен или оператор не ассоциативен и не коммутативен.

Параметры типа
B

тип результата бинарного оператора.

Параметры значения
op

бинарный оператор.

Возвращает

результат вставки op между последовательными элементами этой коллекции справа налево: op(x1, op(x2, ..., op(xn-1, xn)...)), где x1, ..., xn — элементы этой коллекции.

Бросает
UnsupportedOperationException

если коллекция пуста.

Унаследовано от IterableOnceOps

Источник
def reduceRightOption[B >: A](op: (A, B) => B): Option[B]

Применяет бинарный оператор ко всем элементам этой коллекции справа налево (по желанию).

Примечание: не завершится для коллекций бесконечного размера.

Примечание: может возвращать разные результаты для разных запусков, если тип базовой коллекции не упорядочен или оператор не ассоциативен и не коммутативен.

Параметры типа
B

тип результата бинарного оператора.

Параметры значения
op

бинарный оператор.

Возвращает

значение опционального типа, содержащее результат reduceRight(op), если эта коллекция не пуста, None в противном случае.

Унаследовано от IterableOnceOps

Источник
def reverseIterator: Iterator[A]

Итератор, возвращающий элементы в обратном порядке.

Примечание: не завершится для коллекций бесконечного размера.

Примечание: xs.reverseIterator то же самое, что и xs.reverse.iterator, но может быть более эффективным.

Возвращает

Итератор, возвращающий элементы этой последовательности в обратном порядке

Унаследовано от SeqOps

Источник
protected def reversed: Iterable[A]

Унаследовано от IterableOnceOps

Источник
def runWith[U](action: A => U): A => Boolean

Компонует эту частичную функцию с функцией действия, которая применяется к результатам этой частичной функции. Функция действия вызывается только для своих побочных эффектов; её результат игнорируется.

Обратите внимание, что выражение pf.runWith(action)(x) эквивалентно

if(pf isDefinedAt x) { action(pf(x)); true } else false

за исключением того, что runWith реализуется с помощью applyOrElse и, следовательно, потенциально более эффективна. Использование runWith предотвращает двойное вычисление совпадений шаблонов и условий для литералов частичной функции.

Параметры значения
action

функция действия

Возвращает

функция, которая отображает аргументы x в isDefinedAt(x). Результирующая функция запускает action(this(x)), где this определена.

См. также

applyOrElse.

Унаследовано от PartialFunction

Источник
override def sameElements[B >: A](that: IterableOnce[B]): Boolean

Являются ли элементы этой коллекции такими же (и в том же порядке), как элементы that?

Классы определения LinearSeqOps -> SeqOps
Унаследовано от LinearSeqOps

Источник
def scan[B >: A](z: B)(op: (B, B) => B): CC[B]

Вычисляет префиксное сканирование элементов коллекции.

Примечание: нейтральный элемент z может применяться более одного раза.

Параметры типа
B

тип элементов результирующей коллекции

Параметры значения
op

ассоциативный оператор для сканирования

z

нейтральный элемент для оператора op

Возвращает

новая итерируемая коллекция, содержащая префиксное сканирование элементов в этой итерируемой коллекции

Унаследовано от IterableOps

Источник
def scanRight[B](z: B)(op: (A, B) => B): CC[B]

Создаёт коллекцию, содержащую кумулятивные результаты применения оператора справа налево. Голова коллекции — последний кумулятивный результат.

Примечание: не завершится для коллекций бесконечного размера.

Примечание: может возвращать разные результаты для разных запусков, если тип базовой коллекции не упорядочен.

Примечание: даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно вычисляться.

Пример:

List(1, 2, 3, 4).scanRight(0)(_ + _) == List(10, 9, 7, 4, 0)
Параметры типа
B

тип элементов в результирующей коллекции

Параметры значения
op

бинарный оператор, применяемый к промежуточному результату и элементу

z

начальное значение

Возвращает

коллекция с промежуточными результатами

Унаследовано от IterableOps
END_OF_DOCUMENT_MARKER

Source
def search[B >: A](elem: B, from: Int, to: Int)(implicit ord: Ordering[B]): SearchResult

Поиск в заданном интервале в этом отсортированном последовательности определенного элемента. Если эта последовательность является IndexedSeq, используется двоичный поиск. В противном случае используется линейный поиск.

Последовательность должна быть отсортирована с использованием того же Ordering перед вызовом; в противном случае результаты будут неопределенными.

Параметры значения
elem

элемент для поиска.

from

индекс, с которого начинается поиск.

ord

упорядочение, используемое для сравнения элементов.

to

индекс, следующий за тем, где заканчивается поиск.

Возвращает

значение Found, содержащее индекс, соответствующий элементу в последовательности, или InsertionPoint, куда следует вставить элемент, если элемент не содержится в последовательности.

См. также

scala.collection.IndexedSeq

scala.math.Ordering

scala.collection.SeqOps, метод sorted

Примечание

Если to <= from, пространство поиска пустое, и возвращается InsertionPoint в from

Унаследовано от SeqOps

Source
def search[B >: A](elem: B)(implicit ord: Ordering[B]): SearchResult

Поиск этого отсортированного последовательности определенного элемента. Если последовательность является IndexedSeq, используется двоичный поиск. В противном случае используется линейный поиск.

Последовательность должна быть отсортирована с использованием того же Ordering перед вызовом; в противном случае результаты будут неопределенными.

Параметры значения
elem

элемент для поиска.

ord

упорядочение, используемое для сравнения элементов.

Возвращает

значение Found, содержащее индекс, соответствующий элементу в последовательности, или InsertionPoint, куда следует вставить элемент, если элемент не содержится в последовательности.

См. также

scala.collection.IndexedSeq

scala.math.Ordering

scala.collection.SeqOps, метод sorted

Унаследовано от SeqOps

Source
override def segmentLength(p: A => Boolean, from: Int): Int

Вычисляет длину самой длинной последовательности, которая начинается с некоторого индекса, и все элементы которой удовлетворяют некоторому предикату.

Примечание: может не завершаться для коллекций бесконечного размера.

Параметры значения
from

индекс, с которого начинается поиск.

p

предикат, используемый для проверки элементов.

Возвращает

длину самой длинной последовательности в этой последовательности, начинающейся с индекса from, такая, что каждый элемент последовательности удовлетворяет предикату p.

Классы определения LinearSeqOps -> SeqOps
Унаследовано от LinearSeqOps

Source
final def segmentLength(p: A => Boolean): Int

Вычисляет длину самой длинной последовательности, которая начинается с первого элемента, и все элементы которой удовлетворяют некоторому предикату.

Примечание: может не завершаться для коллекций бесконечного размера.

Параметры значения
p

предикат, используемый для проверки элементов.

Возвращает

длину самой длинной последовательности в этой последовательности, которая начинается с первого элемента, такая, что каждый элемент последовательности удовлетворяет предикату p.

Унаследовано от SeqOps

Source
final override def size: Int

Размер этой последовательности.

Примечание: не завершится для коллекций бесконечного размера.

Возвращает

количество элементов в этом последовательности.

Классы определения SeqOps -> IterableOnceOps
Унаследовано от SeqOps

Источник
final override def sizeCompare(that: Iterable[_]): Int

Сравнивает размер этой последовательности с размером другой Iterable.

Параметры значения
that

Iterable, размер которой сравнивается с размером этой последовательности.

Возвращает

Значение x, где

x <  0       if this.size <  that.size
x == 0       if this.size == that.size
x >  0       if this.size >  that.size

Реализация метода здесь не вызывает size напрямую; её время выполнения составляет O(this.size min that.size) вместо O(this.size + that.size). Метод должен быть переопределён, если вычисление size является быстрым, и knownSize возвращает -1.

Классы определения SeqOps -> IterableOps
Унаследовано от SeqOps

Источник
final override def sizeCompare(otherSize: Int): Int

Сравнивает размер этой последовательности со значением теста.

Параметры значения
otherSize

тестовое значение, которое сравнивается с размером.

Возвращает

Значение x, где

x <  0       if this.size <  otherSize
x == 0       if this.size == otherSize
x >  0       if this.size >  otherSize

Реализация метода здесь не вызывает size напрямую; её время выполнения составляет O(size min otherSize) вместо O(size). Метод должен быть переопределён, если вычисление size является быстрым, и knownSize возвращает -1.

См. также

sizeIs

Классы определения SeqOps -> IterableOps
Унаследовано от SeqOps

Источник
final def sizeIs: SizeCompareOps

Возвращает значение класса, содержащего операции для сравнения размера этой итерируемой коллекции со значением теста.

Эти операции реализуются с использованием sizeCompare(Int) и позволяют использовать следующие более удобочитаемые выражения:

this.sizeIs < size     // this.sizeCompare(size) < 0
this.sizeIs <= size    // this.sizeCompare(size) <= 0
this.sizeIs == size    // this.sizeCompare(size) == 0
this.sizeIs != size    // this.sizeCompare(size) != 0
this.sizeIs >= size    // this.sizeCompare(size) >= 0
this.sizeIs > size     // this.sizeCompare(size) > 0
Унаследовано от IterableOps

Источник
def sliding(size: Int): Iterator[C]

Группирует элементы в блоки фиксированного размера, пропуская "скользящее окно" над ними (в отличие от разбиения их, как это делается в grouped.)

Пустая коллекция возвращает пустой итератор, а непустая коллекция, содержащая меньше элементов, чем размер окна, возвращает итератор, который будет генерировать исходную коллекцию в качестве единственного элемента.

Параметры значения
size

количество элементов в группе

Возвращает

Итератор, генерирующий итерируемые коллекции размера size, за исключением непустой коллекции с менее чем size элементами, которая возвращает итератор, генерирующий исходную коллекцию в качестве единственного элемента.

См. также

scala.collection.Iterator, метод sliding

Пример

List().sliding(2) = empty iterator

List(1).sliding(2) = Iterator(List(1))

List(1, 2).sliding(2) = Iterator(List(1, 2))

List(1, 2, 3).sliding(2) = Iterator(List(1, 2), List(2, 3))

Унаследовано от IterableOps

Источник
def sortBy[B](f: A => B)(implicit ord: Ordering[B]): C

Сортирует эту последовательность в соответствии с Ordering, полученной из преобразования заданного неявно Ordering с помощью функции преобразования.

Примечание: не завершится для коллекций бесконечного размера.

Примечание: Даже при применении к представлению или ленивому набору он всегда будет принудительно форсировать элементы.

Сортировка устойчивая. То есть, элементы, которые равны (как определено в ord.compare), появляются в отсортированной последовательности в том же порядке, что и в исходной.

Параметры типа
B

целевой тип преобразования f, и тип, в котором определяется порядок ord.

Параметры значения
f

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

ord

порядок, предполагаемый в области B.

Возвращает

последовательность, состоящую из элементов этой последовательности, отсортированных в соответствии с порядком, где x < y, если ord.lt(f(x), f(y)).

См. также

scala.math.Ordering

Пример
val words = "The quick brown fox jumped over the lazy dog".split(' ')
// this works because scala.Ordering will implicitly provide an Ordering[Tuple2[Int, Char]]
words.sortBy(x => (x.length, x.head))
res0: Array[String] = Array(The, dog, fox, the, lazy, over, brown, quick, jumped)
Унаследовано от SeqOps

Источник
def sortWith(lt: (A, A) => Boolean): C

Сортирует эту последовательность в соответствии с функцией сравнения.

Примечание: не завершит работу для бесконечных наборов.

Примечание: Даже при применении к представлению или ленивому набору он всегда будет принудительно форсировать элементы.

Сортировка устойчивая. То есть, элементы, которые равны (как определено в lt), появляются в отсортированной последовательности в том же порядке, что и в исходной.

Параметры значения
lt

функция сравнения, которая проверяет, предшествует ли ее первый аргумент второму аргументу в желаемом порядке.

Возвращает

последовательность, состоящую из элементов этой последовательности, отсортированных в соответствии с функцией сравнения lt.

Пример
List("Steve", "Tom", "John", "Bob").sortWith(_.compareTo(_) < 0) =
List("Bob", "John", "Steve", "Tom")
Унаследовано от SeqOps

Источник
def sorted[B >: A](implicit ord: Ordering[B]): C

Сортирует эту последовательность в соответствии с порядком.

Сортировка устойчивая. То есть, элементы, которые равны (как определено в ord.compare), появляются в отсортированной последовательности в том же порядке, что и в исходной.

Параметры значения
ord

порядок, используемый для сравнения элементов.

Возвращает

последовательность, состоящую из элементов этой последовательности, отсортированных в соответствии с порядком ord.

См. также

scala.math.Ordering Примечание: Даже при применении к представлению или ленивому набору он всегда будет принудительно форсировать элементы.

Унаследовано от SeqOps

Источник
def span(p: A => Boolean): (C, C)

Разделяет этот итерируемый набор на пару префикс/суффикс в соответствии с предикатом.

Примечание: c span p эквивалентно (но, возможно, более эффективно, чем) (c takeWhile p, c dropWhile p), при условии, что вычисление предиката p не вызывает побочных эффектов.

Примечание: может возвращать разные результаты для разных запусков, если только тип базового набора не упорядочен.

Параметры значения
p

предикат проверки

Возвращает

пара, состоящая из самого длинного префикса этого итерируемого набора, чьи элементы все удовлетворяют p, и остальной части этого итерируемого набора.

Унаследовано от IterableOps

Источник
override def splitAt(n: Int): (C, C)

Разделяет этот итерируемый набор на пару префикс/суффикс в заданной позиции.

Примечание: c splitAt n эквивалентно (но, возможно, более эффективно, чем) (c take n, c drop n).

Примечание: может возвращать разные результаты для разных запусков, если только тип базового набора не упорядочен.

Параметры значения
n

позиция, в которой нужно разделить.

Возвращает

пара итерируемых наборов, состоящая из первых n элементов этого итерируемого набора и других элементов.

Классы определений IterableOps -> IterableOnceOps
Унаследовано от IterableOps

Источник
def startsWith[B >: A](that: IterableOnce[B], offset: Int): Boolean

Проверяет, содержит ли эта последовательность заданную последовательность в заданном индексе.

Примечание: Если как получающий объект this, так и аргумент that являются бесконечными последовательностями, этот метод может не завершиться.

Параметры значения
offset

индекс, в котором ищется последовательность.

that

тестируемая последовательность

Возвращает

true, если последовательность that содержится в этой последовательности в индексе offset, в противном случае false.

Унаследовано от SeqOps

Источник
def stepper[S <: Stepper[_]](implicit shape: StepperShape[A, S]): S

Возвращает scala.collection.Stepper для элементов этого набора.

Stepper позволяет создавать Java-поток для работы с набором, см. scala.jdk.StreamConverters. Для наборов, содержащих примитивные значения, Stepper можно использовать как итератор, который не упаковывает элементы.

Неявный параметр scala.collection.StepperShape определяет тип возвращаемого Stepper в соответствии с типом элементов этого набора.

  • Для наборов, содержащих Int, Short, Byte или Char, возвращается scala.collection.IntStepper

  • Для наборов, содержащих Double или Float, возвращается scala.collection.DoubleStepper

  • Для наборов, содержащих Long, возвращается scala.collection.LongStepper

  • Для любого другого типа элементов возвращается scala.collection.AnyStepper

Обратите внимание, что этот метод переопределен в подклассах, а тип возвращаемого значения уточняется до S with EfficientSplit, например scala.collection.IndexedSeqOps.stepper. Для Steppers, помеченных scala.collection.Stepper.EfficientSplit, конвертеры в scala.jdk.StreamConverters позволяют создавать параллельные потоки, в то время как обычные Steppers могут быть преобразованы только в последовательные потоки.

Унаследовано от IterableOnce

Источник
def sum[B >: A](implicit num: Numeric[B]): B

Суммирует элементы этого набора.

Примечание: не завершит работу для бесконечных наборов.

Параметры типа
B

тип результата оператора +.

Параметры значения
num

неявный параметр, определяющий набор числовых операций, которые включают оператор +, используемый для образования суммы.

Возвращает

сумма всех элементов этого набора относительно оператора + в num.

Унаследовано от IterableOnceOps

Источник
override def tails: Iterator[C]

Итерирует по хвостам этой последовательности. Первое значение будет этой последовательностью, а последнее — пустой последовательностью, при этом промежуточные значения будут результатом последовательных применений tail.

Возвращает

итератор по всем хвостам этой последовательности

Пример

List(1,2,3).tails = Iterator(List(1,2,3), List(2,3), List(3), Nil)

Классы определений LinearSeqOps -> IterableOps
Унаследовано от LinearSeqOps

Источник
def to[C1](factory: Factory[A, C1]): C1

При заданном фабрике коллекций factory, преобразуйте эту коллекцию в соответствующее представление для текущего типа элемента A. Примеры использования:

xs.to(List) xs.to(ArrayBuffer) xs.to(BitSet) // для xs: Iterable[Int]

Унаследовано от IterableOnceOps

Источник
def toArray[B >: A : ClassTag]: Array[B]

Преобразовать коллекцию в массив.

Примечание к реализации: НЕ вызывайте Array.from из этого метода.

Унаследовано от IterableOnceOps

Источник
final def toBuffer[B >: A]: Buffer[B]

Унаследовано от IterableOnceOps

Источник
def toIndexedSeq: IndexedSeq[A]

Унаследовано от IterableOnceOps

Источник
def toList: List[A]

Унаследовано от IterableOnceOps

Источник
def toMap[K, V](implicit ev: A <:< (K, V)): Map[K, V]

Унаследовано от IterableOnceOps

Источник
final override def toSeq: Seq.this.type

Возвращает

Эту коллекцию как Seq[A]. Это эквивалентно to(Seq), но может быть быстрее.

Классы определения Seq -> IterableOnceOps
Унаследовано от Seq

Источник
def toSet[B >: A]: Set[B]

Унаследовано от IterableOnceOps

Источник
def toVector: Vector[A]

Унаследовано от IterableOnceOps

Источник
def unapply(a: Int): Option[B]

Попытка извлечь B из A в выражении сопоставления с образцом.

Унаследовано от PartialFunction

Источник
override def view: SeqView[A]

Представление элементов этой коллекции.

Классы определения SeqOps -> IterableOps
Унаследовано от SeqOps

© 2002-2022 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://scala-lang.org/api/3.2.0/scala/collection/immutable/LazyList.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API