引用成员类型的 Scala 宏
Scala macros referring to a member type
我有一个成员类型的特征,并且想要一个包含此类型的签名的宏:
trait Foo {
class Bar[A] { ... }
def baz[A](x: Bar[A]): Bar[A] = macro bazImpl[A]
def bazImpl[A: c.WeakTypeTag](c: blackbox.Context)(x: c.Expr[Bar[A]]) = ...
}
这不起作用,因为 bazImpl
必须属于静态(即非成员)object
或宏包。但是在这两种情况下我都没有 foo: Foo
所以我可以写 foo.Bar[A]
。
我能想到的一种解决方法是使用 Foo#Bar[A]
并添加转换:
trait Foo {
class Bar[A] { ... }
def baz[A](x: Bar[A]): Bar[A] = Foo.baz1(x).asInstanceOf[Bar[A]]
def bazImpl[A: c.WeakTypeTag](c: blackbox.Context)(x: c.Expr[Bar[A]]) = ...
}
object Foo {
def baz1[A](x: Foo#Bar[A]): Foo#Bar[A] = macro bazImpl[A]
def bazImpl[A: c.WeakTypeTag](c: blackbox.Context)(x: c.Expr[Foo#Bar[A]]): c.Expr[Foo#Bar[A]] = ...
}
但我想避免使用它(既因为它不是完全类型安全的,也因为实际情况更复杂)。还有其他选择吗?
如果您使用的是 Scala 2.11,只需在所有地方写 c.Tree
而不是 c.Expr
。这将以几乎零成本减少在宏实现中指定与在宏定义中完全相同的类型的样板。与 exprs 相比,树的唯一潜在缺点是具体化,它要求 splicees 是 exprs,但由于现在 Scala 中的大多数元程序都是用准引号编写的,所以这对你来说可能无关紧要。
我有一个成员类型的特征,并且想要一个包含此类型的签名的宏:
trait Foo {
class Bar[A] { ... }
def baz[A](x: Bar[A]): Bar[A] = macro bazImpl[A]
def bazImpl[A: c.WeakTypeTag](c: blackbox.Context)(x: c.Expr[Bar[A]]) = ...
}
这不起作用,因为 bazImpl
必须属于静态(即非成员)object
或宏包。但是在这两种情况下我都没有 foo: Foo
所以我可以写 foo.Bar[A]
。
我能想到的一种解决方法是使用 Foo#Bar[A]
并添加转换:
trait Foo {
class Bar[A] { ... }
def baz[A](x: Bar[A]): Bar[A] = Foo.baz1(x).asInstanceOf[Bar[A]]
def bazImpl[A: c.WeakTypeTag](c: blackbox.Context)(x: c.Expr[Bar[A]]) = ...
}
object Foo {
def baz1[A](x: Foo#Bar[A]): Foo#Bar[A] = macro bazImpl[A]
def bazImpl[A: c.WeakTypeTag](c: blackbox.Context)(x: c.Expr[Foo#Bar[A]]): c.Expr[Foo#Bar[A]] = ...
}
但我想避免使用它(既因为它不是完全类型安全的,也因为实际情况更复杂)。还有其他选择吗?
如果您使用的是 Scala 2.11,只需在所有地方写 c.Tree
而不是 c.Expr
。这将以几乎零成本减少在宏实现中指定与在宏定义中完全相同的类型的样板。与 exprs 相比,树的唯一潜在缺点是具体化,它要求 splicees 是 exprs,但由于现在 Scala 中的大多数元程序都是用准引号编写的,所以这对你来说可能无关紧要。