scala – 是否可以推迟宏扩展,直到抽象类型绑定到特定类型

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]

最后,我的目标是使用宏将生成的字段添加到案例类.也许还有更好的方法吗？