加入收藏 | 设为首页 | 会员中心 | 我要投稿 李大同 (https://www.lidatong.com.cn/)- 科技、建站、经验、云计算、5G、大数据,站长网!
当前位置: 首页 > 综合聚焦 > 服务器 > 安全 > 正文

带参数化类型的Scala反射

发布时间:2020-12-16 18:35:06 所属栏目:安全 来源:网络整理
导读:我编写了以下函数来检查给定的单例类是否实现了特征. /** 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 = cla
我编写了以下函数来检查给定的单例类是否实现了特征.

/** 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开始:“类型关系运算符<:<和=:=应仅被视为近似值,因为类型一致性的许多方面尚未在清单中充分表示.”显然,这是一个这样的情况.

(编辑:李大同)

【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容!

    推荐文章
      热点阅读