Пакет scala.reflect

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

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

Например:

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

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

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