我编写了以下函数来检查给定的单例类是否实现了特征。
/** Given a singleton class, returns singleton object if cls implements T.
* Else returns None. */
def maybeMakeSingletonObj[T: ClassManifest](cls: Class[_]): Option[T] = {
try {
val m = classManifest[T]
val obj = cls.getField("MODULE$").get(m.erasure).asInstanceOf[AnyRef]
if (Manifest.singleType(obj) <:< m) Some(obj.asInstanceOf[T])
else None
} catch {
case e: Exception => None
}
}
此代码在以下示例中运行良好:
trait A
object B extends A
assert(maybeMakeSingletonObj[A](B.getClass()) === Some(B))
但是,在以下示例中失败:
trait A[T, R]
object B extends A[Int, Int]
assert(maybeMakeSingletonObj[A[_,_]](B.getClass()) === Some(B))
有任何想法吗?
最佳答案
来自 ScalaDoc :“类型关系运算符 <:< 和 =:= 应仅被视为近似值,因为类型一致性的许多方面尚未在 list 中充分表示。”显然,这是一个这样的案例。
关于带有参数化类型的 Scala 反射,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/6755512/