是否可以在“reify”宏的“splice”部分中捕获一些使用价值？

【问题标题】：Is it possible to capture some value for use inside of `splice` part of `reify` macro?是否可以在“reify”宏的“splice”部分中捕获一些使用价值？
【发布时间】：2013-06-18 11:09:14
【问题描述】：

例如，我有一些列表，想对其进行迭代，并对每个值进行宏转换：

reify {
  someIntListExpr.splice.foreach { i =>
    // transform is a macro of the form 'transform(c: Context)(i: c.Expr[Int]): c.Expr[Unit]
    transform(i).splice
  }
}

但是编译器会吐出错误信息：

found: Int
required: c.universe.Expr[Int]

有办法解决吗？

【问题讨论】：

标签： scala macros scala-2.10

【解决方案1】：

在简单的情况下，这可以解决问题：

someIntListExpr.splice.foreach { i =>
  transformImpl(c)(c.Expr[Int](Ident(newTermName("i")))).splice
}

或者你可以创建这样的方法

def trans(i: Int): Unit = macro transform

并应用它：

reify {
  someIntListExpr.splice.foreach { i =>
    trans(i)
  }
}

有时您实际上可以得到List[c.Expr[Unit]]。

如果您的方法 (def myMethod(l: List[Int]): unti = macro myMethodImpl) 被称为 myMethod(List(1, 2, x))，那么您可以获得 List[c.Expr[Unit]]：

def myMethodImpl(c: Context)(l: c.Expr[List[Int]]): ... = {
  import c.universe.Apply
  val es = l match {
    case Apply(_, l: List[c.Expr[Int]]) => l
  }
  ...
}

【讨论】：