Spec-Zone.ru › Scala 2.12 Library

Trait 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
Линейные супертипы
Известные подклассы

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

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

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

returns

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

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

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, T2) ⇒ R в any2stringadd[(T1, T2) ⇒ R] выполненным методом any2stringadd в scala.Predef.
Определяющие классы
any2stringadd

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

Неявный
Этот член добавлен неявным преобразованием из (T1, T2) ⇒ R в ArrowAssoc[(T1, T2) ⇒ 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

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 curried: (T1) ⇒ (T2) ⇒ R

Создаёт частично применённую (curried) версию этой функции.

возвращает

функцию 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.
Определяющие классы
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: 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, T2) ⇒ R в StringFormat[(T1, T2) ⇒ 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
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( ... )

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, T2) ⇒ R, B)

Неявное
Этот член добавляется неявным преобразованием из (T1, T2) ⇒ R в ArrowAssoc[(T1, T2) ⇒ 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/Function2.html

Spec-Zone.ru

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