Класс 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"
| Параметры типа |
|
|---|---|
| См. также | "Обзор библиотеки коллекций Scala" раздел о |
| Супертипы | 24 типа |
Конкретные методы
Исходный код
Конструирует LazyList, состоящий из данного первого элемента, за которым следуют элементы из другого LazyList.
Исходный код
Конструирует LazyList, состоящий из конкатенации данного LazyList и другого LazyList.
Исходный код
Добавляет все элементы этого ленивого списка в строковый билдер, используя строки start, end и разделитель. Записываемый текст начинается со строки start и заканчивается строкой end. Внутри строковые представления (с точки зрения метода toString) всех элементов этого ленивого списка разделены строкой sep.
Неопределённое состояние представлено "<not computed>", а циклы — "<cycle>".
Этот метод оценивает все элементы коллекции.
| Параметры |
|
|---|---|
| Возвращает | строковый билдер |
| Определяющие классы | IterableOnceOps |
Исходный код
Копия этого ленивого списка с добавленным элементом.
Примечание: не завершит работу для коллекций бесконечного размера.
Пример:
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
Возвращает новый ленивый список, содержащий элементы из левого операнда, за которыми следуют элементы из правого операнда. Тип элементов ленивого списка — это наиболее конкретный суперкласс, охватывающий типы элементов двух операндов.
Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.
Примечание: Повторное объединение вызовов методов добавления (appended, appendedAll, lazyAppendedAll) без принуждения к оценке промежуточных ленивых списков может привести к переполнению стека при принудительной оценке конечного результата.
| Definition Classes | SeqOps |
|---|
Source
Создаёт новый ленивый список, применяя частичную функцию ко всем элементам этого ленивого списка, для которых функция определена.
Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.
| Definition Classes | IterableOps -> IterableOnceOps |
|---|
Source
Находит первый элемент ленивого списка, для которого заданная частичная функция определена, и применяет к нему частичную функцию.
Примечание: может не завершиться для бесконечных коллекций.
Этот метод не оценивает элементы дальше первого элемента, для которого определена частичная функция.
| Definition Classes | IterableOnceOps |
|---|
Source
Вычисляет разность мультимножеств между этим ленивым списком и другой последовательностью.
Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.
| Definition Classes | SeqOps |
|---|
Source
Выбирает все элементы, кроме первых n.
Этот метод не оценивает ничего, пока над результатом не выполняется операция (например, вызов head или tail, или проверка на пустоту). Кроме того, он сохраняет леность для всех, кроме первых n элементов.
| Definition Classes | IterableOps -> IterableOnceOps |
|---|
Source
Выбирает все элементы, кроме последних n.
Этот метод не оценивает ничего, пока над результатом не выполняется операция (например, вызов head или tail, или проверка на пустоту).
| Definition Classes | IterableOps |
|---|
Source
Опускает наибольший префикс элементов, удовлетворяющих предикату.
Этот метод не оценивает ничего, пока над результатом не выполняется операция (например, вызов head или tail, или проверка на пустоту). Кроме того, он сохраняет леность для всех элементов после того, как предикат возвращает false.
| Definition Classes | IterableOps -> IterableOnceOps |
|---|
Source
Выбирает все элементы этого ленивого списка, которые удовлетворяют предикату.
Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.
| Definition Classes | IterableOps -> IterableOnceOps |
|---|
Source
Выбирает все элементы этого ленивого списка, которые не удовлетворяют предикату.
Этот метод сохраняет леность; элементы оцениваются индивидуально по мере необходимости.
| Definition Classes | IterableOps -> IterableOnceOps |
|---|
Source
Находит первый элемент ленивого списка, удовлетворяющий предикату, если таковой существует.
Примечание: может не завершиться для бесконечных коллекций.
Этот метод не оценивает элементы дальше первого элемента, соответствующего предикату.
| Definition Classes | LinearSeqOps -> IterableOnceOps |
|---|
Source
Создаёт новый ленивый список, применяя функцию ко всем элементам этого ленивого списка и используя элементы полученных коллекций.
Например:
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
Преобразует этот ленивый список из перечислимых коллекций в ленивый список, образованный из элементов этих перечислимых коллекций.
Тип результирующей коллекции определяется типом ленивого списка. Например:
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 |
|
|---|---|
| Value parameters |
|
| Returns | Накопленное значение из последовательного применения |
| Definition Classes | LinearSeqOps -> IterableOnceOps |
Source
Оценивает все неопределённые элементы ленивого списка.
Этот метод обнаруживает циклы в ленивых списках и завершается после оценки всех элементов цикла. Например:
val ring: LazyList[Int] = 1 #:: 2 #:: 3 #:: ring ring.force ring.toString // prints // // LazyList(1, 2, 3, ...)
Этот метод не завершится для бесконечных коллекций без циклов.
| Returns | this |
|---|
Source
Применяет данную функцию f к каждому элементу этой линейной последовательности (с соблюдением порядка элементов).
| Параметры значения |
|
|---|---|
| Примечание |
Переопределено здесь как окончательное для запуска оптимизации хвостовой рекурсии, которая заменяет «this» на «tail» на каждой итерации. Это абсолютно необходимо для того, чтобы сборщик мусора мог собирать базовый LazyList по мере потребления элементов. Эта функция заставит реализовать весь LazyList, если |
| Определяющие классы | LinearSeqOps -> IterableOnceOps |
Исходный код
Разделяет элементы на ленивые списки фиксированного размера.
Возвращаемый этим методом итератор в основном сохраняет ленивость; один элемент перед итератором вычисляется.
| Определяющие классы | IterableOps |
|---|
Исходный код
override def head: A
Выбирает первый элемент этого ленивого списка.
| Возвращает | первый элемент этого ленивого списка. |
|---|---|
| Исключение |
|
| Определяющие классы | LinearSeqOps -> IterableOps |
Исходный код
Вычисляет пересечение множеств между этим ленивым списком и другой последовательностью.
Этот метод сохраняет ленивость; элементы оцениваются только по мере необходимости.
| Определяющие классы | SeqOps |
|---|
Исходный код
Проверяет, является ли ленивый список пустым.
Примечание: Реализации в подклассах, которые не являются многократно проходимыми, должны позаботиться о том, чтобы не потреблять элементы, когда isEmpty вызывается.
| Возвращает |
|
|---|---|
| Определяющие классы | LinearSeqOps -> SeqOps -> IterableOnceOps |
Исходный код
Компаньон-объект этого ленивого списка, предоставляющий различные методы создания.
| Примечание | При реализации пользовательского типа коллекции и уточнении |
|---|---|
| Определяющие классы | LinearSeq -> LinearSeq -> Seq -> Iterable -> Seq -> Iterable -> IterableOps |
Исходный код
Итератор может быть использован только один раз.
Итератор, возвращаемый этим методом, сохраняет ленивость; элементы вычисляются только по мере необходимости.
| Определяющие классы | LinearSeqOps -> IterableOnce |
|---|
Исходный код
Этот метод сохраняет ленивость; элементы вычисляются только по мере необходимости.
| Определяющие классы | IterableOnce |
|---|
Исходный код
Ленивый список, полученный путем конкатенации этого ленивого списка с аргументным ленивым списком.
Этот метод сохраняет ленивость; элементы вычисляются только по мере необходимости.
Примечание: Повторение цепочки вызовов методов append (appended, appendedAll, lazyAppendedAll) без принудительного выполнения любого из промежуточных результирующих ленивых списков может привести к переполнению стека при принудительном выполнении конечного результата.
| Параметры значения |
|
|---|---|
| Возвращает | Ленивый список, содержащий элементы этого ленивого списка и объекта итератора. |
Исходный код
Аналогично 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 |
|---|
Исходный код
Создает новый ленивый список, применяя функцию ко всем элементам этого ленивого списка.
Этот метод сохраняет ленивость; элементы вычисляются только по мере необходимости.
| Определяющие классы | IterableOps -> IterableOnceOps |
|---|
Исходный код
Копия этого ленивого списка с добавленным элементом до тех пор, пока не будет достигнута заданная целевая длина.
Этот метод сохраняет ленивость; элементы вычисляются только по мере необходимости.
| Определяющие классы | SeqOps |
|---|
Исходный код
Пара, во-первых, всех элементов, удовлетворяющих предикату p, и, во-вторых, всех элементов, которые не удовлетворяют его. Интересно, потому что разделяет коллекцию на две части.
Стандартная реализация здесь требует дважды пройти по коллекции. Строгие коллекции имеют переопределенный вариант partition в StrictOptimizedIterableOps, который требует только одного прохода.
Этот метод сохраняет ленивость; элементы вычисляются только по мере необходимости.
| Определяющие классы | IterableOps |
|---|
Исходный код
Применяет функцию 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 |
|---|
Исходный код
Создает новый ленивый список, где фрагмент элементов в этом ленивом списке заменяется другой последовательностью.
Замена по отрицательным индексам эквивалентна замене, начинающейся с 0. Замена по индексам, равным или большим длины исходного ленивого списка, добавляет замену в конец. Если заменяется больше значений, чем фактически существует, избыток игнорируется.
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Definition Classes | SeqOps |
|---|
Source
Копия ленивого списка с добавленным элементом в начало.
Также, исходный ленивый список не изменяется, поэтому вам нужно будет сохранить результат.
Пример:
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
Как и в случае с :++, возвращает новую коллекцию, содержащую элементы из левого операнда, за которыми следуют элементы из правого операнда.
Он отличается от :++ тем, что тип результирующей коллекции определяется правым операндом, а не левым. Мемоническая подсказка: двоеточие находится со стороны типа новой коллекции.
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Definition Classes | SeqOps |
|---|
Source
override def reduceLeft[B >: A](f: (B, A) => B): B
Специализация reduceLeft для LazyList, которая позволяет сборщику мусора собирать значения по ходу выполнения.
| Type parameters |
|
|---|---|
| Value parameters |
|
| Returns | Накопленное значение от последовательных применений |
| Definition Classes | IterableOnceOps |
Source
Возвращает новый ленивый список с элементами в обратном порядке.
Примечание: не будет завершаться для бесконечных коллекций.
Примечание: Даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно вычислены.
Этот метод вычисляет все элементы коллекции.
| Definition Classes | SeqOps |
|---|
Source
Создает ленивый список, содержащий кумулятивные результаты применения оператора слева направо, включая начальное значение.
Примечание: не будет завершаться для бесконечных коллекций.
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Definition Classes | IterableOps -> IterableOnceOps |
|---|
Source
Выбирает интервал элементов. Полученный ленивый список состоит из всех элементов x, которые удовлетворяют следующему условию:
from <= indexOf(x) < until
Этот метод не вычисляет ничего до тех пор, пока над результатом не будет выполнена операция (например, вызов head или tail, или проверка на пустоту). Кроме того, он сохраняет ленивость для всех, кроме первых from элементов.
| Definition Classes | IterableOps -> IterableOnceOps |
|---|
Source
Группирует элементы в блоки фиксированного размера, пропуская «скользящее окно» по ним (в отличие от разбиения, как в grouped).
Возвращаемый итератор будет пустым, когда вызывается на пустой коллекции. Последний элемент, который генерирует итератор, может быть меньше размера окна, если исходная коллекция не исчерпана окном до его конца и его последний элемент не пропущен шагом перед ним.
Итератор, возвращаемый этим методом, в основном сохраняет ленивость; size - step max 1 элементов, находящихся перед итератором, оцениваются.
| Definition Classes | IterableOps |
|---|
Source
Остальная часть коллекции без ее первого элемента.
| Definition Classes | LinearSeqOps -> IterableOps |
|---|
Source
Выбирает первые n элементов.
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Definition Classes | IterableOps -> IterableOnceOps |
|---|
Source
Выбирает последние n элементов.
Этот метод не вычисляет ничего до тех пор, пока над результатом не будет выполнена операция (например, вызов head или tail, или проверка на пустоту).
| Definition Classes | IterableOps |
|---|
Source
Возвращает наибольший префикс элементов, удовлетворяющих предикату.
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Definition Classes | IterableOps -> IterableOnceOps |
|---|
Source
Применяет функцию со побочным эффектом к каждому элементу в этой коллекции. Строгие коллекции применят f к своим элементам немедленно, в то время как ленивые коллекции, такие как представления и LazyLists, будут применять f к каждому элементу только тогда, когда этот элемент будет вычисляться, и каждый раз, когда этот элемент будет вычисляться.
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Definition Classes | IterableOps -> IterableOnceOps |
|---|
Source
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Returns |
строковое представление этой коллекции. Неопределённое состояние представлено как
|
|---|---|
| Definition Classes | Seq -> Function1 -> Iterable -> Any |
Source
Транспонирует этот ленивый список итерируемых коллекций в ленивый список ленивых списков.
Тип результирующей коллекции будет определяться статическим типом ленивого списка. Например:
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 |
|---|
Исходный код
Преобразует этот ленивый список пар в две коллекции первой и второй половины каждой пары.
val xs = `LazyList`(
(1, "one"),
(2, "two"),
(3, "three")).unzip
// xs == (`LazyList`(1, 2, 3),
// `LazyList`(one, two, three))
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Классы определений | IterableOps |
|---|
Исходный код
Преобразует этот ленивый список троек в три коллекции первого, второго и третьего элемента каждой тройки.
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 |
|---|
Исходный код
Копия этого ленивого списка с одним заменённым элементом.
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Классы определений | SeqOps |
|---|
Исходный код
Объект, позволяющий GC головки ленивого списка во время обработки.
Этот метод не очень полезен для ленивого списка, так как filter уже сохраняет ленивость.
Возвращаемый этим методом объект WithFilter сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Классы определений | IterableOps |
|---|
Исходный код
Возвращает ленивый список, сформированный из этого ленивого списка и другой коллекции, комбинируя соответствующие элементы парами. Если одна из двух коллекций длиннее другой, оставшиеся элементы игнорируются.
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Классы определений | IterableOps |
|---|
Исходный код
Возвращает ленивый список, сформированный из этого ленивого списка и другой коллекции, комбинируя соответствующие элементы парами. Если одна из двух коллекций короче другой, для расширения короткой коллекции до длины длинной используются плейсхолдерные элементы.
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Классы определений | IterableOps |
|---|
Исходный код
Сопоставляет этот ленивый список с его индексами.
Этот метод сохраняет ленивость; элементы оцениваются индивидуально только по мере необходимости.
| Классы определений | 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 |
|---|
Исходный код
Добавляет все элементы этой коллекции в строковый буфер. Записываемый текст состоит из строковых представлений (относительно метода 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
| Параметры |
|
|---|---|
| Возвращает | строковый буфер |
| Наследуется из | IterableOnceOps |
Исходный код
Добавляет все элементы этой коллекции в строковый буфер, используя разделительную строку. Записываемый текст состоит из строковых представлений (относительно метода 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
| Параметры |
|
|---|---|
| Возвращает | строковый буфер |
| Наследуется из | IterableOnceOps |
Исходный код
Компонует эту частичную функцию с другой частичной функцией, которая применяется к результатам этой частичной функции.
Обратите внимание, что вызов isDefinedAt на результирующей частичной функции может применить первую частичную функцию и выполнить её побочный эффект. Для повышения эффективности рекомендуется использовать applyOrElse вместо isDefinedAt или apply.
| Тип параметров |
|
|---|---|
| Параметры значений |
|
| Возвращает | частичная функция с областью определения этой частичной функции, суженной другими частичными функциями, которая отображает аргументы |
| Унаследовано от | PartialFunction |
Источник
override def andThen[C](k: A => C): PartialFunction[A, C]
Компонует эту частичную функцию с функцией преобразования, которая применяется к результатам этой частичной функции.
Если тип выполнения функции является PartialFunction, то используется другой метод andThen (обратите внимание на его предостережения).
| Тип параметров |
|
|---|---|
| Параметры значений |
|
| Возвращает | частичная функция с областью определения этой частичной функции, возможно, суженной указанной функцией, которая отображает аргументы |
| Классы определения | PartialFunction -> Function1 |
| Унаследовано от | PartialFunction |
Источник
Получить элемент по указанному индексу. Эта операция предоставляется для удобства в 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. Это может привести к улучшению производительности и более предсказуемому поведению с точки зрения побочных эффектов.
| Параметры значений |
|
|---|---|
| Возвращает | результат применения этой функции или функции обратного вызова. |
| Унаследовано от | PartialFunction |
Источник
Метод, который должен вызываться из каждой хорошо спроектированной функции equals, которая может быть переопределена в подклассе. См. Programming in Scala, Глава 28 для обсуждения и проектирования.
| Параметры значений |
|
|---|---|
| Возвращает | true, если этот экземпляр может быть равен |
| Унаследовано от | Seq |
Источник
Итерируется по комбинациям. _Комбинация_ длины n — это подпоследовательность исходной последовательности, с элементами, взятыми в порядке. Таким образом, "xy" и "yy" являются комбинациями длины 2 из "xyy", но "yx" нет. Если существует более одного способа сгенерировать ту же подпоследовательность, будет возвращен только один.
Например, "xyyy" имеет три разных способа сгенерировать "xy" в зависимости от того, какой первый, второй или третий "y" выбран. Однако, поскольку все они идентичны, будет выбран только один. Какой из трех будет выбран, является деталью реализации, которая не определена.
Примечание: даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно использоваться.
| Возвращает | Итератор, который проходит по возможным комбинациям из n элементов этой последовательности. |
|---|---|
| Пример |
|
| Унаследовано от | SeqOps |
Источник
Компонует другую частичную функцию k с этой частичной функцией таким образом, что эта частичная функция применяется к результатам k.
Обратите внимание, что вызов isDefinedAt для результирующей частичной функции может применить первую частичную функцию и выполнить ее побочный эффект. Для повышения эффективности рекомендуется использовать applyOrElse вместо isDefinedAt или apply.
| Тип параметров |
|
|---|---|
| Параметры значений |
|
| Возвращает | частичная функция с областью определения другой частичной функции, суженной этой частичной функцией, которая отображает аргументы |
| Унаследовано от | PartialFunction |
Источник
Компонует два экземпляра Function1 в новую Function1, с применением этой функции в последнюю очередь.
| Тип параметров |
|
|---|---|
| Параметры значений |
|
| Возвращает | новая функция |
| Унаследовано от | Function1 |
Источник
final override def concat[B >: A](suffix: IterableOnce[B]): CC[B]
Возвращает новую последовательность, содержащую элементы из левого операнда, за которыми следуют элементы из правого операнда. Тип элемента последовательности — это наиболее специфичный суперкласс, охватывающий типы элементов двух операндов.
| Тип параметров |
|
|---|---|
| Параметры значений |
|
| Возвращает | новая последовательность, которая содержит все элементы этой последовательности, за которыми следуют все элементы |
| Классы определения | SeqOps -> IterableOps |
| Унаследовано от | SeqOps |
Источник
Проверяет, содержит ли эта последовательность заданное значение в качестве элемента.
Примечание: может не завершаться для бесконечных коллекций.
| Параметры значения |
|
|---|---|
| Возвращает |
|
| Классы определения | LinearSeqOps -> SeqOps |
| Унаследовано от | LinearSeqOps |
Источник
Проверяет, содержит ли эта последовательность заданную последовательность в качестве фрагмента.
Примечание: может не завершиться для коллекций бесконечного размера.
| Параметры значения |
|
|---|---|
| Возвращает |
|
| Унаследовано от | SeqOps |
Источник
Копирует элементы в массив, возвращая количество скопированных элементов.
Заполняет данный массив xs, начиная с индекса start, не более чем len элементами этой коллекции.
Копирование прекратится, как только будут скопированы все элементы этой коллекции, или будет достигнут конец массива, или len элементов будут скопированы.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | количество элементов, записанных в массив |
| Примечание | Повторное использование: после вызова этого метода следует отказаться от итератора, на котором он был вызван. Использование его не определено и может быть изменено. |
| Унаследовано от | IterableOnceOps |
Источник
Копирует элементы в массив, возвращая количество скопированных элементов.
Заполняет данный массив xs, начиная с индекса start значениями этой коллекции.
Копирование прекратится, как только будут скопированы все элементы этой коллекции, или будет достигнут конец массива.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | количество элементов, записанных в массив |
| Примечание | Повторное использование: после вызова этого метода следует отказаться от итератора, на котором он был вызван. Использование его не определено и может быть изменено. |
| Унаследовано от | IterableOnceOps |
Источник
Копирует элементы в массив, возвращая количество скопированных элементов.
Заполняет данный массив xs, начиная с индекса start значениями этой коллекции.
Копирование прекратится, как только будут скопированы все элементы этой коллекции, или будет достигнут конец массива.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | количество элементов, записанных в массив |
| Примечание | Повторное использование: после вызова этого метода следует отказаться от итератора, на котором он был вызван. Использование его не определено и может быть изменено. |
| Унаследовано от | IterableOnceOps |
Источник
Проверяет, удовлетворяет ли каждый элемент итератора этой коллекции соответствующему элементу другой коллекции, выполняя предикат проверки.
Примечание: не завершится для коллекций бесконечного размера.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает |
|
| Унаследовано от | IterableOnceOps |
Источник
Проверяет, удовлетворяет ли каждый элемент этой последовательности соответствующему элементу другой последовательности, выполняя предикат проверки.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает |
|
| Унаследовано от | SeqOps |
Источник
Подсчитывает количество элементов в коллекции, удовлетворяющих предикату.
Примечание: не завершится для коллекций бесконечного размера.
| Параметры значения |
|
|---|---|
| Возвращает | количество элементов, удовлетворяющих предикату |
| Унаследовано от | IterableOnceOps |
Источник
def distinct: C
Выбирает все элементы этой последовательности, игнорируя дубликаты.
| Возвращает | новая последовательность, состоящая из всех элементов этой последовательности без дубликатов. |
|---|---|
| Унаследовано от | SeqOps |
Источник
def distinctBy[B](f: A => B): C
Выбирает все элементы этой последовательности, игнорируя дубликаты, как определено == после применения функции преобразования 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]
Пустой итерируемый объект того же типа, что и этот итерируемый объект
| Возвращает | пустой итерируемый объект типа |
|---|---|
| Классы-определения | IterableFactoryDefaults -> IterableOps |
| Унаследовано от | IterableFactoryDefaults |
Source
Проверяет, заканчивается ли эта последовательность заданной последовательностью.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Параметры значения |
|
|---|---|
| Возвращает |
|
| Унаследовано от | SeqOps |
Source
Универсальный метод равенства, определенный в AnyRef.
| Классы-определения | Seq -> Equals -> Any |
|---|---|
| Унаследовано от | Seq |
Source
Проверяет, выполняется ли предикат хотя бы для одного элемента этой последовательности.
Примечание: может не завершаться для коллекций бесконечного размера.
| Параметры значения |
|
|---|---|
| Возвращает |
|
| Классы-определения | LinearSeqOps -> IterableOnceOps |
| Унаследовано от | LinearSeqOps |
Source
Находит последний элемент последовательности, удовлетворяющий предикату, если таковой существует.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Параметры значения |
|
|---|---|
| Возвращает | значение Option, содержащее последний элемент в последовательности, удовлетворяющий |
| Классы-определения | LinearSeqOps -> SeqOps |
| Унаследовано от | LinearSeqOps |
Source
def fold[A1 >: A](z: A1)(op: (A1, A1) => A1): A1
Складывает элементы этой коллекции с помощью указанного ассоциативного бинарного оператора. Реализация по умолчанию в IterableOnce эквивалентна foldLeft, но может быть переопределена для более эффективных порядков обхода.
Порядок выполнения операций над элементами не определён и может быть не детерминированным.
Примечание: не завершится для коллекций бесконечного размера.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | результат применения оператора слияния |
| Унаследовано от | IterableOnceOps |
Источник
def foldRight[B](z: B)(op: (A, B) => B): B
Применяет бинарный оператор ко всем элементам этой коллекции и начальному значению, двигаясь справа налево.
Примечание: не завершится для коллекций бесконечного размера.
Примечание: может возвращать разные результаты для разных запусков, если тип базовой коллекции не упорядочен или оператор не ассоциативен и коммутативен.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | результат вставки |
| Унаследовано от | IterableOnceOps |
Источник
Проверяет, выполняется ли предикат для всех элементов этой последовательности.
Примечание: может не завершиться для коллекций бесконечного размера.
| Параметры значения |
|
|---|---|
| Возвращает |
|
| Классы-определения | LinearSeqOps -> IterableOnceOps |
| Унаследовано от | LinearSeqOps |
Источник
protected def fromSpecific(coll: IterableOnce[A]): CC[A]
Определяет, как преобразовать заданную Iterable[A] в коллекцию типа C.
Этот процесс может выполняться строго или нестрого (т. е. без вычисления элементов результирующих коллекций). Другими словами, этот метод определяет модель вычисления коллекции.
| Примечание |
При реализации пользовательского типа коллекции и уточнении Как видно из аннотации |
|---|---|
| Унаследовано от | IterableFactoryDefaults |
Источник
Разбивает эту итерируемую коллекцию на карту итерируемых коллекций в соответствии с функцией-дискриминатором.
Примечание: даже при применении к представлению или ленивой коллекции элементы всегда будут форсированы.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает |
Карта от ключей к итерируемым коллекциям, при этом выполняется следующее инвариантное свойство: (xs groupBy f)(k) = xs filter (x => f(x) == k) То есть каждый ключ |
| Унаследовано от | IterableOps |
Source
Разделяет эту итерируемую коллекцию на карту итерируемых коллекций в соответствии с функцией-дискриминатором 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)
Примечание: Даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно вычисляться.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Унаследовано от | 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
Вычисляет значение хэш-кода для объекта.
Алгоритм хэширования по умолчанию зависит от платформы.
Обратите внимание, что для двух объектов разрешается иметь одинаковые хэш-коды (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]
Возвращает первый элемент, если он существует.
| Возвращает | первый элемент этой последовательности, если она не пуста, |
|---|---|
| Классы-определения | LinearSeqOps -> IterableOps |
| Унаследовано от | LinearSeqOps |
Source
Находит индекс первого вхождения некоторого значения в этой последовательности.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | индекс |
| Унаследовано от | SeqOps |
Source
Находит индекс первого вхождения некоторого значения в этой последовательности после или в определенной начальной точке.
| Тип параметров |
|
|---|---|
| Параметры значения |
|
| Возвращает | индекс |
| Унаследовано от | SeqOps |
Источник
Находит первый индекс, где эта последовательность содержит заданную последовательность как срез.
Примечание: для коллекций бесконечного размера может не завершаться.
| Параметры значения |
|
|---|---|
| Возвращает | первый индекс |
| Унаследовано от | SeqOps |
Источник
Находит первый индекс после или на начальном индексе, где эта последовательность содержит заданную последовательность как срез.
Примечание: для коллекций бесконечного размера может не завершаться.
| Параметры значения |
|
|---|---|
| Возвращает | первый индекс |
| Унаследовано от | SeqOps |
Источник
Находит индекс первого элемента, удовлетворяющего некоторому предикату после или на определенном начальном индексе.
Примечание: для коллекций бесконечного размера может не завершаться.
| Параметры значения |
|
|---|---|
| Возвращает | индекс |
| Классы определения | LinearSeqOps -> SeqOps |
| Унаследовано от | LinearSeqOps |
Источник
Находит индекс первого элемента, удовлетворяющего некоторому предикату.
Примечание: для коллекций бесконечного размера может не завершаться.
| Параметры значения |
|
|---|---|
| Возвращает | индекс |
| Унаследовано от | SeqOps |
Источник
Создает диапазон всех индексов этой последовательности.
Примечание: Даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно вычисляться.
| Возвращает | значение |
|---|---|
| Унаследовано от | SeqOps |
Источник
def init: C
Начальная часть коллекции без ее последнего элемента.
Примечание: Даже при применении к представлению или ленивой коллекции элементы всегда будут принудительно вычисляться.
| Наследуется от | IterableOps |
|---|
Источник
Итерируется по начальным фрагментам (inits) этого итерируемого набора. Первое значение будет этим итерируемым набором, а последнее — пустым итерируемым набором, а промежуточные значения — результатами последовательных применений init.
Примечание: даже при применении к представлению или ленивому набору элементы всегда будут принудительно вычислены.
| Возвращает | итератор всех начальных фрагментов (inits) этого итерируемого набора |
|---|---|
| Пример |
|
| Наследуется от | IterableOps |
Источник
Проверяет, содержит ли эта последовательность данный индекс.
Реализации методов apply и isDefinedAt преобразуют Seq[A] в PartialFunction[Int, A].
| Параметры |
|
|---|---|
| Возвращает |
|
| Классы-определения | LinearSeqOps -> SeqOps |
| Наследуется от | LinearSeqOps |
Источник
override def isTraversableAgain: Boolean
Проверяет, можно ли повторно пройти по этому итерируемому набору. Всегда истинно для Iterables и ложно для Iterators, если не переопределено.
| Возвращает |
|
|---|---|
| Классы-определения | IterableOps -> IterableOnceOps |
| Наследуется от | IterableOps |
Источник
override def last: A
Выбирает последний элемент.
| Возвращает | Последний элемент этой последовательности. |
|---|---|
| Исключения |
|
| Классы-определения | LinearSeqOps -> IterableOps |
| Наследуется от | LinearSeqOps |
Источник
Находит индекс последнего вхождения некоторого значения в этой последовательности перед или в заданном конечном индексе.
Примечание: не будет завершаться для бесконечных коллекций.
| Параметры типа |
|
|---|---|
| Параметры |
|
| Возвращает | индекс |
| Наследуется от | SeqOps |
Источник
Находит последний индекс, где эта последовательность содержит заданную последовательность в качестве фрагмента.
Примечание: не будет завершаться для бесконечных коллекций.
| Параметры значения |
|
|---|---|
| Возвращает | последний индекс, такой что элементы этой последовательности, начиная с этого индекса, соответствуют элементам последовательности |
| Унаследовано от | SeqOps |
Исходный код
Находит последний индекс перед или на заданном индексе конца, где эта последовательность содержит заданную последовательность как срез.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Параметры значения |
|
|---|---|
| Возвращает | последний индекс |
| Унаследовано от | SeqOps |
Исходный код
Находит индекс последнего элемента, удовлетворяющего некоторому предикату перед или на заданном индексе конца.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Параметры значения |
|
|---|---|
| Возвращает | индекс |
| Классы определений | LinearSeqOps -> SeqOps |
| Унаследовано от | LinearSeqOps |
Исходный код
Находит индекс последнего элемента, удовлетворяющего некоторому предикату.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Параметры значения |
|
|---|---|
| Возвращает | индекс последнего элемента этой последовательности, удовлетворяющего предикату |
| Унаследовано от | SeqOps |
Исходный код
def lastOption: Option[A]
Возможный выбор последнего элемента.
Примечание: может возвращать разные результаты для разных запусков, если тип базовой коллекции не упорядочен.
| Возвращает | последний элемент этой итерационной коллекции, если она не пуста, |
|---|---|
| Унаследовано от | IterableOps |
Исходный код
Длина (количество элементов) последовательности. size является псевдонимом для length в коллекциях Seq.
| Унаследовано от | LinearSeqOps |
|---|
Исходный код
Сравнивает длину этой последовательности с размером другой Iterable.
| Параметры значения |
|
|---|---|
| Возвращаемое значение |
Значение x < 0 if this.length < that.size x == 0 if this.length == that.size x > 0 if this.length > that.size Реализация этого метода не вызывает напрямую |
| Определяющие классы | LinearSeqOps -> SeqOps |
| Унаследовано от | LinearSeqOps |
Исходный код
Сравнивает длину этой последовательности со значением-тестом.
| Параметры значения |
|
|---|---|
| Возвращаемое значение |
Значение x < 0 if this.length < len x == 0 if this.length == len x > 0 if this.length > len Реализация этого метода не вызывает напрямую |
| См. также | |
| Определяющие классы | 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 |
|---|
Исходный код
Преобразует эту частичную функцию в обычную функцию, возвращающую результат Option.
| Возвращаемое значение | функция, которая принимает аргумент |
|---|---|
| См. также | Function.unlift |
| Унаследовано от | PartialFunction |
Исходный код
Находит максимальный элемент.
Примечание: не завершит работу для коллекций бесконечного размера.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращаемое значение | наибольший элемент этой коллекции относительно упорядочения |
| Исключения |
|
| Унаследовано от | IterableOnceOps |
Исходный код
Находит первый элемент, который дает наибольшее значение, измеренное функцией f.
Примечание: не завершит работу для коллекций бесконечного размера.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращаемое значение | первый элемент этой коллекции с наибольшим значением, измеренным функцией f относительно упорядочения |
| Исключения |
|
| Унаследовано от | IterableOnceOps |
Source
Находит первый элемент, который возвращает наибольшее значение, измеренное функцией f.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | значение типа option, содержащее первый элемент этой коллекции с наибольшим значением, измеренным функцией f относительно порядка |
| Унаследовано от | IterableOnceOps |
Source
Находит наибольший элемент.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | значение типа option, содержащее наибольший элемент этой коллекции относительно порядка |
| Унаследовано от | IterableOnceOps |
Source
Находит наименьший элемент.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | наименьший элемент этой коллекции относительно порядка |
| Исключения |
|
| Унаследовано от | IterableOnceOps |
Source
Находит первый элемент, который возвращает наименьшее значение, измеренное функцией f.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | первый элемент этой коллекции с наименьшим значением, измеренным функцией f относительно порядка |
| Исключения |
|
| Унаследовано от | IterableOnceOps |
Source
Находит первый элемент, который возвращает наименьшее значение, измеренное функцией f.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Тип параметров |
|
|---|---|
| Параметры значения |
|
| Возвращает | значение Option, содержащее первый элемент этого набора с наименьшим значением, измеренным функцией f относительно порядка |
| Унаследовано от | IterableOnceOps |
Источник
Находит наименьший элемент.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Тип параметров |
|
|---|---|
| Параметры значения |
|
| Возвращает | значение Option, содержащее наименьший элемент этого набора относительно порядка |
| Унаследовано от | IterableOnceOps |
Источник
Отображает все элементы этого набора в строке.
Делегирует addString, который может быть переопределен.
| Возвращает | строковое представление этого набора. В результирующей строке строковые представления (относительно метода |
|---|---|
| Унаследовано от | IterableOnceOps |
Источник
Отображает все элементы этого набора в строке с использованием разделительной строки.
Делегирует addString, который может быть переопределен.
| Параметры значения |
|
|---|---|
| Возвращает | строковое представление этого набора. В результирующей строке строковые представления (относительно метода |
| Пример |
|
| Унаследовано от | IterableOnceOps |
Источник
Отображает все элементы этого набора в строке с использованием начальной, конечной и разделительной строк.
Делегирует addString, который может быть переопределен.
| Параметры значения |
|
|---|---|
| Возвращает | строковое представление этого набора. Результирующая строка начинается со строки |
| Пример |
|
| Унаследовано от | IterableOnceOps |
Источник
protected def newSpecificBuilder: Builder[A, CC[A]]
| Возвращает | строгий билдер для того же типа коллекции. Обратите внимание, что в случае ленивых коллекций (например, scala.collection.View или scala.collection.immutable.LazyList) реализовать этот метод возможно, но полученный |
|---|---|
| Примечание |
При реализации пользовательского типа коллекции и уточнении Как показывает аннотация |
| Унаследовано от | IterableFactoryDefaults |
Источник
Проверяет, не пуста ли коллекция.
| Возвращает |
|
|---|---|
| Унаследовано от | IterableOnceOps |
Источник
Комбинирует данную частичную функцию со вспомогательной частичной функцией, которая применяется в тех случаях, когда данная частичная функция не определена.
| Тип параметров |
|
|---|---|
| Параметры значения |
|
| Возвращает | частичная функция, у которой область определения является объединением областей определения этой частичной функции и |
| Унаследовано от | PartialFunction |
Источник
def permutations: Iterator[C]
Перебирает различные перестановки.
Примечание: даже когда применяется к представлению или ленивой коллекции, она всегда принудительно обрабатывает элементы.
| Возвращает | Итератор, проходящий по различным перестановкам этой последовательности. |
|---|---|
| Пример |
|
| Унаследовано от | SeqOps |
Источник
Умножает элементы этой коллекции.
Примечание: не будет завершаться для коллекций бесконечного размера.
| Тип параметров |
|
|---|---|
| Параметры значения |
|
| Возвращает | произведение всех элементов этой коллекции относительно оператора |
| Унаследовано от | IterableOnceOps |
Источник
def reduce[B >: A](op: (B, B) => B): B
Приводит элементы этой коллекции к одному значению с помощью указанного ассоциативного бинарного оператора.
Порядок выполнения операций над элементами не определен и может быть недетерминированным.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | Результат применения оператора reduce |
| Бросает |
|
| Унаследовано от | IterableOnceOps |
Источник
def reduceLeftOption[B >: A](op: (B, A) => B): Option[B]
Применяет бинарный оператор ко всем элементам этой коллекции слева направо (по желанию).
Примечание: не завершится для коллекций бесконечного размера.
Примечание: может возвращать разные результаты для разных запусков, если тип базовой коллекции не упорядочен или оператор не ассоциативен и не коммутативен.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | значение опционального типа, содержащее результат |
| Унаследовано от | IterableOnceOps |
Источник
def reduceOption[B >: A](op: (B, B) => B): Option[B]
Сокращает элементы этой коллекции (если есть) с использованием указанного ассоциативного бинарного оператора.
Порядок выполнения операций над элементами не определён и может быть не детерминированным.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | Значение опционального типа, содержащее результат применения оператора reduce |
| Унаследовано от | IterableOnceOps |
Источник
def reduceRight[B >: A](op: (A, B) => B): B
Применяет бинарный оператор ко всем элементам этой коллекции справа налево.
Примечание: не завершится для коллекций бесконечного размера.
Примечание: может возвращать разные результаты для разных запусков, если тип базовой коллекции не упорядочен или оператор не ассоциативен и не коммутативен.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | результат вставки |
| Бросает |
|
| Унаследовано от | IterableOnceOps |
Источник
def reduceRightOption[B >: A](op: (A, B) => B): Option[B]
Применяет бинарный оператор ко всем элементам этой коллекции справа налево (по желанию).
Примечание: не завершится для коллекций бесконечного размера.
Примечание: может возвращать разные результаты для разных запусков, если тип базовой коллекции не упорядочен или оператор не ассоциативен и не коммутативен.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | значение опционального типа, содержащее результат |
| Унаследовано от | IterableOnceOps |
Источник
def reverseIterator: Iterator[A]
Итератор, возвращающий элементы в обратном порядке.
Примечание: не завершится для коллекций бесконечного размера.
Примечание: xs.reverseIterator то же самое, что и xs.reverse.iterator, но может быть более эффективным.
| Возвращает | Итератор, возвращающий элементы этой последовательности в обратном порядке |
|---|---|
| Унаследовано от | SeqOps |
Источник
| Унаследовано от | IterableOnceOps |
|---|
Источник
Компонует эту частичную функцию с функцией действия, которая применяется к результатам этой частичной функции. Функция действия вызывается только для своих побочных эффектов; её результат игнорируется.
Обратите внимание, что выражение pf.runWith(action)(x) эквивалентно
if(pf isDefinedAt x) { action(pf(x)); true } else false
за исключением того, что runWith реализуется с помощью applyOrElse и, следовательно, потенциально более эффективна. Использование runWith предотвращает двойное вычисление совпадений шаблонов и условий для литералов частичной функции.
| Параметры значения |
|
|---|---|
| Возвращает | функция, которая отображает аргументы |
| См. также |
|
| Унаследовано от | PartialFunction |
Источник
Являются ли элементы этой коллекции такими же (и в том же порядке), как элементы that?
| Классы определения | LinearSeqOps -> SeqOps |
|---|---|
| Унаследовано от | LinearSeqOps |
Источник
def scan[B >: A](z: B)(op: (B, B) => B): CC[B]
Вычисляет префиксное сканирование элементов коллекции.
Примечание: нейтральный элемент z может применяться более одного раза.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | новая итерируемая коллекция, содержащая префиксное сканирование элементов в этой итерируемой коллекции |
| Унаследовано от | 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)
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | коллекция с промежуточными результатами |
| Унаследовано от | IterableOps |
Source
Поиск в заданном интервале в этом отсортированном последовательности определенного элемента. Если эта последовательность является IndexedSeq, используется двоичный поиск. В противном случае используется линейный поиск.
Последовательность должна быть отсортирована с использованием того же Ordering перед вызовом; в противном случае результаты будут неопределенными.
| Параметры значения |
|
|---|---|
| Возвращает | значение |
| См. также |
scala.collection.SeqOps, метод |
| Примечание | Если |
| Унаследовано от | SeqOps |
Source
Поиск этого отсортированного последовательности определенного элемента. Если последовательность является IndexedSeq, используется двоичный поиск. В противном случае используется линейный поиск.
Последовательность должна быть отсортирована с использованием того же Ordering перед вызовом; в противном случае результаты будут неопределенными.
| Параметры значения |
|
|---|---|
| Возвращает | значение |
| См. также |
scala.collection.SeqOps, метод |
| Унаследовано от | SeqOps |
Source
Вычисляет длину самой длинной последовательности, которая начинается с некоторого индекса, и все элементы которой удовлетворяют некоторому предикату.
Примечание: может не завершаться для коллекций бесконечного размера.
| Параметры значения |
|
|---|---|
| Возвращает | длину самой длинной последовательности в этой последовательности, начинающейся с индекса |
| Классы определения | LinearSeqOps -> SeqOps |
| Унаследовано от | LinearSeqOps |
Source
Вычисляет длину самой длинной последовательности, которая начинается с первого элемента, и все элементы которой удовлетворяют некоторому предикату.
Примечание: может не завершаться для коллекций бесконечного размера.
| Параметры значения |
|
|---|---|
| Возвращает | длину самой длинной последовательности в этой последовательности, которая начинается с первого элемента, такая, что каждый элемент последовательности удовлетворяет предикату |
| Унаследовано от | SeqOps |
Source
Размер этой последовательности.
Примечание: не завершится для коллекций бесконечного размера.
| Возвращает | количество элементов в этом последовательности. |
|---|---|
| Классы определения | SeqOps -> IterableOnceOps |
| Унаследовано от | SeqOps |
Источник
Сравнивает размер этой последовательности с размером другой Iterable.
| Параметры значения |
|
|---|---|
| Возвращает |
Значение x < 0 if this.size < that.size x == 0 if this.size == that.size x > 0 if this.size > that.size Реализация метода здесь не вызывает |
| Классы определения | SeqOps -> IterableOps |
| Унаследовано от | SeqOps |
Источник
Сравнивает размер этой последовательности со значением теста.
| Параметры значения |
|
|---|---|
| Возвращает |
Значение x < 0 if this.size < otherSize x == 0 if this.size == otherSize x > 0 if this.size > otherSize Реализация метода здесь не вызывает |
| См. также | |
| Классы определения | 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 |
|---|
Источник
Группирует элементы в блоки фиксированного размера, пропуская "скользящее окно" над ними (в отличие от разбиения их, как это делается в grouped.)
Пустая коллекция возвращает пустой итератор, а непустая коллекция, содержащая меньше элементов, чем размер окна, возвращает итератор, который будет генерировать исходную коллекцию в качестве единственного элемента.
| Параметры значения |
|
|---|---|
| Возвращает | Итератор, генерирующий итерируемые коллекции размера |
| См. также | scala.collection.Iterator, метод |
| Пример |
|
| Унаследовано от | IterableOps |
Источник
Сортирует эту последовательность в соответствии с Ordering, полученной из преобразования заданного неявно Ordering с помощью функции преобразования.
Примечание: не завершится для коллекций бесконечного размера.
Примечание: Даже при применении к представлению или ленивому набору он всегда будет принудительно форсировать элементы.
Сортировка устойчивая. То есть, элементы, которые равны (как определено в ord.compare), появляются в отсортированной последовательности в том же порядке, что и в исходной.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | последовательность, состоящую из элементов этой последовательности, отсортированных в соответствии с порядком, где |
| См. также | |
| Пример |
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 |
Источник
Сортирует эту последовательность в соответствии с функцией сравнения.
Примечание: не завершит работу для бесконечных наборов.
Примечание: Даже при применении к представлению или ленивому набору он всегда будет принудительно форсировать элементы.
Сортировка устойчивая. То есть, элементы, которые равны (как определено в lt), появляются в отсортированной последовательности в том же порядке, что и в исходной.
| Параметры значения |
|
|---|---|
| Возвращает | последовательность, состоящую из элементов этой последовательности, отсортированных в соответствии с функцией сравнения |
| Пример |
List("Steve", "Tom", "John", "Bob").sortWith(_.compareTo(_) < 0) =
List("Bob", "John", "Steve", "Tom")
|
| Унаследовано от | SeqOps |
Источник
Сортирует эту последовательность в соответствии с порядком.
Сортировка устойчивая. То есть, элементы, которые равны (как определено в ord.compare), появляются в отсортированной последовательности в том же порядке, что и в исходной.
| Параметры значения |
|
|---|---|
| Возвращает | последовательность, состоящую из элементов этой последовательности, отсортированных в соответствии с порядком |
| См. также | scala.math.Ordering Примечание: Даже при применении к представлению или ленивому набору он всегда будет принудительно форсировать элементы. |
| Унаследовано от | SeqOps |
Источник
Разделяет этот итерируемый набор на пару префикс/суффикс в соответствии с предикатом.
Примечание: c span p эквивалентно (но, возможно, более эффективно, чем) (c takeWhile p, c dropWhile p), при условии, что вычисление предиката p не вызывает побочных эффектов.
Примечание: может возвращать разные результаты для разных запусков, если только тип базового набора не упорядочен.
| Параметры значения |
|
|---|---|
| Возвращает | пара, состоящая из самого длинного префикса этого итерируемого набора, чьи элементы все удовлетворяют |
| Унаследовано от | IterableOps |
Источник
Разделяет этот итерируемый набор на пару префикс/суффикс в заданной позиции.
Примечание: c splitAt n эквивалентно (но, возможно, более эффективно, чем) (c take n, c drop n).
Примечание: может возвращать разные результаты для разных запусков, если только тип базового набора не упорядочен.
| Параметры значения |
|
|---|---|
| Возвращает | пара итерируемых наборов, состоящая из первых |
| Классы определений | IterableOps -> IterableOnceOps |
| Унаследовано от | IterableOps |
Источник
Проверяет, содержит ли эта последовательность заданную последовательность в заданном индексе.
Примечание: Если как получающий объект this, так и аргумент that являются бесконечными последовательностями, этот метод может не завершиться.
| Параметры значения |
|
|---|---|
| Возвращает |
|
| Унаследовано от | SeqOps |
Источник
Возвращает 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 |
|---|
Источник
Суммирует элементы этого набора.
Примечание: не завершит работу для бесконечных наборов.
| Параметры типа |
|
|---|---|
| Параметры значения |
|
| Возвращает | сумма всех элементов этого набора относительно оператора |
| Унаследовано от | IterableOnceOps |
Источник
Итерирует по хвостам этой последовательности. Первое значение будет этой последовательностью, а последнее — пустой последовательностью, при этом промежуточные значения будут результатом последовательных применений tail.
| Возвращает | итератор по всем хвостам этой последовательности |
|---|---|
| Пример |
|
| Классы определений | LinearSeqOps -> IterableOps |
| Унаследовано от | LinearSeqOps |
Источник
При заданном фабрике коллекций factory, преобразуйте эту коллекцию в соответствующее представление для текущего типа элемента A. Примеры использования:
xs.to(List) xs.to(ArrayBuffer) xs.to(BitSet) // для xs: Iterable[Int]
| Унаследовано от | IterableOnceOps |
|---|
Источник
Преобразовать коллекцию в массив.
Примечание к реализации: НЕ вызывайте Array.from из этого метода.
| Унаследовано от | IterableOnceOps |
|---|
Источник
| Унаследовано от | IterableOnceOps |
|---|
Источник
def toIndexedSeq: IndexedSeq[A]
| Унаследовано от | IterableOnceOps |
|---|
Источник
| Унаследовано от | IterableOnceOps |
|---|
Источник
| Унаследовано от | IterableOnceOps |
|---|
Источник
| Возвращает | Эту коллекцию как |
|---|---|
| Классы определения | Seq -> IterableOnceOps |
| Унаследовано от | Seq |
Источник
| Унаследовано от | IterableOnceOps |
|---|
Источник
| Унаследовано от | IterableOnceOps |
|---|
Источник
Попытка извлечь B из A в выражении сопоставления с образцом.
| Унаследовано от | PartialFunction |
|---|
Источник
Представление элементов этой коллекции.
| Классы определения | 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