Scala宏中向类型构造器应用类型参数抛出TypecheckException该如何解决

你写的tq"$lstConstructor[String]"触发的错误，根本原因是类型插值的变量绑定规则不兼容Type类型对象。
你从weakTypeTag[List[String]].tpe.typeConstructor拿到的是已经经过编译器解析的Type实例，不是可以直接嵌入类型树的合法语法节点。当把这个Type对象塞进类型插值的时候，宏插值逻辑会直接把对象的toString结果拼到类型字符串里，最终生成的树经过解析后无法匹配到预期的List类型构造器，退化成了没有类型参数接受能力的Any，才会抛出“Any does not take type parameters”的无明确指向的异常。
而你手动硬编码写的tq"List[String]"能正常运行，是因为List本身是编译器可以直接识别的语法标识符，不会出现对象类型拼接的解析偏差。

有两种经过验证的可用写法，按需选择即可：

• 方案1：通过类型符号构造合法的类型树（适用于需要拿到可编译、可经过typecheck校验的类型树的场景）
  不要直接把Type实例塞进类型插值，先从Type里取出对应的原生类型符号，再把符号对应的无参类型引用嵌入插值：

  val lstConstructorType = weakTypeTag[List[String]].tpe.typeConstructor
  // 取出List本身的类符号，转换为可被类型插值识别的未应用参数的类型引用
  val lstTypeRef = lstConstructorType.typeSymbol.toType
  // 此时插值嵌入的是合法的类型引用节点，不会出现解析退化
  val appliedTree = tq"$lstTypeRef[String]"
  println(c.typecheck(appliedTree, mode = c.TYPEmode))
  

• 方案2：直接通过反射构造完整类型（适用于不需要生成宏代码树、只需要拿到类型实例的场景）
  如果最终目的只是获取带类型参数的完整Type对象，完全可以跳过类型树构造和typecheck的流程，直接用反射API构造应用了参数的类型：

  import scala.reflect.runtime.universe.{appliedType, weakTypeTag}
  val lstConstructorType = weakTypeTag[List[String]].tpe.typeConstructor
  val stringType = weakTypeTag[String].tpe
  // 直接对类型构造器应用String参数，得到完整的List[String]类型
  val fullAppliedType = appliedType(lstConstructorType, List(stringType))
  // 不需要走c.typecheck校验，本身就是编译器可识别的合法Type实例
  println(fullAppliedType)
  

内容的提问来源于stack exchange，提问作者Some Name