Scala - 从泛型类型获取类对象

Question

是否可以纯粹从泛型参数创建一个 Class 对象？例如：

class myclass[T] { 
  def something(): Class[_ <: T] = 
    classOf[T] //this doesn't work
}

由于类型将在运行时被删除，因此这似乎是清单的工作，但我还没有找到演示这种特殊用法的示例。我尝试了以下方法，但它也不起作用：

class myclass[T] { 
  def something()(implicit m: Manifest[T]): Class[_ <: T] = 
    m.erasure //this doesn't work
}

我怀疑此失败是由于，正如 API 指出的那样，m.erasure 结果的类型与T。

编辑：我对 T 类型并不是很感兴趣，我只需要一个 Class[_ <: T] 类型的对象来传递给中的方法hadoop 框架。

有什么指点吗？

Answer 1

def myClassOf[T:ClassTag] = implicitly[ClassTag[T]].runtimeClass

Answer 2

您可以将 m.erasure 的结果转换为 Class[T]：

class myclass[T] { 
    def something()(implicit m: Manifest[T]): Class[T] = 
        m.erasure.asInstanceOf[Class[T]]
}

这对于基本（非泛型）类型效果很好：

scala> new myclass[String]().something()
res5: Class[String] = class java.lang.String

但请注意，如果我使用实例化类型构造函数，例如 T 的 List[String]：

scala> new myclass[List[String]]().something()
res6: Class[List[String]] = class scala.collection.immutable.List

由于擦除，对于给定的所有可能实例化，只有一个 Class 对象类型构造函数。

编辑

我不确定为什么 Manifest[T].erasure 返回 Class[_] 而不是 Class[T]，但如果我有推测，我想说这是为了阻止您使用 Class 上的方法，这些方法允许您比较两个类的相等性或子类型关系，因为当 类 使用实例化的泛型类型进行参数化。

例如，

scala> classOf[List[String]] == classOf[List[Int]]
res25: Boolean = true

scala> classOf[List[String]].isAssignableFrom(classOf[List[Int]])
res26: Boolean = true

这些结果可能会让您感到惊讶和/或导致您的程序出现错误。您通常应该传递 Manifest 并比较它们，而不是以这种方式比较类，因为它们有更多信息*：

scala> manifest[List[String]] == manifest[List[Int]]
res27: Boolean = false

scala> manifest[List[String]] >:> manifest[List[Int]]
res28: Boolean = false

据我了解，Manifest 的意思是在大多数用例中取代 Class...但是，当然，如果您使用的框架需要 Class，则没有太多选择。我认为强行强制删除擦除的结果只是一种“责任确认”，您使用的是劣质产品，风险由您自己承担:)

*请注意，作为< a href="http://www.scala-lang.org/api/current/scala/reflect/Manifest.html" rel="nofollow noreferrer">Manifest 文档 说，这些清单比较运算符“应该被考虑只是近似值，因为类型一致性的许多方面尚未在清单中充分体现。”

Answer 3

.erasure 为您提供类型擦除到的类型。如果您想要完整的类型信息，您应该返回 Manifest。

scala> class MyClass[A] {
     |   def stuff(implicit m: Manifest[A]): Class[_] = m.erasure
     | }
defined class MyClass

scala> new MyClass[Int].stuff
res551: java.lang.Class[_] = int

scala> new MyClass[List[Int]].stuff
res552: java.lang.Class[_] = class scala.collection.immutable.List

scala> class MyClass[A] {
     |   def stuff(implicit m: Manifest[A]): Manifest[A] = m
     | }
defined class MyClass

scala> new MyClass[Int].stuff
res553: Manifest[Int] = Int

scala> new MyClass[List[Int]].stuff
res554: Manifest[List[Int]] = scala.collection.immutable.List[Int]