Трейт scala.reflect.Manifest

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

трейт Manifest[T] extends ClassManifest[T] with Equals

Непрозрачное описание типа T. Его использование позволяет получить информацию об эразии типа как экземпляр Class, что необходимо для создания нативных Arrays в случае, если класс неизвестен во время компиляции.

Операторы отношения типов <:< и =:= следует рассматривать как приближения, поскольку множество аспектов соответствия типов не полностью отражено в манифестах.

Примеры использования:

def arr[T] = new Array[T](0)                          // does not compile
def arr[T](implicit m: Manifest[T]) = new Array[T](0) // compiles
def arr[T: Manifest] = new Array[T](0)                // shorthand for the preceding

// Methods manifest and optManifest are in [[scala.Predef]].
def isApproxSubType[T: Manifest, U: Manifest] = manifest[T] <:< manifest[U]
isApproxSubType[List[String], List[AnyRef]] // true
isApproxSubType[List[String], List[Int]]    // false

def methods[T: Manifest] = manifest[T].runtimeClass.getMethods
def retType[T: Manifest](name: String) =
  methods[T] find (_.getName == name) map (_.getGenericReturnType)

retType[Map[_, _]]("values")  // Some(scala.collection.Iterable<B>)

Аннотации: @implicitNotFound("Нет манифеста для ${T}.")
Источник: Manifest.scala
Линейные супертипы: ClassTag[T], Equals, ClassManifestDeprecatedApis[T], OptManifest[T], java.io.Serializable, AnyRef, Any
Известные подклассы: AnyValManifest

Абстрактные члены-значения

абстрактный def runtimeClass: Class[_]

Класс, представляющий тип U, к которому будет произведена эразия T. Обратите внимание, что нет отношения подтипизации между T и U.

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

Члены конкретных значений

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

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

def ->[B](y: B): (Manifest[T], B)

Неявное: Этот член добавлен с помощью неявного преобразования из Manifest[T] вArrowAssoc[Manifest[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 в противном случае.

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

def argString: String

Атрибуты: protected
Определяющие классы: ClassManifestDeprecatedApis

def arrayClass[A](tp: Class[_]): Class[Array[A]]

Атрибуты: protected
Определяющие классы: ClassManifestDeprecatedApis

def arrayManifest: Manifest[Array[T]]

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

final def asInstanceOf[T0]: T0

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

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

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

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

def canEqual(that: Any): Boolean

Метод, который должен вызываться из каждого хорошо спроектированного метода equals, открытого для переопределения в подклассе. См. Programming in Scala, глава 28 для обсуждения и проектирования.

that: значение, проверяемое на возможность равенства
возвращает: true, если этот экземпляр потенциально может быть равен that, иначе false

Определяющие классы: Manifest → ClassTag → Equals → ClassManifestDeprecatedApis

def clone(): AnyRef

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

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

returns: копия объекта-получателя.

Attributes: protected[java.lang]
Definition Classes: AnyRef
Annotations: @throws(classOf[java.lang.CloneNotSupportedException]) @native()
Note: not specified by SLS as a member of AnyRef

def ensuring(cond: (Manifest[T]) => Boolean, msg: => Any): Manifest[T]

Implicit: Этот член добавлен неявным преобразованием из Manifest[T] в Ensuring[Manifest[T]] с помощью метода Ensuring в scala.Predef.
Definition Classes: Ensuring

def ensuring(cond: (Manifest[T]) => Boolean): Manifest[T]

Implicit: Этот член добавлен неявным преобразованием из Manifest[T] в Ensuring[Manifest[T]] с помощью метода Ensuring в scala.Predef.
Definition Classes: Ensuring

def ensuring(cond: Boolean, msg: => Any): Manifest[T]

Implicit: Этот член добавлен неявным преобразованием из Manifest[T] в Ensuring[Manifest[T]] с помощью метода Ensuring в scala.Predef.
Definition Classes: Ensuring

def ensuring(cond: Boolean): Manifest[T]

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

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

Definition Classes: AnyRef

def equals(that: Any): Boolean

Примечание: проверка на стирание здесь важна, поскольку она во много раз быстрее, чем <:< и исключает большинство сравнений.

Definition Classes: Manifest → ClassTag → Equals → AnyRef → Any

def finalize(): Unit

Вызывается сборщиком мусора для объекта-получателя, когда больше нет ссылок на объект.

Подробности о том, когда и вызывается ли метод finalize, а также взаимодействие между finalize и нелокальными возвратами и исключениями, зависят от платформы.

Attributes: protected[java.lang]
Definition Classes: AnyRef
Annotations: @throws(classOf[java.lang.Throwable])
Note: not specified by SLS as a member of AnyRef

def formatted(fmtstr: String): String

Возвращает строку, отформатированную в соответствии с заданной строкой format. Форматные строки аналогичны String.format (@см. java.lang.String.format).

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

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

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

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

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

def hashCode(): Int

Метод hashCode для ссылочных типов. См. hashCode в scala.Any.

возвращает: значение кода хэширования для этого объекта.

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

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

def newArray(len: Int): Array[T]

Создаёт новый массив с типом элемента T и длиной len

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

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 это конкатенация имени класса, «@» и хэш-кода объекта в шестнадцатеричном формате.

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

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

def typeArguments: List[Manifest[_]]

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

def unapply(x: Any): Option[T]

Класс ClassTag[T] может служить извлекателем, который соответствует только объектам типа T.

Компилятор пытается преобразовать необработанные тесты типов в совпадениях шаблонов в проверенные, обернув шаблон типа (_: T) в ct(_: T), где ct — экземпляр ClassTag[T]. Тесты типов, необходимые перед вызовом других извлекателей, обрабатываются аналогично. SomeExtractor(...) преобразуется в ct(SomeExtractor(...)), если T в SomeExtractor.unapply(x: T) не проверяется, но у нас есть экземпляр ClassTag[T].

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

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

def wrap: ClassTag[Array[T]]

Создаёт ClassTag, который знает, как создать экземпляр Array[Array[T]]

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

© 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/reflect/Manifest.html