2012-01-15 95 views
1

在Scala中,我通过Scala清单抓取给定类的类型并存储它。我的问题是,我该如何检查该类型以查看原始类是从一个父类还是另一个类继承而来?如何判断一个Scala实现类型是否扩展了某个父类?

它看起来像我不能t: Class[MyParentClass]因为类型擦除进行模式匹配,如下图所示:

trait Product 
trait PerishableProduct extends Product 

class Fridge extends Product 
class Banana extends PerishableProduct 

def getProductType[P <: Product](implicit manifestP: Manifest[P]): Class[P] = 
    manifestP.erasure.asInstanceOf[Class[P]] 

val isPerishable = getProductType[Fridge] match { 
    case x: Class[PerishableProduct] => true 
    case _ => false 
} 
// ^^ warning: non variable type-argument PerishableProduct in type pattern 
// Class[PerishableProduct] is unchecked since it is eliminated by erasure 

是否有另一种伎俩我失踪?

回答

10

如何好老的反思:

def isPerishable[P](implicit m: Manifest[P]): Boolean = 
    classOf[PerishableProduct].isAssignableFrom(m.erasure) 

isPerishable[Fridge] // false 
isPerishable[Banana] // true 
+0

谢谢谢斯 - 这个作品很棒。它甚至适用于带有类型参数的特征:'classOf [GroupedPerishableProduct [_]]。isAssignableFrom(bananasType)' – 2012-01-16 08:30:04

5

的问题是,当您正在处理的类型擦除需要清单。 Manifest提供了一个简单的方法来执行此测试<:<。

println(manifest[Fridge] <:< manifest[PerishableProduct]) 
println(manifest[Banana] <:< manifest[PerishableProduct]) 

上面有直接的类型引用,所以更新getProductType但是它会被使用。

def getProductType[P <: Product](implicit manifestP: Manifest[P]): Manifest[P] = manifestP 
val isPerishable = getProductType[Fridge] <:< manifest[PerishableProduct] 
println(isPerishable) 
+0

非常感谢** Neil ** - 我以前没有遇到过'<:',它看起来非常有用。不幸的是,这对我不起作用 - 因为在比较的时候,我只有'manifestP.erasure.asInstanceOf [Class [P]]'可用,而不是'manifest [P]'。 – 2012-01-16 08:06:57

相关问题