Трейт scala.Proxy.Typed
Трейт Typed[T] extends Proxy
Члены-значения
final def !=(arg0: Any): Boolean
Проверка двух объектов на неравенство.
- returns
trueесли !(this == that), в противном случае false.
- Definition Classes
- Any
final def ##(): Int
Эквивалентно x.hashCode за исключением упакованных числовых типов и null. Для числовых типов возвращается значение хэша, согласованное с равенством значений: если два экземпляра типа значения сравниваются как true, то ## вернет одно и то же значение хэша для каждого из них. Для null возвращает хэш-код, где null.hashCode вызывает NullPointerException.
- returns
значение хэша, согласованное с ==
- Definition Classes
- Any
def +(other: String): String
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в any2stringadd[Typed[T]] с помощью метода any2stringadd в scala.Predef.
- Definition Classes
- any2stringadd
def ->[B](y: B): (Typed[T], B)
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в ArrowAssoc[Typed[T]] с помощью метода 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
- Any
final def asInstanceOf[T0]: T0
Приведение объекта-получателя к типу T0.
Обратите внимание, что успех приведения во время выполнения зависит от семантики стирания Scala. Поэтому выражение 1.asInstanceOf[String] выбросит ClassCastException во время выполнения, а выражение List(1).asInstanceOf[List[String]] — нет. В последнем примере, поскольку аргумент типа стирается во время компиляции, невозможно проверить, соответствуют ли элементы списка нужному типу.
- returns
объект-получатель.
- Definition Classes
- Any
- Исключения
ClassCastExceptionесли объект-получатель не является экземпляром стёртого типаT0.
def ensuring(cond: (Typed[T]) ⇒ Boolean, msg: ⇒ Any): Typed[T]
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в Ensuring[Typed[T]] с помощью метода Ensuring в scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: (Typed[T]) ⇒ Boolean): Typed[T]
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в Ensuring[Typed[T]] с помощью метода Ensuring в scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): Typed[T]
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в Ensuring[Typed[T]] с помощью метода Ensuring в scala.Predef.
- Definition Classes
- Ensuring
def ensuring(cond: Boolean): Typed[T]
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в Ensuring[Typed[T]] с помощью метода Ensuring в scala.Predef.
- Классы-определения
- Ensuring
def equals(that: Any): Boolean
Сравнивает текущий объект (this) с объектом-аргументом (that) на эквивалентность.
Любая реализация этого метода должна быть отношением эквивалентности:
-
Он рефлексивен: для любого экземпляра
x типа Any, x.equals(x) должно возвращать true.Он симметричен: для любых экземпляров x и y типа Any, x.equals(y) должно возвращать true тогда и только тогда, когда y.equals(x) возвращает true.Он транзитивен: для любых экземпляров x, y, и z типа Any если x.equals(y) возвращает true и y.equals(z) возвращает true, то x.equals(z) должно возвращать true.Если вы переопределяете этот метод, убедитесь, что ваша реализация остаётся отношением эквивалентности. Кроме того, при переопределении этого метода обычно необходимо переопределить hashCode для обеспечения того, что объекты, которые «равны» (o1.equals(o2) возвращает true), имеют одинаковый хэш-код scala.Int. (o1.hashCode.equals(o2.hashCode)).
- that
объект для сравнения на равенство с этим объектом.
- возвращает
trueесли текущий объект эквивалентен аргументу;falseв противном случае.
def formatted(fmtstr: String): String
Возвращает строку, отформатированную в соответствии с данной строкой format. Формат строк такой же, как и для String.format (@см. java.lang.String.format).
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в StringFormat[Typed[T]] с помощью метода StringFormat в scala.Predef.
- Классы-определения
- StringFormat
- Аннотации
- @inline()
def hashCode(): Int
Вычисляет хэш-код объекта.
Алгоритм хэширования по умолчанию зависит от платформы.
Обратите внимание, что для двух объектов могут быть одинаковые хэш-коды (o1.hashCode.equals(o2.hashCode)) и при этом они могут не быть равны (o1.equals(o2) возвращает false). Вырожденная реализация могла бы всегда возвращать 0. Однако, требуется, чтобы если два объекта равны (o1.equals(o2) возвращает true), то они имеют одинаковые хэш-коды (o1.hashCode.equals(o2.hashCode)). Поэтому при переопределении этого метода обязательно проверяйте, что поведение согласовано с методом equals.
- возвращает
хэш-код этого объекта.
final def isInstanceOf[T0]: Boolean
Проверяет, является ли динамический тип получаемого объекта T0.
Обратите внимание, что результат проверки зависит от стирания типов Scala. Поэтому выражение 1.isInstanceOf[String] вернет false, а выражение List(1).isInstanceOf[List[String]] вернет true. В последнем примере, из-за стирания типа во время компиляции, невозможно проверить, соответствуют ли содержимое списка указанному типу.
- возвращает
trueесли получаемый объект является экземпляром стираемого типаT0;falseв противном случае.
- Классы-определения
- Any
def toString(): String
Возвращает строковое представление объекта.
Представление по умолчанию зависит от платформы.
- возвращает
строковое представление объекта.
def →[B](y: B): (Typed[T], B)
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в ArrowAssoc[Typed[T]] с помощью метода ArrowAssoc в scala.Predef.
- Классы-определения
- 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/Proxy$$Typed.html
Прокси, который раскрывает тип, который он проксирует, через параметр типа.