Scala 宏 : How to get a Type object of a generic List

Question

我正在开发一个 Scala 宏，我希望将 Symbol 的类型与 List[T] 相匹配，其中 T code> 是给定的类型。我已经有了 T 类型参数的 Type 对象。

获取List[_]的Type对象很简单:

  val listType = c.weakTypeOf[List[_]]

有了这个我已经可以检查 typeSignature

  sourceParam.typeSignature match {
    case paramType if paramType <:< listType =>
      ....
  }

但是我想用 List[T] 检查 paramType，那么如何在使用 List[_] 和一些 Type 的地方创建一个类型 对象并使其成为一个新类型？

Answer 1

scala> val tpeList = typeOf[List[_]]
tpeList: reflect.runtime.universe.Type = scala.List[_]

scala> appliedType(tpeList, List(typeOf[Int]))
res0: reflect.runtime.universe.Type = scala.List[Int]