EXPERIMENTAL
Eugene Burmako 著
Eugene Yokota 訳
マクロバンドル (macro bundle) は Scala 2.11.0-M4 以降のマイルストーン版に含まれる機能だ。Scala 2.10.x やマクロパラダイスには含まれない。http://www.scala-lang.org/download/ の説明にしたがって最新の 2.11 のマイルストーン版をダウンロードしてほしい。
現行の Scala 2.10.x においてマクロ実装は関数として表されている。コンパイラがマクロ定義の適用を見つけると、マクロ実装を呼び出すという単純なものだ。しかし、実際に使ってみると以下の理由によりただの関数では不十分なことがあることが分かった:
マクロバンドルは、マクロ実装を scala.reflect.macros.Macro を継承したトレイトで実装することで、これらの問題に対する解決策となる。この基底トレイトは c: Context 変数を定義してあるため、マクロ実装側のシグネチャで宣言しなくても済むようになり、モジュール化を簡単にする。将来には Macro は onInfer などのコールバックメソッドを提供するかもしれない。
Documentationtrait Macro {
val c: Context
}
バンドルで定義されたマクロ実装を参照するのは、オブジェクトで定義された実装を参照するのと同じ方法で行われる。まずバンドル名を指定して、必要ならば型引数付きでメソッドを選択する。
import scala.reflect.macros.Context
import scala.reflect.macros.Macro
trait Impl extends Macro {
def mono = c.literalUnit
def poly[T: c.WeakTypeTag] = c.literal(c.weakTypeOf[T].toString)
}
object Macros {
def mono = macro Impl.mono
def poly[T] = macro Impl.poly[T]
}
Contents
Copyright © 2011-2013 EPFL. All rights reserved.
