带有新标识符的scala宏

Question

我有一个宏，我想用它来记录执行一个可能返回有用信息的块所需的时间。所以如果我有这样的东西val y = f(x) I将更改为val y = Timed(f(x))，以获取在日志中执行函数所花费的时间。

我几乎有了我想要的，但当使用新的术语名称来避免名称冲突时，例如在t0和t1之间，我会得到一个错误：

Error:(22, 15) Can't unquote reflect.runtime.universe.TermName, consider providing an implicit instance of Liftable[reflect.runtime.universe.TermName]
         val $kk = System.nanoTime()
          ^

如何让这些freshTermNames使用准引号？

import scala.language.experimental.macros
import scala.reflect.macros.blackbox.Context
import scala.reflect.runtime.{ universe ⇒ u }
object Timed {
  def apply[T](block: ⇒ T): T = macro Timed.apply_impl[T]
  def apply_impl[T: c.WeakTypeTag](c: Context)(block: c.Expr[T]): c.Expr[T] = {
    import c.universe._
    implicit val cc: c.type = c
    val kk = u.internal.reificationSupport.freshTermName("kk")
    val t0 = c.freshName("t0")
    val t1 = c.freshName("t1")
    val tdiff = c.freshName("tdiff")
    val blk = c.freshName("blk")
    val t0n = "t0"
    println(t0)
    val res = c.Expr(
      q"""
         val $kk = System.nanoTime()
         $block
         val t1 = System.nanoTime()
         val tdiff= t1 - t0
         log.debug("Took: {}", tdiff)
         $block
       """)
    println("Timing block: ")
    println(show(res))
    res
  }
}

Answer 1

你不想要TermName，你想要Ident:

val kk = Ident(TermName("kk"))

但是，如果标识符的名称是恒定的，那么就没有理由这样构造标识符，而您本可以只写：

q"""
   val kk = System.nanoTime
   ...
"""

改变这一点可以解决这个问题，但还有其他问题。t0在准引号中是未定义的，您定义的所有其他术语名称实际上都没有任何作用。

我也不明白为什么你需要一个宏，当一个普通的方法做得很好的时候。该宏将增加代码的大小（如果您经常使用它，则会显著增加）。