如何在Scala宏中构造通配符类型？

发布时间：2020-12-16 08:43:26 所属栏目：安全来源：网络整理

导读：我无法找到如何以编程方式在 Scala宏中构造存在类型. 例如,假设我有一个ClassSymbol,它表示具有一个类型参数的类C [T]. 现在,我如何以编程方式构造类型C [_lt ;: java.lang.Number]？特别是,我不知道如何使用ExistentialType构造函数对象.看看它的签名： de

我无法找到如何以编程方式在 Scala宏中构造存在类型.

例如,假设我有一个ClassSymbol,它表示具有一个类型参数的类C [T].

现在,我如何以编程方式构造类型C [_&lt ;: java.lang.Number]？

特别是,我不知道如何使用ExistentialType构造函数对象.看看它的签名：

def apply(quantified: List[Symbol],underlying: Type): ExistentialType

我量化的是什么？

解决方法

根据我的理解,您需要自己创建量化符号,手动设置其签名.这是我编译typeOf [C [_&lt ;: Number]]时打印的-Ymacro-debug-lite的精简版本.也许Jason或Paul知道一种避免手动创建符号的快捷方式,但我不确定公共API中是否存在符号.

class C[T]

object Test extends App {
  import scala.reflect.runtime.universe._
  val c = typeOf[C[_]].typeSymbol
  val targ = build.newNestedSymbol(NoSymbol,newTypeName("_$1"),NoPosition,build.flagsFromBits(34359738384L),false)
  build.setTypeSignature(targ,TypeBounds(typeOf[Nothing],typeOf[Number]))
  println(ExistentialType(List(targ),TypeRef(c.owner.asClass.thisPrefix,c,List(TypeRef(NoPrefix,targ,Nil)))))
}

（编辑：李大同）

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