Spec-Zone.ru › Scala 2.13 Library

Трейт scala.math.Equiv.Double.StrictEquiv

Компаньон объект StrictEquiv

trait StrictEquiv extends Equiv[Double]

Эквивалентность для Doubles, которая является рефлексивной (все NaNs рассматриваются как эквивалентные) и считает -0.0 и 0.0 не эквивалентными; она ведет себя так же, как java.lang.Double.compare().

Поскольку поведение Doubles, определенное стандартом IEEE, не соответствует требованиям отношения эквивалентности для NaN (оно не является рефлексивным), для Double определены две эквивалентности: StrictEquiv, которая является рефлексивной, и IeeeEquiv, которая соответствует спецификации IEEE и операциям с двойной точностью, определенным в scala.math.

Эта эквивалентность может быть предпочтительнее для коллекций.

Source
Equiv.scala
См. также

IeeeEquiv

Линейные надтипы
Equiv[Double], java.io.Serializable, AnyRef, Any
Известные подклассы
StrictEquiv, DeprecatedDoubleEquiv

Члены-значения

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

Неявный
Этот член добавлен неявным преобразованием из StrictEquiv вany2stringadd[StrictEquiv] с помощью метода any2stringadd в scala.Predef.
Определяющие классы
any2stringadd

def ->[B](y: B): (StrictEquiv, B)

Неявный
Этот член добавлен неявным преобразованием из StrictEquiv вArrowAssoc[StrictEquiv] с помощью метода 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[java.lang]
Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.CloneNotSupportedException]) @native()
Примечание

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

def ensuring(cond: (StrictEquiv) => Boolean, msg: => Any): StrictEquiv

Неявный
Этот член добавлен неявным преобразованием из StrictEquiv вEnsuring[StrictEquiv] с помощью метода Ensuring в scala.Predef.
Определяющие классы
Ensuring

def ensuring(cond: (StrictEquiv) => Boolean): StrictEquiv

Неявный
Этот член добавлен неявным преобразованием из StrictEquiv вEnsuring[StrictEquiv] выполненным методом Ensuring в scala.Predef.
Классы-определения
Ensuring

def ensuring(cond: Boolean, msg: => Any): StrictEquiv

Неявный
Этот член добавлен неявным преобразованием из StrictEquiv вEnsuring[StrictEquiv] выполненным методом Ensuring в scala.Predef.
Классы-определения
Ensuring

def ensuring(cond: Boolean): StrictEquiv

Неявный
Этот член добавлен неявным преобразованием из StrictEquiv вEnsuring[StrictEquiv] выполненным методом 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 equiv(x: Double, y: Double): Boolean

Возвращает true тогда и только тогда, когда x эквивалентно y.

Классы-определения
StrictEquiv → Equiv

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).

Неявный
Этот член добавлен неявным преобразованием из StrictEquiv вStringFormat[StrictEquiv] выполненным методом StringFormat в scala.Predef.
Классы-определения
StringFormat
Аннотации
@inline()

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

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

возвращает

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

Определяющие классы
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. В последнем примере, так как аргумент типа стирается во время компиляции, невозможно проверить, соответствуют ли содержимое списка указанному типу.

возвращает

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

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

final def ne(arg0: AnyRef): Boolean

Эквивалентно !(this eq that).

возвращает

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

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

final def notify(): Unit

Разбуживает один поток, ожидающий монитора объекта получателя.

Определяющие классы
AnyRef
Аннотации
@native()
Примечание

не указано SLS как член AnyRef

final def notifyAll(): Unit

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

Определяющие классы
AnyRef
Аннотации
@native()
Примечание

не указано SLS как член AnyRef

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

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

def toString(): String

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

возвращает

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

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

final def wait(): Unit

Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException])

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

Определяющие классы
AnyRef
Аннотации
@throws(classOf[java.lang.InterruptedException])

final def wait(arg0: Long): Unit

Определяющие классы
AnyRef
Аннотации
@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/math/Equiv$$Double$$StrictEquiv.html

Spec-Zone.ru

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