Spec-Zone.ru › Scala 2.13 Library

Трейт scala.Function2

trait Function2[-T1, -T2, +R] extends AnyRef

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

В следующем примере, определение max — это сокращение для определения анонимного класса anonfun2:

 object Main extends App {
   val max = (x: Int, y: Int) => if (x < y) y else x

   val anonfun2 = new Function2[Int, Int, Int] {
     def apply(x: Int, y: Int): Int = if (x < y) y else x
   }
   assert(max(0, 1) == anonfun2(0, 1))
}
Self Type
(T1, T2) => R
Source
Function2.scala
Линейные супертипы
AnyRef, Any
Известные подклассы
FromJavaBiConsumer, FromJavaBiFunction, FromJavaBiPredicate, FromJavaBinaryOperator, FromJavaDoubleBinaryOperator, FromJavaIntBinaryOperator, FromJavaLongBinaryOperator, FromJavaObjDoubleConsumer, FromJavaObjIntConsumer, FromJavaObjLongConsumer, FromJavaToDoubleBiFunction, FromJavaToIntBiFunction, FromJavaToLongBiFunction

Абстрактные члены-значения

abstract def apply(v1: T1, v2: T2): R

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

возвращает

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

Члены конкретных значений

final def !=(arg0: Any): Boolean

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

returns

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

Definition Classes
AnyRef → Any

final def ##(): Int

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

returns

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

Definition Classes
AnyRef → Any

def +(other: String): String

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

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

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

final def ==(arg0: Any): Boolean

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

returns

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

Definition Classes
AnyRef → Any

final def asInstanceOf[T0]: T0

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

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

returns

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

Definition Classes
Any
Исключения

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

def clone(): AnyRef

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

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

returns

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

Атрибуты
protected[java.lang]
Definition Classes
AnyRef
Аннотации
@throws(classOf[java.lang.CloneNotSupportedException]) @native()
Примечание

не указано SLS в качестве члена AnyRef

def curried: (T1) => (T2) => R

Создаёт функцию в виде функции от нескольких аргументов.

returns

функция f такая, что f(x1)(x2) == apply(x1, x2)

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

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

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

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

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

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

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

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

Неявный
Этот член добавлен с помощью неявного преобразования из (T1, T2) => R кEnsuring[(T1, T2) => 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

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

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

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

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

возвращает

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

Классы определений
AnyRef → Any
Аннотации
@native()

def hashCode(): Int

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

returns

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

Definition Classes
AnyRef → Any
Annotations
@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()
Note

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

final def notifyAll(): Unit

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

Definition Classes
AnyRef
Annotations
@native()
Note

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

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

Definition Classes
AnyRef

def toString(): String

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

returns

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

Definition Classes
Function2 → AnyRef → Any

def tupled: ((T1, T2)) => R

Создаёт версию функции с кортежем: вместо 2 аргументов она принимает один аргумент типа scala.Tuple2.

returns

функцию f такую, что f((x1, x2)) == f(Tuple2(x1, x2)) == apply(x1, x2)

Annotations
@unspecialized()

final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])

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

Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@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/Function2.html

Spec-Zone.ru

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