Пакет scala.reflect

A ClassTag[T] хранит стёртый класс заданного типа T, доступный через поле runtimeClass. Это особенно полезно для создания экземпляров Array с типами элементов, неизвестными на этапе компиляции.

ClassTag — это более слабое частное случая scala.reflect.api.TypeTags#TypeTag, так как они оборачивают только класс времени выполнения заданного типа, тогда как TypeTag содержит всю статическую информацию о типе. То есть ClassTag строятся, зная только верхний класс типа, не обязательно зная все его аргументы типа. Эта информация времени выполнения достаточна для создания экземпляров Array во время выполнения.

Например:

scala> def mkArray[T : ClassTag](elems: T*) = Array[T](elems: _*)
mkArray: [T](elems: T*)(implicit evidence$1: scala.reflect.ClassTag[T])Array[T]

scala> mkArray(42, 13)
res0: Array[Int] = Array(42, 13)

scala> mkArray("Japan","Brazil","Germany")
res1: Array[String] = Array(Japan, Brazil, Germany)

См. scala.reflect.api.TypeTags для получения дополнительных примеров или руководство по отражению: TypeTags, чтобы узнать больше подробностей.

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

OptManifest[T] — это необязательный scala.reflect.Manifest.

Он либо Manifest , либо значение NoManifest.

ClassManifest[T] — это непрозрачный дескриптор типа T. Он используется компилятором для сохранения информации, необходимой для создания экземпляров Arrays в тех случаях, когда тип элемента неизвестен на этапе компиляции.

Операторы отношений типов стремятся представить более точную картину, чем можно получить с помощью стёртых типов, но нельзя полагаться на них для получения правильных ответов. В частности, они, скорее всего, будут неправильными, когда речь идёт о вариативности или когда подтип имеет другое количество аргументов типа, чем супертип.