Трейт scala.reflect.Manifest

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

А Manifest[T] — это неявный дескриптор типа 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, classManifest, 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: ClassManifest] = classManifest[T].erasure.getMethods
def retType[T: ClassManifest](name: String) =
  methods[T] find (_.getName == name) map (_.getGenericReturnType)

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

Аннотации: @implicitNotFound( msg = "No Manifest available for ${T}." )
Источник: Manifest.scala

Линейные надтипы

Известные подклассы

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

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

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

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

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

final def !=(arg0: Any): Boolean

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

returns: true если !(this == that), в противном случае false.

Definition Classes: AnyRef → Any

final def ##(): Int

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

returns: значение хеша, соответствующее ==

Definition Classes: AnyRef → Any

def +(other: String): String

Неявный: Этот член добавлен неявным преобразованием из Manifest[T] в any2stringadd[Manifest[T]], выполненным методом any2stringadd в scala.Predef.
Definition Classes: any2stringadd

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

Неявный: Этот член добавлен неявным преобразованием из Manifest[T] в ArrowAssoc[Manifest[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: AnyRef → Any

def argString: String

Атрибуты: protected
Definition Classes: ClassManifestDeprecatedApis

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

Атрибуты: protected
Definition Classes: ClassManifestDeprecatedApis

def arrayManifest: Manifest[Array[T]]

Definition Classes: Manifest → ClassManifestDeprecatedApis

final def asInstanceOf[T0]: T0

Приведение объекта-приёмника к типу T0.

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

returns: объект-приёмник.

Definition Classes: Any
Исключения: ClassCastException если объект-приёмник не является экземпляром стираемого типа T0.

def canEqual(that: Any): Boolean

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

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

Definition Classes: Manifest → ClassTag → Equals → ClassManifestDeprecatedApis

def clone(): AnyRef

Создать копию объекта-приёмника.

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

returns: копия объекта-приёмника.

Attributes: protected[lang]
Definition Classes: AnyRef
Annotations: @throws( ... ) @native()
Примечание: не указано SLS как член AnyRef

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

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

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

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

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

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

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

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

final def eq(arg0: AnyRef): Boolean

Проверяет, является ли аргумент (that) ссылкой на получаемый объект (this).

Метод eq реализует отношение эквивалентности на не-null экземплярах 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(that: Any): Boolean

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

Определения классов: Manifest → ClassTag → Equals → 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).

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

final def getClass(): Class[_]

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

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

Определяющие классы: 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 → ClassManifestDeprecatedApis

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

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

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

final def wait(arg0: Long): Unit

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

def wrap: ClassTag[Array[T]]

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

Definition Classes: ClassTag

def →[B](y: B): (Manifest[T], B)

Неявный: Этот член добавлен неявным преобразованием из Manifest[T] в ArrowAssoc[Manifest[T]], выполненным методом ArrowAssoc в scala.Predef.
Definition Classes: 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/reflect/Manifest.html