макросы scala, генерирующие имплициты

Я пытаюсь сгенерировать некоторые имплициты с помощью макроса - сжатая версия макроса выглядит так:

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]                           ^

Что я делаю не так с этим макросом?


scala macros implicit scala-macros
person Amit    schedule 05.03.2015    source источник
comment
Основываясь на предложении @Travis Brown - я написал макрос аннотации: этот работает - также добавил его в качестве ответа.   -  person Amit    schedule 06.03.2015

Ответы (2)


arrow_upward
1
arrow_downward

Вызов метода макроса будет расширен до чего-то вроде этого (я сгенерировал этот текст, напечатав выражение перед его возвратом и после добавления override к определению toString):

{
  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].

Вы можете написать неявный метод макроса или написать макрос-аннотацию, которую можно применить к ImplicitTest, что добавит как Dud, так и импорт, но вы не можете вводить новые объекты или импортировать в область действия с помощью макроса def.

person Travis Brown    schedule 06.03.2015

arrow_upward
4
arrow_downward

Основываясь на ответе Трэвиса (спасибо), я написал макрос, используя аннотацию макроса: вот код, если он поможет кому-то еще - это доказательство концепции

@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
person Amit    schedule 06.03.2015