我可能使用了不正确的术语,但这里是我想要实现的示例。假设我有以下宏:
def generateField[T]: AnyRef =
macro generateFieldImpl[T]
def generateFieldImpl[T: c.AbsTypeTag](c: Context): c.Expr[AnyRef] = {
/**
* here I'm looking at the type T by reflection to see now many members it has
* and based on that I'm generating TupleN[Array[Byte], ...](null, ...)
* where N is number of members in class represented by type T
*/
}
我打算只使用案例类作为T。
当我将这个宏与case类一起使用时,它工作得很好,但现在我想添加一个抽象级别:
trait WithGeneratedField[T] {
val _myField = generateField[T]
}
我遇到的问题是当声明特征时宏会被扩展,并且在那时T被称为抽象类型'T'。有没有办法推迟宏观扩张,直到我把这个特性与具体的东西混合在一起?例如:
case class MyClass(a: String, b: Int) extends WithGeneratedField[MyClass]
最后,我的目标是使用宏将生成的字段添加到案例类。也许还有更好的方法吗?
答案 0 :(得分:2)
如果在2.10.0中变为可能,我会感到惊讶。
使用宏类型或宏注释(http://scalamacros.org/future.html)时,它应该非常简单。我们一发布2.10.0-final就会开始研究这些新的宏,但是很难预测ETA。也许是2012年的冬天 - 2013年春天。