Spec-Zone.ru › Scala 2.12 Library

Трейт scala.Function1

трейт 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( msg = ... )
Source
Function1.scala
Линейные супертипы
Известные подклассы

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

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.
Определяющие классы
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[lang]
Определяющие классы
AnyRef
Аннотации
@throws( ... ) @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 реализует отношение эквивалентности на не-null экземплярах AnyRef, и имеет три дополнительных свойства:

    Он согласован: для любых не-null экземпляров x и y типа AnyRef, многократные вызовы x.eq(y) последовательно возвращают true или последовательно возвращают false. Для любого не-null экземпляра 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: Any): Boolean

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

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

возвращает

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

Классы определений
AnyRef → Any

def finalize(): Unit

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

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

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

не определён SLS как член AnyRef

def formatted(fmtstr: String): String

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

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

final def getClass(): Class[_]

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

возвращает

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

Классы определений
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. В последнем примере, из-за стирания типа аргумента во время компиляции, нельзя проверить, относятся ли элементы списка к указанному типу.

returns

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

Definition Classes
Any

final def ne(arg0: AnyRef): Boolean

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

returns

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

Definition Classes
AnyRef

final def notify(): Unit

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

Definition Classes
AnyRef
Annotations
@native()
Примечание

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

final def notifyAll(): Unit

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

Definition Classes
AnyRef
Annotations
@native()
Примечание

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

final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef

def toString(): String

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

returns

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

Definition Classes
Function1 → AnyRef → Any

final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

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

Definition Classes
AnyRef
Annotations
@throws( ... )

final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... ) @native()

def →[B](y: B): ((T1) ⇒ R, B)

Неявный
Этот член добавлен неявным преобразованием из (T1) ⇒ R в ArrowAssoc[(T1) ⇒ R] выполненное методом ArrowAssoc в scala.Predef.
Definition Classes
ArrowAssoc

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

Spec-Zone.ru

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