Припустимо, ми хочемо написати макрос, який визначає анонімний клас з деякими членами типу або методами, а потім створює екземпляр цього класу, який статично набраний як структурний тип із цими методами тощо. Це можливо для макросистеми в 2.10. 0, а частина члена типу надзвичайно проста:
object MacroExample extends ReflectionUtils {
import scala.language.experimental.macros
import scala.reflect.macros.Context
def foo(name: String): Any = macro foo_impl
def foo_impl(c: Context)(name: c.Expr[String]) = {
import c.universe._
val Literal(Constant(lit: String)) = name.tree
val anon = newTypeName(c.fresh)
c.Expr(Block(
ClassDef(
Modifiers(Flag.FINAL), anon, Nil, Template(
Nil, emptyValDef, List(
constructor(c.universe),
TypeDef(Modifiers(), newTypeName(lit), Nil, TypeTree(typeOf[Int]))
)
)
),
Apply(Select(New(Ident(anon)), nme.CONSTRUCTOR), Nil)
))
}
}
(Де ReflectionUtils
є ознака зручності, яка надає мій constructor
метод.)
Цей макрос дозволяє нам вказати ім'я члена типу анонімного класу як рядкового літералу:
scala> MacroExample.foo("T")
res0: AnyRef{type T = Int} = $1$$1@7da533f6
Зауважте, що він належним чином набраний. Ми можемо підтвердити, що все працює так, як очікувалося:
scala> implicitly[res0.T =:= Int]
res1: =:=[res0.T,Int] = <function1>
Тепер припустимо, що ми намагаємось зробити те ж саме методом:
def bar(name: String): Any = macro bar_impl
def bar_impl(c: Context)(name: c.Expr[String]) = {
import c.universe._
val Literal(Constant(lit: String)) = name.tree
val anon = newTypeName(c.fresh)
c.Expr(Block(
ClassDef(
Modifiers(Flag.FINAL), anon, Nil, Template(
Nil, emptyValDef, List(
constructor(c.universe),
DefDef(
Modifiers(), newTermName(lit), Nil, Nil, TypeTree(),
c.literal(42).tree
)
)
)
),
Apply(Select(New(Ident(anon)), nme.CONSTRUCTOR), Nil)
))
}
Але коли ми це випробуємо, ми не отримуємо структурного типу:
scala> MacroExample.bar("test")
res1: AnyRef = $1$$1@da12492
Але якщо ми дотримуємося додаткового анонімного класу там:
def baz(name: String): Any = macro baz_impl
def baz_impl(c: Context)(name: c.Expr[String]) = {
import c.universe._
val Literal(Constant(lit: String)) = name.tree
val anon = newTypeName(c.fresh)
val wrapper = newTypeName(c.fresh)
c.Expr(Block(
ClassDef(
Modifiers(), anon, Nil, Template(
Nil, emptyValDef, List(
constructor(c.universe),
DefDef(
Modifiers(), newTermName(lit), Nil, Nil, TypeTree(),
c.literal(42).tree
)
)
)
),
ClassDef(
Modifiers(Flag.FINAL), wrapper, Nil,
Template(Ident(anon) :: Nil, emptyValDef, constructor(c.universe) :: Nil)
),
Apply(Select(New(Ident(wrapper)), nme.CONSTRUCTOR), Nil)
))
}
Це працює:
scala> MacroExample.baz("test")
res0: AnyRef{def test: Int} = $2$$1@6663f834
scala> res0.test
res1: Int = 42
Це дуже зручно, це дозволяє робити такі речі , як це , наприклад, але я не розумію , чому це працює, і версія роботи члени типу, але не bar
. Я знаю, це може бути не визначеною поведінкою , але чи має це сенс? Чи є більш чіткий спосіб отримати структурний тип (з методами на ньому) з макросу?