Question

您能否解释一下为什么下面的Scala quasiquote的两个用法在result1和result2之间提供不同的输出？是否可以使用quasiquote重现result3？即解析字符串内容并对其进行评估？

import scala.tools.reflect.ToolBox
import scala.reflect.runtime.universe._

val miniSrc = "val lst = (1 to 5).toList ; val sum = lst.foldLeft(0)(_ + _); sum"

val tree1 = q"$miniSrc"
//tree1: reflect.runtime.universe.Tree = "val lst = (1 to 5).toList ; val sum = lst.foldLeft(0)(_ + _); sum"

val tree2 = q"val lst = (1 to 5).toList ; val sum = lst.foldLeft(0)(_ + _); sum"
//tree2: reflect.runtime.universe.Tree =
//{
//  val lst = 1.to(5).toList;
//  val sum = lst.foldLeft(0)(((x$1, x$2) => x$1.$plus(x$2)));
//  sum
//}

val tb = scala.reflect.runtime.currentMirror.mkToolBox()
val result1 = tb.eval(tree1)
//result1: Any = val lst = (1 to 5).toList ; val sum = lst.foldLeft(0)(_ + _); sum

val result2 = tb.eval(tree2)
//result2: Any = 15

val result3 = tb.eval(tb.parse(miniSrc))
//result3: Any = 15

Answer 1

您能否解释为什么下面的Scala quasiquote的两个用法在result1和result2之间提供不同的输出？

miniSrc是文字String而不是Tree。 q"{$miniSrc}" 提升 miniSrc，将文字String提升到另一个Tree。提升不会将任意代码解析为Tree，它只是将树或其他类型拼接到树中。因此，tree1是Tree，其中包含文字String。

这个例子应该很好地说明为什么将文字字符串提升到树中不应该涉及任何解析：

scala> val miniSrc = "abc"
miniSrc: String = abc

scala> val tree1 = q"$miniSrc"
tree1: reflect.runtime.universe.Tree = "abc"

tree2本质上是不同的，因为您使用quasiquotes插值器直接创建Tree。因此，result1只是一个文字字符串，但result2是tree2中某些已执行代码的结果。

是否可以使用quasiquotes重现result3？即解析字符串内容并对其进行评估？

不，这就是解析的目的。如果要将任意代码作为字符串文字提升为quasiquotes，则必须首先将其解析为Tree。否则，它只是一个文字。

scala> val tree1 = q"${tb.parse(miniSrc)}"
tree1: tb.u.Tree =
{
  val lst = 1.to(5).toList;
  val sum = lst.foldLeft(0)(((x$1, x$2) => x$1.$plus(x$2)));
  sum
}

使用宏时，不是说，您可以使用宏Context进行解析。也就是c.parse（而不是使用ToolBox）。

Quasiquote解释树内容而不是字面意思

1 个答案: