如何在 Scala 中创建类型对象的集合

Question

基本上，我想要一个按类型对象索引的 Map。在本例中，我尝试使用 Class 作为“类型类型”。

以下代码：

class SuperClass {}
val typemap = new HashMap[Class[_ <: SuperClass], SuperClass]

def insertItem1[T <: SuperClass] (item : T) = typemap += classOf[T] -> item
def insertItem2[T <: SuperClass] (item : T) = typemap += item.getClass -> item

无法编译，因为 (1) classOf[T] 显然无效：

error: class type required but T found

并且 (2) item.getClass 的类型错误：

Type mismatch, expected: Class[_ <: SuperClass], actual: Class[_]

我看到两种方法可以实现此目的：
要么放弃类型要求并仅使用 Class[_]
或者使用 Manifest 而不是 Class （还不确定如何做到这一点，欢迎提供任何示例）

但更一般地说，为什么 classOf[T] 无效，以及如何获取参数化类型的类对象？

更新：我发现我可以使用item.getClass.asInstanceOf[Class[T]]来获取类对象。一方面，这很丑陋。对于两个来说，它没有多大帮助，因为稍后在代码中我有这样的函数：

def isPresent[T <: SuperClass] = typemap contains classOf[T]

显然，我可以在 insertItem 中使用 asInstanceOf 方法并将该类作为参数传递给 存在。有更好的办法吗？

Answer 1

您可以使用清单来实现此目的：

class TypeMap extends HashMap[Class[_], Any] {
    def putThing[T](t: T)(implicit m: Manifest[T]) = put(m.erasure, t)
}

val map = new TypeMap
map.putThing(4)
map.get(classOf[Int]) // returns Option[Any] = Some(4)

您将通过擦除丢失类型，因此您需要使用清单将隐式参数添加到包含类名称的 putThing 中。

Answer 2

问题再次是泛型在运行时不可用。编译器会执行找出 T 是什么的任务，但它不能，因为它只能在运行时知道。

您可以使用清单来获取该信息： 什么是 Scala 中的清单以及何时需要它？。