Spec-Zone.ru › Scala 2.13 Library

Trait scala.Function1

Companion object Function1

trait Function1[-T1, +R] extends AnyRef

Функция от 1 параметра.

В следующем примере, определение succ является сокращением для определения анонимного класса anonfun1:

 object Main extends App {
   val succ = (x: Int) => x + 1
   val anonfun1 = new Function1[Int, Int] {
     def apply(x: Int): Int = x + 1
   }
   assert(succ(0) == anonfun1(0))
}

Обратите внимание, что разница между Function1 и scala.PartialFunction заключается в том, что последняя может указывать входы, с которыми она не будет работать.

Self Type
(T1) => R
Annotations
@implicitNotFound("Нет неявного представления от ${T1} => ${R}.")
Source
Function1.scala
Линейные надтипы
AnyRef, Any
Известные подклассы
<:<, =:=, ValueSet, PartialFunction, AbstractMap, AbstractMapView, AbstractSeq, AbstractSet, BitSet, BitSetOps, IndexedSeq, LinearSeq, Map, MapFactoryDefaults, MapOps, KeySet, MapView, Filter, FilterKeys, Id, MapValues, TapEach, Seq, SeqMap, Set, SetOps, SortedMap, SortedMapFactoryDefaults, SortedMapOps, KeySortedSet, SortedSet, SortedSetFactoryDefaults, SortedSetOps, StrictOptimizedMapOps, StrictOptimizedSetOps, StrictOptimizedSortedMapOps, StrictOptimizedSortedSetOps, Map, TrieMap, ::, AbstractMap, AbstractSeq, AbstractSet, ArraySeq, ofBoolean, ofByte, ofChar, ofDouble, ofFloat, ofInt, ofLong, ofRef, ofShort, ofUnit, BitSet, HashMap, HashSet, IndexedSeq, IntMap, LazyList, LinearSeq, List, ListMap, ListSet, Node, LongMap, Map, Map1, Map2, Map3, Map4, WithDefault, MapOps, ImmutableKeySet, Nil, NumericRange, Exclusive, Inclusive,
Очередь, Диапазон, Исключающий, Включающий, Последовательность, Последовательность-отображение, Множество, Множество1, Множество2, Множество3, Множество4, Операции над множествами, Сортированное отображение, СД-отображение, Операции над сортированными отображениями, Неизменяемый сортированный набор ключей, Сортированный набор, Операции над сортированными наборами, Cons, Пустой, StrictOptimizedMapOps, StrictOptimizedSetOps, StrictOptimizedSortedMapOps, StrictOptimizedSortedSetOps, TreeMap, TreeSeqMap, TreeSet, Вектор, Векторное отображение, Оборачивающая строка, Абстрактный буфер, Абстрактное отображение, Абстрактная последовательность, Абстрактный набор, AnyRefMap, Массивный буфер, Двусторонняя очередь, Последовательность массива, Булевых значений, байтов, символов, вещественных, плавающей точки, целых, длинных целых, ссылок, коротких целых, единиц, Битовый набор, Буфер, HashMap с предотвращением коллизий, Хеш-отображение, Хеш-множество, Индексированный буфер, Индексированная последовательность, Связанное хеш-отображение, Связанный набор ключей, Связанное хеш-множество, Буфер списков, LongMap, Отображение, СД-отображение, Операции над отображениями, Многозначное отображение, Мутабельная очередь, Мутабельная последовательность, Мутабельная последовательность-отображение, Мутабельный набор, Операции над мутабельными наборами, Сортированное мутабельное отображение, СД-отображение, Операции над сортированными мутабельными отображениями, Сортированный мутабельный набор,
SortedSetOps, Stack, StringBuilder, TreeMap, TreeSet, UnrolledBuffer, WeakHashMap, Accumulator, AnyAccumulator, DoubleAccumulator, FromJavaConsumer, FromJavaDoubleConsumer, FromJavaDoubleFunction, FromJavaDoublePredicate, FromJavaDoubleToIntFunction, FromJavaDoubleToLongFunction, FromJavaDoubleUnaryOperator, FromJavaFunction, FromJavaIntConsumer, FromJavaIntFunction, FromJavaIntPredicate, FromJavaIntToDoubleFunction, FromJavaIntToLongFunction, FromJavaIntUnaryOperator, FromJavaLongConsumer, FromJavaLongFunction, FromJavaLongPredicate, FromJavaLongToDoubleFunction, FromJavaLongToIntFunction, FromJavaLongUnaryOperator, FromJavaPredicate, FromJavaToDoubleFunction, FromJavaToIntFunction, FromJavaToLongFunction, FromJavaUnaryOperator, IntAccumulator, LongAccumulator, SystemProperties, DefaultMap, BitSet1, BitSet2, BitSetN, Stream, ListMap, OpenHashMap

