Я пытаюсь извлечь 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.
}
Проблема заключается в том, что такие требования по указанию полного имени класса в качестве привязки параметра не делают эту реализацию макроса очень полезной (никто не хочет писать этот длинный материал fqcn, особенно если имя импортировано).
Можно ли извлечь ClassSymbol по импортированному имени?
