scala宏生成隐式答案

【问题标题】：scala macros generating implicitsscala宏生成隐式
【发布时间】：2015-05-07 13:01:44
【问题描述】：

我正在尝试通过宏生成一些隐式 - 宏的压缩版本如下所示：

object Implicits {
  def generate(c:Context):c.Expr[Unit]={
    import c.universe._
    c.Expr[Unit] {
      q"""
           object Dud{
            implicit val p:java.io.File = new java.io.File("/tmp")
             def toString():String ={ "Dud here" }
          }
          import Dud._
      """
    }
  }
}

我正在使用宏：

object ImplicitTest extends App {
  def genImplicits = macro Implicits.generate
  genImplicits
  val f: File = implicitly[File]
  println(f)
}

测试退出抱怨

ImplicitTest.scala could not find implicit value for parameter e: java.io.File
[error]   val f: File = implicitly[File]
[error]                           ^

我对这个宏做错了什么？

【问题讨论】：

基于@Travis Brown 的建议-我编写了注释宏：这个有效-也将其添加为答案。

标签： scala macros implicit scala-macros

【解决方案1】：

根据 Travis 的回答（谢谢），我使用宏注释编写了宏：如果它可以帮助其他人，这是代码 - 这是概念证明

@compileTimeOnly("enable macro paradise to expand macro annotations")
class defaultFileMacro extends StaticAnnotation {
  def macroTransform(annottees: Any*) = macro DefaultMacro.impl
}

object DefaultMacro {
  def impl(c: Context)(annottees: c.Expr[Any]*): c.Expr[Any] = {
    import c.universe._
    val inputs:List[Tree] = annottees.map(_.tree).toList
     val tree= inputs(0)
     val q"val $list:List[$t]= $files" = tree
      print(show(q"""implicit val fl1:$t = $files(0)"""))
     c.Expr[Any] {
     q"""
            implicit val fl1:$t = $files(0)
      """
    }
  }
}

用法：

object ImplicitTest extends App {
  def findDefaultFile() = {
    @defaultFileMacro val list: List[File] = List(new File("/tmp"))
    val f: File = implicitly[File]
    println(f)
  }
  findDefaultFile()
}

运行

> run-main ImplicitTest
[info] Running ImplicitTest 
/tmp

【讨论】：

【解决方案2】：

对宏方法的调用将扩展为这样的内容（我通过在返回表达式之前打印该表达式并在 toString 定义中添加 override 之后生成此文本）：

{
  object Dud extends scala.AnyRef {
    def <init>() = {
      super.<init>();
      ()
    };
    implicit val p: java.io.File = new java.io.File("/tmp");
    override def toString(): String = "Dud here"
  };
  import Dud._;
  ()
}

请注意，这不会将任何内容带入ImplicitTest 的正文中。 Dud 对象和导入都在一个块内，当您到达 val f: File = implicitly[File] 行时，它们都不可用。

你可以写一个implicit macro method，或者你可以写一个macro annotation，你可以应用到ImplicitTest，这将添加Dud和导入，但是你不能引入新的对象或导入到范围内带有def 宏。

【讨论】：