AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / coding / Perguntas / 76946375
Accepted
Csaba Kincses
Csaba Kincses
Asked: 2023-08-21 22:42:15 +0800 CST2023-08-21 22:42:15 +0800 CST 2023-08-21 22:42:15 +0800 CST

Como posso converter um Expr em uma Árvore no Scala 3?

  • 772

Eu preciso converter um Exprpara Treefazer o desenvolvimento macro do Scala 3 e ainda não encontrei um mecanismo de conversão apropriado para isso.

No Scala 2 existia um treemétodo Exprque facilitava essa tarefa a meu ver, assim:

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

Mas esse método parece ter sido removido no Scala 3.

Eu preciso disso para examinar os resultados do uso de uma expressão de aspas. Se eu usar showRaw, a saída não é detalhada, o que é um problema no meu caso:

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)}")

Isso resulta em uma saída não detalhada como esta:from macro annotation1 '{ ... }

Também tentei Printer.TreeStructure.show, que espera um Treeem vez de Expr, e é por isso que preciso da conversão mencionada, pois Printer.TreeStructure.showresultaria em uma saída detalhada.

Se houver algum método que seja detalhado e semelhante Printer.TreeStructure.showe espere um Exprcomo argumento, isso também resolveria meu problema.

scala
  • 1 1 respostas
  • 20 Views

1 respostas

  • Voted
  1. Best Answer
    Mateusz Kubuszok
    2023-08-21T23:27:11+08:002023-08-21T23:27:11+08:00

    Eu não diria .treeque foi removido - as citações do Scala 3 devem ser consideradas uma implementação completamente nova, que pode ter algumas contrapartes do conteúdo de contextos do Scala 2, mas nem sempre e mesmo quando tem, pode ter um nome diferente.

    Para se transformar Expr[A]em quotes.reflect.Treevocê deve chamá .asTerm-lo - Termé um subtipo de Tree.

    E para imprimir AST em formato bruto em vez de uma impressão bonita, pode-se fornecer (using Printer.TreeStructure)ao showmétodo de extensão (disponível quando você converte Expre Termimporta coisas de 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

relate perguntas

  • Como combinar um TypeDef em uma anotação de macro Scala 3 corretamente?

  • Spark Scala mesclando várias colunas em uma única coluna

  • Argumento de método multitipo para varargs

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    destaque o código em HTML usando <font color="#xxx">

    • 2 respostas
  • Marko Smith

    Por que a resolução de sobrecarga prefere std::nullptr_t a uma classe ao passar {}?

    • 1 respostas
  • Marko Smith

    Você pode usar uma lista de inicialização com chaves como argumento de modelo (padrão)?

    • 2 respostas
  • Marko Smith

    Por que as compreensões de lista criam uma função internamente?

    • 1 respostas
  • Marko Smith

    Estou tentando fazer o jogo pacman usando apenas o módulo Turtle Random e Math

    • 1 respostas
  • Marko Smith

    java.lang.NoSuchMethodError: 'void org.openqa.selenium.remote.http.ClientConfig.<init>(java.net.URI, java.time.Duration, java.time.Duratio

    • 3 respostas
  • Marko Smith

    Por que 'char -> int' é promoção, mas 'char -> short' é conversão (mas não promoção)?

    • 4 respostas
  • Marko Smith

    Por que o construtor de uma variável global não é chamado em uma biblioteca?

    • 1 respostas
  • Marko Smith

    Comportamento inconsistente de std::common_reference_with em tuplas. Qual é correto?

    • 1 respostas
  • Marko Smith

    Somente operações bit a bit para std::byte em C++ 17?

    • 1 respostas
  • Martin Hope
    fbrereto Por que a resolução de sobrecarga prefere std::nullptr_t a uma classe ao passar {}? 2023-12-21 00:31:04 +0800 CST
  • Martin Hope
    比尔盖子 Você pode usar uma lista de inicialização com chaves como argumento de modelo (padrão)? 2023-12-17 10:02:06 +0800 CST
  • Martin Hope
    Amir reza Riahi Por que as compreensões de lista criam uma função internamente? 2023-11-16 20:53:19 +0800 CST
  • Martin Hope
    Michael A formato fmt %H:%M:%S sem decimais 2023-11-11 01:13:05 +0800 CST
  • Martin Hope
    God I Hate Python std::views::filter do C++20 não filtrando a visualização corretamente 2023-08-27 18:40:35 +0800 CST
  • Martin Hope
    LiDa Cute Por que 'char -> int' é promoção, mas 'char -> short' é conversão (mas não promoção)? 2023-08-24 20:46:59 +0800 CST
  • Martin Hope
    jabaa Por que o construtor de uma variável global não é chamado em uma biblioteca? 2023-08-18 07:15:20 +0800 CST
  • Martin Hope
    Panagiotis Syskakis Comportamento inconsistente de std::common_reference_with em tuplas. Qual é correto? 2023-08-17 21:24:06 +0800 CST
  • Martin Hope
    Alex Guteniev Por que os compiladores perdem a vetorização aqui? 2023-08-17 18:58:07 +0800 CST
  • Martin Hope
    wimalopaan Somente operações bit a bit para std::byte em C++ 17? 2023-08-17 17:13:58 +0800 CST

Hot tag

python javascript c++ c# java typescript sql reactjs html

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve