5

ネストされたケース クラスを出力する scala マクロがあります。reify を使用して作成された式のフラグメントを組み立てて、ネストされたケース クラスをプログラムで構築できます。

case class Foo(name: String)
case class Bar(foo: Foo)

def foo(name: String) = { 
  c.universe reify { 
    Foo(c.literal(name).splice)
  }
}

def bar(foo: Expr[Foo]) = {
  c.universe reify { 
    Bar(foo.splice)
  }
}

// output Bar(Foo("MyFoo"))
c.Expr( bar(foo("MyFoo").asInstanceOf[Expr[Foo]]).tree )

迷惑なキャストを除けば、物事はうまく機能します(どうすれば修正できますか?)。私が立ち往生しているのは、処理中のAST内でマルコが見るものに基づいてサイズが異なる内部オブジェクトのコレクションを必要とするケースクラスをマクロに出力させたいときです。

したがって、fooのシーケンスを取るクラスがある場合:

 case class Baz(foos: Seq[Foo])

私は次の行に沿って何かをしたいと思います:

def baz(foos: Seq[Expr[Foo]]): Expr[Baz] = {
  val flipped: Expr[Seq[Foo]] = ???  // convert foos from Seq[Expr[Foo]] to Expr[Seq[Foo]]
  c.universe reify {
    Baz(flipped.splice)
  }
}

// now pack any number of Foos into an output Baz as required
c.Expr(baz(Seq(foo("MyFoo1"),foo("MyFoo2"))).tree)

Seq[Expr[Foo]] を Expr[Seq[Foo]] に変換して、可変数のネストされたオブジェクトをマクロ出力にパックできるようなスプライスを行うことができません。動的に構築されたリストを具体化して、コンストラクターの引数として使用するにはどうすればよいですか?

4

1 に答える 1

6

型パラメーターを指定しreifyて、キャストを回避できます。式のシーケンスを裏返しにするのは少しトリッキーですが、大したことではありません。

case class Foo(name: String)
case class Bar(foo: Foo)
case class Baz(foos: Seq[Foo])

import scala.language.experimental.macros
import scala.reflect.macros.Context

def demo: Baz = macro demo_impl
def demo_impl(c: Context) = {
  import c.universe._

  def foo(name: String) = reify[Foo](Foo(c.literal(name).splice))
  def bar(foo: Expr[Foo]) = reify[Bar](Bar(foo.splice))

  def baz(foos: Seq[Expr[Foo]]): Expr[Baz] = {
    val flipped: Expr[Seq[Foo]] = c.Expr[Seq[Foo]](
      Apply(
        Select(reify(Seq).tree, newTermName("apply")),
        foos.map(_.tree).toList
      )
    )

    reify(Baz(flipped.splice))
  }

  baz(Seq(foo("MyFoo1"), foo("MyFoo2")))
}

とはいえ、楽園での生活ははるかに優れています。

def demo: Baz = macro demo_impl
def demo_impl(c: Context) = {
  import c.universe._

  def foo(name: String) = c.Expr(q"Foo($name)")
  def bar(foo: Expr[Foo]) = c.Expr(q"Bar($foo)")
  def baz(foos: Seq[Expr[Foo]]) = c.Expr(q"Baz(Seq(..$foos))")

  baz(Seq(foo("MyFoo1"), foo("MyFoo2")))
}

これは最初の実装とまったく同じですが、具象化と手動のツリー構築の代わりに、準引用符 (コンパイラ プラグインとして 2.10 で利用可能になりました) を使用します。

于 2013-10-31T20:18:20.933 に答える