Spec-Zone.ru › Scala 2.12 Library

Трейт scala.Proxy.Typed

Трейт Typed[T] extends Proxy

Прокси, который раскрывает тип, который он проксирует, через параметр типа.

Источник
Proxy.scala
Линейные супертипы
Известные подклассы

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

абстрактный def getClass(): Class[_]

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

возвращает

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

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

абстрактный def self: T

Определяющие классы
Typed → 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 в противном случае.

Классы-определения
Proxy → Any

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.

возвращает

хэш-код этого объекта.

Классы-определения
Proxy → Any

final def isInstanceOf[T0]: Boolean

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

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

возвращает

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

Классы-определения
Any

def toString(): String

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

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

возвращает

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

Классы-определения
Proxy → Any

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

Spec-Zone.ru

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