Абстрактные члены

abstract def apply(v1: T1): R

Применить тело этой функции к аргументу.

возвращает

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

Члены-значения конкретного типа

final def !=(arg0: Any): Boolean

Проверка двух объектов на неравенство.

возвращает

true если !(this == that), в противном случае false.

Определяющие классы
AnyRef → Any

final def ##(): Int

Эквивалентно x.hashCode за исключением упакованных числовых типов и null. Для чисел возвращает значение хеша, согласованное с равенством значений: если два экземпляра типов значений сравниваются как true, то ## вернет одинаковое значение хеша для каждого из них. Для null возвращает хеш-код, где null.hashCode выбрасывает NullPointerException.

возвращает

значение хеша, согласованное с ==

Определяющие классы
AnyRef → Any

def +(other: String): String

Неявный
Этот член добавлен с помощью неявного преобразования из (T1) => R в any2stringadd[(T1) => R] выполненное методом any2stringadd в scala.Predef.
Определяющие классы
any2stringadd

def ->[B](y: B): ((T1) => R, B)

Неявный
Этот член добавлен с помощью неявного преобразования из (T1) => R в ArrowAssoc[(T1) => R] выполненное методом ArrowAssoc в scala.Predef.Это преобразование произойдет только в том случае, если R является подклассом Option[Nothing] (R <: Option[Nothing]).
Определяющие классы
ArrowAssoc
Аннотации
@inline()

final def ==(arg0: Any): Boolean

Выражение x == that эквивалентно if (x eq null) that eq null else x.equals(that).

возвращает

true если объект-получатель эквивалентен аргументу; false в противном случае.

Определяющие классы
AnyRef → Any

def andThen[A](g: (R) => A): (T1) => A

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

A

тип результата функции g

g

функция R => A

возвращает

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

Аннотации
@unspecialized()

final def asInstanceOf[T0]: T0

Преобразование объекта-получателя к типу T0.

Обратите внимание, что успех преобразования во время выполнения определяется в соответствии с семантикой стирания Scala. Поэтому выражение 1.asInstanceOf[String] выбросит ClassCastException во время выполнения, в то время как выражение List(1).asInstanceOf[List[String]] не выбросит. В последнем примере, поскольку аргумент типа стирается во время компиляции, невозможно проверить, соответствуют ли содержимое списка запрошенному типу.

возвращает

объект-получатель.

Определяющие классы
Any
Исключения

ClassCastException, если объект-получатель не является экземпляром стирания типа T0.

def clone(): AnyRef

Создает копию объекта-получателя.

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

возвращает

копию объекта-получателя.

Атрибуты
protected[java.lang]
Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.CloneNotSupportedException]) @native()
Примечание

не указано SLS как член AnyRef

def compose[A](g: (A) => T1): (A) => R

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

A

тип, к которому может быть применена функция g

g

функция A => T1

возвращает

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

Аннотации
@unspecialized()

def ensuring(cond: ((T1) => R) => Boolean, msg: => Any): (T1) => R

Неявный
Этот член добавлен неявным преобразованием из (T1) => R вEnsuring[(T1) => R] с помощью метода Ensuring в scala.Predef.
Определяющие классы
Ensuring

def ensuring(cond: ((T1) => R) => Boolean): (T1) => R

Неявный
Этот член добавлен неявным преобразованием из (T1) => R вEnsuring[(T1) => R] с помощью метода Ensuring в scala.Predef.
Определяющие классы
Ensuring

def ensuring(cond: Boolean, msg: => Any): (T1) => R

Неявный
Этот член добавлен неявным преобразованием из (T1) => R вEnsuring[(T1) => R] с помощью метода Ensuring в scala.Predef.
Определяющие классы
Ensuring

def ensuring(cond: Boolean): (T1) => R

Неявный
Этот член добавлен неявным преобразованием из (T1) => R вEnsuring[(T1) => R] с помощью метода Ensuring в scala.Predef.
Определяющие классы
Ensuring

final def eq(arg0: AnyRef): Boolean

Проверяет, является ли аргумент (that) ссылкой на объект-получатель (this).

