我试图通过宏生成一些暗示 – 宏的浓缩版本如下所示：
object Implicits {
def generate(c:Context):c.Expr[Unit]={
import c.universe._
c.Expr[Unit] {
q"""
object Dud{
implicit val p:java.io.File = new java.io.File("/tmp")
def toString():String ={ "Dud here" }
}
import Dud._
"""
}
}
}
我正在使用宏：
object ImplicitTest extends App {
def genImplicits = macro Implicits.generate
genImplicits
val f: File = implicitly[File]
println(f)
}
测试挽救了抱怨
ImplicitTest.scala could not find implicit value for parameter e: java.io.File [error] val f: File = implicitly[File] [error] ^
这个宏我做错了什么？
解决方法
对宏方法的调用将扩展为类似的内容(我通过在返回表达式之前打印表达式,以及在向toString定义添加覆盖之后生成此文本)：
{
object Dud extends scala.AnyRef {
def <init>() = {
super.<init>();
()
};
implicit val p: java.io.File = new java.io.File("/tmp");
override def toString(): String = "Dud here"
};
import Dud._;
()
}
请注意,这不会将任何内容带入ImplicitTest主体的范围. Dud对象和导入都在一个块内,当你到达val f：File =隐式[File]行时,它们都不可用.
您可以编写一个implicit macro method,或者您可以编写一个可以应用于ImplicitTest的macro annotation,它可以添加Dud和导入,但是您不能使用def宏引入新对象或导入范围.
