为方法的参数范围提取 ClassSymbols

Question

我正在尝试为方法的所有类型参数的边界提取 ClassSymbols。

我想到的“解决方案”：

宏注解实现：

@compileTimeOnly("Compile-time only annotation")
class classSyms extends StaticAnnotation {
  def macroTransform(annottees: Any*): Any = macro impl
}

object classSyms {
  def impl(c: whitebox.Context)(annottees: c.Tree*) = {
    import c.universe._
    annottees.toList foreach {
      case q"$mods def $templatename[..$typeparams](...$paramss): $tpt = $body" =>
        typeparams foreach {
          case q"$mods type $name[..$tparams] >: $low <: $high" =>
            if (!high.isEmpty) {
              //requires FQCN, does not work with imported names
              val classSymbol = c.mirror.staticClass(high.toString)
              println(classSymbol)
            }
        }
    }
    q"..$annottees"
  }
}

示例：

package pack.age

trait Test

package another.pack.age

import pack.age._

trait Bar{
  @classSyms
  def foo[M <: pack.age.Test, T](): Unit //works ok


  @classSyms
  def baz[M <: Test, T](): Unit //throws scala.ScalaReflectionException: class Test not found.
}

问题指定完全限定 class 名称作为参数绑定的要求并没有使这个宏实现非常有用（没有人想写这个很长的 fqcn 东西，特别是如果名称是导入的）。

是否可以通过导入的名称提取ClassSymbol？

Answer 1

尝试使用c.typecheck.

替换

val classSymbol = c.mirror.staticClass(high.toString)

与

val classSymbol = c.typecheck(tq"$high", mode = c.TYPEmode).symbol.asClass

为方法的参数范围提取 ClassSymbols

Extract ClassSymbols for method's parameter bounds

scala

metaprogramming

scala-macros