主页 / coding / 问题 / 76946375
Accepted
Csaba Kincses
Asked: 2023-08-21 22:42:15 +0800 CST

如何在 Scala 3 中将 Expr 转换为树？

  • 772

我需要将 Scala 3 宏开发转换Expr为TreeScala 3 宏开发，但我还没有找到合适的转换机制。

在 Scala 2 中，有一种tree方法Expr可以让这项任务变得简单，就像我看到的那样：

def expr_impl(c: blackbox.Context)(expr: c.Expr[AnyRef]): c.Expr[Expression] = {
    import c.universe._
    expr.tree match {
      //...
    }
}

但这个方法似乎在Scala 3中被删除了。

我需要它来检查使用 Quotes 表达式的结果。如果我使用showRaw，输出并不详细，这是我的情况的问题：

import scala.quoted.*
import scala.reflect.runtime.universe.showRaw
import quotes.reflect.*

//...

val obj: Expr[_] = '{object AnObject}
report.error(s"from macro annotation1 ${showRaw(obj)}")

这会产生如下非详细输出：from macro annotation1 '{ ... }

还尝试过Printer.TreeStructure.show，它需要 aTree而不是Expr，这就是为什么我需要提到的转换，因为这Printer.TreeStructure.show会导致详细的输出。

如果有任何详细且类似于Printer.TreeStructure.show并期望 anExpr作为参数的方法，那也可以解决我的问题。

scala

1 个回答

  1. Best Answer

    我不会说.tree被删除了——Scala 3 的 Quotes 应该被视为全新的实现，它可以有一些与 Scala 2 的 Contexts 内容对应的内容，但并不总是如此，即使有，它的命名也可能不同。

    要变成Expr[A]你quotes.reflect.Tree应该调用.asTerm它 -Term是 的子类型Tree。

    要以原始形式而不是漂亮的打印形式打印 AST，可以提供(using Printer.TreeStructure)扩展show方法（当您转换Expr为Term并从中导入内容时可用Quotes）：

    inline def printExpr[A](a: A): Unit = ${ printExprImpl[A]('{ a }) }

def printExprImpl[A: Type](expr: Expr[A])(using quotes: Quotes): Expr[Unit] = {
  import quotes.*, quotes.reflect.*
  report.info(expr.asTerm.show(using Printer.TreeStructure))
  '{ () }
}
    • 1

相关问题