scala - 在宏扩展时获取封闭类实例

Question

我刚刚开始使用宏，想要实现 this 中的宏。

class Queryable[T] {
 def map[U](p: T => U): Queryable[U] = macro QImpl.map[T, U]
}
object QImpl {
 def map[T: c.WeakTypeTag, U: c.WeakTypeTag]
        (c: Context)
        (p: c.Expr[T => U]): c.Expr[Queryable[U]] = ...
}

所以我想出了以下版本:

class Query[T](val value: T) {
  def map[U](func: T => U): Query[U] = macro Qry.map[T, U]
}

object Qry {
  def map[T: c.WeakTypeTag, U: c.WeakTypeTag](c: Context)(func: c.Expr[T => U]): c.Expr[Query[U]] = {
    import c.universe._
    val q"class Query($value) { ..$body }" = c.enclosingClass
    c.Expr[Query[U]](q"new Query($func($value))")
  }
}

但它失败并出现 MatchError ，据我了解 enleadingClass 在调用站点捕获它的封闭类，该类在 REPL session 中是生成的模块。那么如何从 Query 类中提取 value 字段并将其传递给 def 宏中的 func 表达式呢？

Answer 1

听起来您正在寻找c.prefix。