Класс scala.unchecked

класс unchecked extends Annotation

Аннотация, указывающая, что аннотированный элемент не должен учитываться при дополнительных проверках компилятора. Примеры использования включают аннотацию объекта матча-выражения для подавления предупреждений об исчерпываемости и аннотацию аргумента типа в случае матча для подавления предупреждений об unchecked-типах.

Такое подавление следует использовать с осторожностью, без него могут возникнуть scala.MatchError или java.lang.ClassCastException во время выполнения. В большинстве случаев следует устранить предупреждение, а не подавлять его.

object Test extends App {
  // This would normally warn "match is not exhaustive"
  // because `None` is not covered.
  def f(x: Option[String]) = (x: @unchecked) match { case Some(y) => y }
  // This would normally warn "type pattern is unchecked"
  // but here will blindly cast the head element to String.
  def g(xs: Any) = xs match { case x: List[String @unchecked] => x.head }
}

Источник: unchecked.scala
С: 2.4

Линейные супертипы

Конструкторы экземпляров

новый unchecked()

Члены значений

final метод !=(arg0: Any): Boolean

Проверка двух объектов на неравенство.

возвращает: true если !(this == that), иначе false.

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

final метод ##(): Int

Эквивалентно x.hashCode за исключением упакованных числовых типов и null. Для чисел он возвращает значение хэша, которое согласуется с равенством значений: если два экземпляра типа значения сравниваются как true, то ## будет генерировать одинаковое значение хэша для каждого из них. Для null возвращает хэш-код, где null.hashCode генерирует NullPointerException.

возвращает: значение хэша, согласованное с ==

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

метод +(other: String): String

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

метод ->[B](y: B): (unchecked, B)

Неявный: Этот член добавляется неявным преобразованием из unchecked в ArrowAssoc[unchecked] выполненное методом ArrowAssoc в scala.Predef.
Определяющие классы: ArrowAssoc
Аннотации: @inline()

final метод ==(arg0: Any): Boolean

Выражение x == that эквивалентно if (x eq null) that eq null else x.equals(that).

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

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

final метод asInstanceOf[T0]: T0

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

Обратите внимание, что успех приведения типов во время выполнения зависит от семантики стирания Scala. Таким образом, выражение 1.asInstanceOf[String] вызовет ClassCastException во время выполнения, в то время как выражение List(1).asInstanceOf[List[String]] не вызовет. В последнем примере, поскольку тип аргумента стирается во время компиляции, невозможно проверить, соответствуют ли содержимое списка запрошенному типу.

возвращает: объект получателя.

Определяющие классы: Any
Исключения: ClassCastException если объект получателя не является экземпляром стирания типа T0.

метод clone(): AnyRef

Создает копию объекта получателя.

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

возвращает: копию объекта получателя.

Атрибуты: protected[lang]
Определяющие классы: AnyRef
Аннотации: @throws( ... ) @native()
Примечание: не указано SLS как член AnyRef

метод ensuring(cond: (unchecked) ⇒ Boolean, msg: ⇒ Any): unchecked

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

метод ensuring(cond: (unchecked) ⇒ Boolean): unchecked

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

метод ensuring(cond: Boolean, msg: ⇒ Any): unchecked

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

метод ensuring(cond: Boolean): unchecked

Неявное: Этот член добавлен неявным преобразованием из unchecked в Ensuring[unchecked] с помощью метода 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).

Неявное: Этот член добавлен неявным преобразованием из unchecked в StringFormat[unchecked] с помощью метода 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. В последнем примере, из-за стирания типа во время компиляции невозможно проверить, содержат ли элементы списка указанный тип.

возвращает: 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( ... )

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

Определение классов: AnyRef
Аннотации: @throws( ... )

final def wait(arg0: Long): Unit

Определение классов: AnyRef
Аннотации: @throws( ... ) @native()

def →[B](y: B): (unchecked, B)

Неявный: Этот член добавлен неявным преобразованием из unchecked в ArrowAssoc[unchecked] выполнено методом 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/unchecked.html