8

是否已经有或者是否有可能有一个 Scala 宏来让我访问源代码的文本？例如我想写这样的代码：

val list = List(1, 2, 3)
val (text, sum) = (list.sum).withSource{(source, sum) => (source, sum)}
// would return ("list.sum", 6)
(list.sum).withSource{(source, sum) => println(s"$source: $sum"}
// prints list.sum: 6
4

2 回答 2

8

你真的想要一个源代码还是Tree足够了？

因为Tree你可以这样使用prefix：Context

import scala.language.experimental.macros
import reflect.macros.Context

implicit class WithSourceHelper[T](source: T) {
  def withSource[R](f: (String, T) => R): R = macro withSourceImpl[T, R]
}

def withSourceImpl[T, R](c: Context)(f: c.Expr[(String, T) => R]): c.Expr[R] = {
  import c.universe.{reify, Apply}

  val source = c.prefix.tree match {
    case Apply(_, List(s)) => s
    case _ => c.abort(c.enclosingPosition, "can't find source")
  }

  reify{ f.splice.apply(c.literal(source.toString).splice, c.Expr[T](source).splice) }
}

用法：

scala> val (x, y) = (1, 2)
x: Int = 1
y: Int = 2

scala> {x + y}.withSource{ (s, r) => s"$s = $r" }
res15: String = x.+(y) = 3

scala> val list = List(1, 2, 3)
list: List[Int] = List(1, 2, 3)

scala> val (text, sum) = (list.sum).withSource{(source, sum) => (source, sum)}
text: String = list.sum[Int](math.this.Numeric.IntIsIntegral)
sum: Int = 6

scala> (list.sum).withSource{(source, sum) => println(s"$source: $sum")}
$line38.$read.$iw.$iw.$iw.list.sum[Int](math.this.Numeric.IntIsIntegral): 6
于 2013-04-12T14:01:28.047 回答
1

我无法withSource直接重用以打印源和值并返回值。不能从同一个对象本身使用withSource宏（所以我不能只在该文件中添加我稍微修改过的 withSource 版本）并且我不能withSource从 的子类中调用WithSourceHelper，从而限制了通过继承的重用。

如果有人感兴趣，这里是对 Senia 答案的补充，只需将值与源一起记录并返回值，以便可以进行其余的计算。

def logValueImpl[T](c: Context): c.Expr[T] = {
  import c.universe._
  val source = c.prefix.tree match {
    case Apply(_, List(s)) => s
    case _ => c.abort(c.enclosingPosition, "can't find source")
  }
  val freshName = newTermName(c.fresh("logValue$"))
  val valDef = ValDef(Modifiers(), freshName, TypeTree(source.tpe), source)
  val ident = Ident(freshName)
  val print = reify{
    println(c.literal(show(source)).splice + ": " + c.Expr[T](ident).splice) }
  c.Expr[T](Block(List(valDef, print.tree), ident))
}

然后我将其定义为对def p = macro Debug.logValueImpl[T]. 然后我可以这样使用：

List(1, 2, 3).reverse.p.head 
// prints: immutable.this.List.apply[Int](1, 2, 3).reverse: List(3, 2, 1)

有趣的是我可以应用两次：

List(1, 2, 3).reverse.p.p

它会告诉我logValueImpl宏做了什么：

{
  val logValue$7: List[Int] = immutable.this.List.apply[Int](1, 2, 3).reverse;
  Predef.println("immutable.this.List.apply[Int](1, 2, 3).reverse: ".+(logValue$7));
  logValue$7
}

它似乎也适用于其他宏：

f"float ${1.3f}%3.2f; str ${"foo".reverse}%s%n".p`
//prints:
{
  val arg$1: Float = 1.3;
  val arg$2: Any = scala.this.Predef.augmentString("foo").reverse;
  scala.this.Predef.augmentString("float %3.2f; str %s%%n").format(arg$1, arg$2)
}: float 1.30; str oof%n

更有趣的是，如果我使用showRaw而不是，show我什至可以看到扩展宏的树，这可能会很方便地弄清楚如何编写其他宏。

于 2013-04-16T07:58:04.390 回答