我正在使用macroparadise 2.0.0-M3试验Scala 2.10.3中的宏注释。我试图理解如何使用准引号为带注释的类生成伴生对象。到目前为止,我发现的是如何在已经声明伴生对象时生成伴生对象。令人费解的是,即使总是发出相同结构的代码也是如此。例如:
import scala.annotation.StaticAnnotation
import scala.language.experimental.macros
import scala.reflect.macros.Context
class testThing extends StaticAnnotation {
def macroTransform(annottees: Any*) = macro testThing.impl
}
object testThing {
def impl(c: Context)(annottees: c.Expr[Any]*): c.Expr[Any] = {
import c.universe._
val toEmit = c.Expr(q"""
class Thingy(i: Int) {
def stuff = println(i)
}
object Thingy {
def apply(x: Int) = new Thingy(x)
}
""")
annottees.map(_.tree) match {
case Nil => {
c.abort(c.enclosingPosition, "No test target")
}
case (classDeclaration: ClassDef) :: Nil => {
println("No companion provided")
toEmit
}
case (classDeclaration: ClassDef) :: (companionDeclaration: ModuleDef) :: Nil => {
println("Companion provided")
toEmit
}
case _ => c.abort(c.enclosingPosition, "Invalid test target")
}
}
}
下面是一个示例REPL会话,显示了预声明伴侣对象和不这样做之间的行为差异:
scala> @testThing class Thingy { }
No companion provided
defined class Thingy
scala> :paste
// Entering paste mode (ctrl-D to finish)
@testThing class Thingy { }
object Thingy { }
// Exiting paste mode, now interpreting.
Companion provided
defined class Thingy
defined module Thingy
scala>
我是否错误地认为在这两种情况下都应该创建伴生对象?在http://docs.scala-lang.org/overviews/macros/annotations.html中说明,宏注释旨在允许创建伴生对象。与此相关的是在类上使用宏注释创建或扩展伴侣对象,它展示了不使用准引号的伴侣对象的创建。
看起来像是repl特有的bug: https://github.com/scalamacros/paradise/issues/18.