主页 / user-7598999

Csaba Kincses's questions

Martin Hope
Csaba Kincses
Asked: 2023-08-21 22:42:15 +0800 CST
  • 5

我需要将 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
Martin Hope
Csaba Kincses
Asked: 2023-08-18 16:28:58 +0800 CST
  • 5

我创建了一个示例宏注释来测试我是否可以正确匹配案例类 TypeDef 以便稍后修改它，但它不匹配，尽管一切看起来都很好并且可以编译，如下所示：

import scala.annotation.{MacroAnnotation, experimental}
import scala.quoted.*


object Macros:
  @experimental
  class table extends MacroAnnotation:
    def transform(using Quotes)(tree: quotes.reflect.Definition): List[quotes.reflect.Definition] =
      import quotes.reflect.*
      tree match
        case td @ TypeDef(_, _) =>
          report.error(s"from macro annotation1 ${td.symbol}")
          List(tree)
        case _ =>
          report.error(s"from macro annotation2 $tree")
          List(tree)

我应用它的示例案例类：

@experimental @table
case class Person(firstName: String, lastName: String)

它总是运行第二条消息，这意味着我无法匹配 TypeDef。

我缺少什么？还需要进一步进口吗？

也尝试过tree.isInstanceOf[TypeDef]}，这按预期返回 true，这使得理解匹配失败的原因变得更加复杂。

scala