在scala中，是否可以将函数定义为具有pass-by-AST参数，以便函数的输入AST可以按原样传递给宏？

Question

我将使用shapeless库作为示例：

import shapeless.test.illTyped

假设我想将illType函数包装在另一个函数中，我尝试了两种不同的方法：

(按值)

  def shouldTypeError(v: String) = illTyped(v, ".*")

[ERROR] ... : exception during macro expansion: 
scala.MatchError: v (of class scala.reflect.internal.Trees$Ident)
    at shapeless.test.IllTypedMacros.applyImpl(typechecking.scala:43)

(按名称)

  def shouldTypeError(v: => String) = illTyped(v, ".*")

[ERROR ... ]: exception during macro expansion: 
scala.MatchError: v (of class scala.reflect.internal.Trees$Ident)
    at shapeless.test.IllTypedMacros.applyImpl(typechecking.scala:43)

因此，它们都没有按预期工作。这在最新的scala或dotty中是可能的吗？

Answer 1

不是的。外部函数也必须是宏

def shouldTypeError(v: String): Unit = macro shouldTypeErrorImpl

def shouldTypeErrorImpl(c: blackbox.Context)(v: c.Tree): c.Tree = {
  import c.universe._
  q"""_root_.shapeless.test.illTyped($v, ".*")"""
}