1

我有一个宏，该宏的一部分包括用其他东西替换对某个方法的每个调用。为了做到这一点，我使用 aTransformer并尝试将每个Tree进入transform方法的内容与 quasiquote 进行匹配。当我像下面这样写它时，它似乎工作。

package mypackage

object myobject {
  implicit def mymethod[T](t: Option[T]): T = ???
}

object Macros {
  import scala.language.experimental.macros
  import scala.reflect.macros.blackbox.Context

  def myMacro(c: Context)(expr: c.Tree): c.Tree = {
    import c.universe._

    val transformer = new Transformer {
      private def doSomething(value: c.Tree): TermName = {
        ???
      }
      override def transform(tree: c.Tree) = tree match {
        case q"mypackage.myobject.mymethod[..$_]($value)" => 
          val result = doSomething(value)
          q"$result"
        case _ => super.transform(tree)
      }
    }
    val transformed = transformer.transform(expr)

    ???
  }
}

但我认为您应该始终在宏中使用完全限定名称，否则您可能会遇到麻烦。所以我把它写成q"_root_.mypackage.myobject.mymethod[..$_]($value)"，但是它不再匹配并且mymethod不再替换调用。
我还查看了 scala 文档中取消引用符号的建议，但我也无法让它发挥作用。

所以我的问题是：这段代码（带有q"mypackage.myobject.mymethod[..$_]($value)"）是否总是替换所有调用mymethod而不替换任何其他方法调用？如果没有，我怎样才能使它更健壮？

4

1 回答 1

2

scala.reflect 宏不卫生，因此理论上q"mypackage.myobject.mymethod[..$_]($value)"可以由其他人匹配。

我建议将该方法与q"..$mods def $name[..$tparams](...$paramss): $tpeopt = $expr"（假设是定义，而不是声明）相匹配。您可以在name.

另一种解决方案是用注释标记方法，并在宏阶段将其删除。

于 2016-09-01T12:12:01.960 回答