Question

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

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

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

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

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

我以quantified传递什么？

Answer 1

据我了解，您需要自己创建量化符号，手动设置其签名。这是我编译-Ymacro-debug-lite时typeOf[C[_ <: Number]]打印的精简版本。也许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)))))
}

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

1 个答案: