在双引号中使用ClassSymbol [英] Using ClassSymbol in a quasiquote
本文介绍了在双引号中使用ClassSymbol的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
我有一个ClassSymbol
,我想生成一个抛出???
的零参数方法。以下是我的尝试:
假定object Test
是我们拥有的ClassSymbol
类型。
I.
val sym = //the ClassSymbol
val tpe = tq"$sym.type"
q"def foo(): $tpe = ???"
结果:
[error] stable identifier required, but Test.type found.
二.
val sym = //the ClassSymbol
val tpe = tq"${sym.name}.type"
q"def foo(): $tpe = ???"
结果:
[error] found : c.universe.TypeName
[error] required: c.universe.TermName
[error] val tpe = tq"${sym.name}.type"
III.
val sym = //the ClassSymbol
val tpe = tq"${TermName(sym.name.toString)}.type"
q"def foo(): $tpe = ???"
结果:
Compiles successfully
所以我最终使用了III方法,它看起来非常可怕。
是否有在准引号中使用ClassSymbol
的方法?
推荐答案
我们可以保存您的方法II
val tpe = tq"${sym.name.toTermName}.type"
这类似于III,但不需要手动处理字符串。
也不要忘记,除了准引号之外,您始终可以使用手动解析来构建树
val tree = tb.parse(s"def foo(): ${sym.name}.type = ???") // for macros c.parse instead of tb.parse
对于本机方法,现在最好使用ModuleSymbol
val sym = rm.moduleSymbol(Test.getClass)
或
val sym = typeOf[Test.type].termSymbol.asModule
而不是ClassSymbol
val sym0 = rm.classSymbol(Test.getClass)
或
val sym0 = typeOf[Test.type].typeSymbol.asClass
测试:
val tpe = tq"$sym.type"
val tree = q"def foo(): $tpe = ???"
tb.typecheck(tree) // no exception
我使用运行时反射,但对于宏,它类似。
如果您已有ClassSymbol
,则可以将其转换为ModuleSymbol
val sym = sym0.companionSymbol // not sym0.companion but .companionSymbol is deprecated
或
val sym = sym0.asInstanceOf[scala.reflect.internal.Symbols#ClassSymbol].sourceModule.asInstanceOf[ModuleSymbol]
或
val sym = sym0.owner.info.decl(sym0.name.toTermName)
Get the module symbol, given I have the module class, scala macro
这篇关于在双引号中使用ClassSymbol的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文