0

我有一个宏，我想用它来记录执行一个可能返回有用的块所需的时间。因此，如果我有类似的东西， val y = f(x)我将更改为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
  }
}
4

1 回答 1

0

你不想要一个TermName，你想要一个Ident：

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

但是，如果标识符的名称是常量，那么甚至没有理由像这样构造标识符，而您可以这样写：

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

改变它会解决这个问题，但还有其他问题。t0在准引号中未定义，并且您定义的所有其他术语名称实际上都没有做任何事情。

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

于 2016-04-14T13:12:02.550 回答