Scala 2.13宏方法中如何对变长参数执行splice()？

问题原因 #

你遇到的报错核心是跨阶段求值：arguments是编译期的Seq[Expr[Any]]集合，而reify块里编写的代码是要生成到运行期执行的逻辑。直接在reify的for循环里调用argument.splice，相当于试图在运行期代码中引用编译期的Expr实例，这违反了Scala宏的阶段隔离规则，因此报错。

解决方案一：直接构建AST（推荐） #

放弃reify，改用Quasiquotes（q""）手动构建运行期代码的抽象语法树（AST），直接把每个参数的代码嵌入到生成的逻辑中：

import scala.reflect.macros.blackbox
import scala.language.experimental.macros

object LoggerMacro {
  // 对外暴露的宏入口方法
  def log(message: String, arguments: Any*): Unit = macro logImpl

  // 宏实现方法
  def logImpl(context: blackbox.Context)
             (message: context.Expr[String], arguments: context.Expr[Any]*)
  : context.universe.Expr[Unit] = {
    import context.universe._
    
    // 为每个参数生成println的AST节点
    val argPrintTrees = arguments.map(arg => q"println(${arg.tree})")
    // 组合打印message和所有参数的代码块
    val fullCode = Block(
      q"println(${message.tree})",
      argPrintTrees: _*
    )
    // 将AST转为Expr返回
    Expr[Unit](fullCode)
  }
}

这种方式完全在编译期构建运行期代码，没有跨阶段的问题，是处理复杂宏逻辑的标准做法。

解决方案二：用辅助方法配合reify（适合简单场景） #

如果坚持使用reify，可以通过一个运行期辅助方法来间接处理参数，避免在reify块中直接遍历编译期的Expr集合：

import scala.reflect.macros.blackbox
import scala.language.experimental.macros

object LoggerMacro {
  def log(message: String, arguments: Any*): Unit = macro logImpl

  def logImpl(context: blackbox.Context)
             (message: context.Expr[String], arguments: context.Expr[Any]*)
  : context.universe.Expr[Unit] = {
    import context.universe._
    
    reify {
      println(message.splice)
      // 把编译期参数splice后转为运行期序列，传给辅助方法
      LoggerMacro.printAllArgs(arguments.map(_.splice): _*)
    }
  }

  // 运行期辅助方法，负责遍历打印参数
  private def printAllArgs(args: Any*): Unit = {
    args.foreach(println)
  }
}

关于Eval的误区 #

你尝试的Eval是用来在编译期直接求值Expr得到运行期值的工具，比如在编译期计算某个表达式的结果并嵌入到生成的代码中。但你的需求是把每个参数对应的代码逻辑嵌入到运行期代码里，而不是在编译期就计算出参数的值，所以Eval并不适用这个场景。

内容的提问来源于stack exchange，提问作者Martin