Question

我对以下宏的行为感到困惑：

问题：我正在尝试为case classes上构建的模型编写查询引擎，用户只需指定他希望匹配的字段。< / p>

当前的方法：目前，我正在做懒惰的事情，只是利用默认的Scala模式匹配，使用宏来创建适当的match语句。代码如下：

// This is the macro code, defined in project `macros`
import scala.reflect.macros.whitebox

object QueryEngineMacros {
  import scala.language.experimental.macros
  def cimpl(c: whitebox.Context)(cs: c.Expr[CallSite], q: c.Expr[String]): c.Tree = {
    import c.universe._
    val pattern = cq"$q => true"
    q"""$cs match {
      case ${pattern}
      case _ => false
    }"""
  }

  def coincides(cs: CallSite, q: String): Boolean = macro cimpl
}

// This is the engine code, defined in project `queries` (depends on `macros`)
object QueryEngine {
  def apply(q: String, res: ExtractionResult): Seq[CallSite] =
    res.callSites.filter(cs => QueryEngineMacros.coincides(cs, q))
}

错误：这是我第一次使用Scala宏，但一切似乎都很好。它也不会抱怨依赖性。但是，我收到此错误消息：

Error:(27, 66) type mismatch;
 found   : String
 required: some.package.CallSite
    res.callSites.filter(cs => QueryEngineMacros.coincides(cs, q))

有人知道这可能是什么原因吗？

编辑：错字修复

Answer 1

抱歉，但Scala Macros不会这样做。是的Scala宏可以生成新代码，但它们在编译时运行。但你看起来想要的是在运行时生成一些代码，具体取决于传递给宏的参数q。这是不可能的。特别是行

val pattern = cq"$q => true"

不是你期望它做的。您实际生成的宏大致如下：

def apply(q: String, res: ExtractionResult): Seq[CallSite] =
    res.callSites.filter(cs => cs match {
       case q => true
       case _ => false
    })

因此，您尝试将cs类型的CallSite与q类型的String进行匹配（而不是q解释为一段代码！）即你有效地检查cs是否等于q并且编译器发现这个匹配从来都不是真的，并在错误中告诉你。

总结一下：如果你的q实际上是一个编译时常量，那么这个宏几乎没有任何好处。如果它是一个运行时变量 - 这样的宏只需要帮助。

使用Scala宏无法解释的类型不匹配

1 个答案: