Question

我有一个宏，该宏的一部分包括用其他东西替换对某个方法的每个调用。为实现此目的，我使用Transformer并尝试将输入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的调用不再被替换。
我还查看了the scala docs中关于取消引用符号的建议，但我也无法使其工作。

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

Answer 1

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

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

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

模式匹配的鲁棒性具有拟引号的树

1 个答案: