Трейт scala.Proxy.Typed
трейт Typed[T] extends Proxy
Члены конкретных значений
final def !=(arg0: Any): Boolean
Проверка двух объектов на неравенство.
- возвращает
trueесли !(this == that), в противном случае false.
- Определяющие классы
- Any
final def ##(): Int
Эквивалентно x.hashCode за исключением упакованных числовых типов и null. Для числовых типов возвращает значение хеша, согласованное с равенством значений: если две инстанции типа значения сравниваются как true, то ## вернёт одинаковое значение хеша для каждой из них. Для null возвращает код хеша, где null.hashCode вызывает NullPointerException.
- возвращает
значение хеша, согласованное с ==
- Определяющие классы
- Any
def +(other: String): String
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в any2stringadd[Typed[T]], выполненное методом any2stringadd в scala.Predef.
- Определяющие классы
- any2stringadd
def ->[B](y: B): (Typed[T], B)
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в ArrowAssoc[Typed[T]], выполненное методом 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в противном случае.
- Определяющие классы
- Any
final def asInstanceOf[T0]: T0
Приведение типа объекта-получателя к типу T0.
Обратите внимание, что успех приведения типа во время выполнения зависит от модели стирания Scala. Следовательно, выражение 1.asInstanceOf[String] вызовет ClassCastException во время выполнения, в то время как выражение List(1).asInstanceOf[List[String]] — нет. В последнем примере, так как аргумент типа стирается во время компиляции, невозможно проверить, относятся ли содержимое списка к требуемому типу.
- возвращает
объект-получатель.
- Определяющие классы
- Any
- Исключения
ClassCastExceptionесли объект-получатель не является экземпляром стирания типаT0.
def ensuring(cond: (Typed[T]) => Boolean, msg: => Any): Typed[T]
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в Ensuring[Typed[T]], выполненное методом Ensuring в scala.Predef.
- Определяющие классы
- Ensuring
def ensuring(cond: (Typed[T]) => Boolean): Typed[T]
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в Ensuring[Typed[T]], выполненное методом Ensuring в scala.Predef.
- Определяющие классы
- Ensuring
def ensuring(cond: Boolean, msg: => Any): Typed[T]
- Неявный
- Этот член добавлен неявным преобразованием из Typed[T] в Ensuring[Typed[T]], выполненным методом Ensuring в scala.Predef.
- Классы определений
- 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 (@see 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
© 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/Proxy$$Typed.html
Прокси, который раскрывает тип, который он проксирует, через параметр типа.
(С версии 2.13.0) Явно переопределяйте hashCode, equals и toString.