Метод eq реализует отношение эквивалентности на непустых экземплярах AnyRef, и обладает тремя дополнительными свойствами:

    Он согласован: для любых непустых экземпляров x и y типа AnyRef, многократные вызовы x.eq(y) последовательно возвращают true или последовательно возвращают false.Для любого непустого экземпляра x типа AnyRef, x.eq(null) и null.eq(x) возвращают false. null.eq(null) возвращает true.

При переопределении методов equals или hashCode важно обеспечить согласованность их поведения со ссылочной эквивалентностью. Поэтому, если два объекта являются ссылками друг на друга (o1 eq o2), они должны быть равны друг другу (o1 == o2) и должны иметь одинаковое хэширование (o1.hashCode == o2.hashCode).

возвращает

true если аргумент является ссылкой на объект-получатель; false в противном случае.

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

def equals(arg0: AnyRef): Boolean

Метод равенства для ссылочных типов. По умолчанию делегирует вызов методу eq.

См. также equals в scala.Any.

возвращает

true если объект-получатель эквивалентен аргументу; false в противном случае.

Определяющие классы
AnyRef → Any

def finalize(): Unit

Вызывается сборщиком мусора для объекта-получателя, когда больше нет ссылок на объект.

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

Атрибуты
protected[java.lang]
Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.Throwable])
Примечание

не задано SLS как член AnyRef

def formatted(fmtstr: String): String

Возвращает строку, отформатированную в соответствии с заданной строкой форматирования. Строки форматирования аналогичны тем, что используются в String.format (@см. java.lang.String.format).

Неявный
Этот член добавлен неявным преобразованием из (T1) => R вStringFormat[(T1) => R] с помощью метода StringFormat в scala.Predef.
Определяющие классы
StringFormat
Аннотации
@inline()

final def getClass(): Class[_ <: AnyRef]

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

возвращает

объект класса, соответствующий типу получателя во время выполнения.

Определяющие классы
AnyRef → Any
Аннотации
@native()

def hashCode(): Int

Метод hashCode для ссылочных типов. См. hashCode в scala.Any.

возвращает

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

Определяющие классы
AnyRef → Any
Аннотации
@native()

final def isInstanceOf[T0]: Boolean

Проверка, является ли динамический тип объекта получателя T0.

Обратите внимание, что результат проверки учитывает стирание типов Scala. Поэтому выражение 1.isInstanceOf[String] вернёт false, в то время как выражение List(1).isInstanceOf[List[String]] вернёт true. В последнем примере, поскольку аргумент типа стирается при компиляции, невозможно проверить, содержатся ли элементы списка указанного типа.

возвращает

true , если объект получателя является экземпляром стирания типа T0; false в противном случае.

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

final def ne(arg0: AnyRef): Boolean

Эквивалентно !(this eq that).

возвращает

true , если аргумент не является ссылкой на объект получателя; false в противном случае.

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

final def notify(): Unit

Разбуживает один поток, ожидающий монитора объекта получателя.

Определяющие классы
AnyRef
Аннотации
@native()
Примечание

не указано SLS как член AnyRef

final def notifyAll(): Unit

Разбуживает все потоки, ожидающие монитора объекта получателя.

Определяющие классы
AnyRef
Аннотации
@native()
Примечание

не указано SLS как член AnyRef

final def synchronized[T0](arg0: => T0): T0

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

def toString(): String

Создаёт строковое представление этого объекта. По умолчанию представление зависит от платформы. На платформе Java это конкатенация имени класса, «@» и хэш-кода объекта в шестнадцатеричном формате.

возвращает

строковое представление объекта.

Определяющие классы
Function1 → AnyRef → Any

def unlift: PartialFunction[T1, B]

Преобразует опциональную функцию в частичную функцию.

Неявный
Этот член добавляется неявным преобразованием из (T1) => R вUnliftOps[T1, B] выполненным методом UnliftOps в scala.Function1. Это преобразование произойдёт только в том случае, если R является подклассом Option[B] (R <: Option[B]).
Определяющие классы
UnliftOps
Пример:

    В отличие от Function.unlift, этот метод UnliftOps.unlift может использоваться в экстракторах.

    val of: Int => Option[String] = { i =>
  if (i == 2) {
    Some("matched by an optional function")
  } else {
    None
  }
}

util.Random.nextInt(4) match {
  case of.unlift(m) => // Convert an optional function to a pattern
    println(m)
  case _ =>
    println("Not matched")
}

final def wait(): Unit

Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long, arg1: Int): Unit

Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long): Unit

Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException]) @native()

© 2002-2019 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://www.scala-lang.org/api/2.13.0/scala/Function1.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API