当我尝试将宏注释添加到我的案例类时:
@macid case class CC[A: T](val x: A)
我收到错误:
private[this] not allowed for case class parameters
@macid
只是身份函数,定义为whitebox StaticAnnotation:
import scala.language.experimental.macros
import scala.reflect.macros.whitebox.Context
import scala.annotation.StaticAnnotation
class macid extends StaticAnnotation {
def macroTransform(annottees: Any*): Any = macro macidMacro.impl
}
object macidMacro {
def impl(c: Context)(annottees: c.Expr[Any]*): c.Expr[Any] = {
new Macros[c.type](c).macidMacroImpl(annottees.toList)
}
}
class Macros[C <: Context](val c: C) {
import c.universe._
def macidMacroImpl(annottees: List[c.Expr[Any]]): c.Expr[Any] =
annottees(0)
}
未注释的代码有效:
case class CC[A: T](val x: A)
如果删除上下文绑定,它会起作用:
@macid case class CC[A](val x: A)
正在发生的事情是将上下文绑定到私有参数中。下面的desugared代码得到了同样的错误:
@macid case class CC[A](val x: A)(implicit aIsT: T[A])
要获取正常工作的代码,我使用val
将隐式参数公开:
@macid case class CC[A](val x: A)(implicit val aIsT: T[A])
所以我的问题是:宏注释支持上下文边界的正确方法是什么?为什么编译器对由宏注释生成的代码执行no-private-parameters-of-case-classes检查,但是不执行对普通代码的检查?
Scala版本2.11.7和2.12.0-M3都报告错误。所有上面的代码示例都按照2.11.3中的预期编译和运行。
答案 0 :(得分:2)
好像是一个错误。这是宏看到的树:
case class CC[A] extends scala.Product with scala.Serializable {
<caseaccessor> <paramaccessor> val x: A = _;
implicit <synthetic> <caseaccessor> <paramaccessor> private[this] val evidence$1: T[A] = _;
def <init>(x: A)(implicit evidence$1: T[A]) = {
super.<init>();
()
}
}
通过运行时反射API:
case class CC[A] extends Product with Serializable {
<caseaccessor> <paramaccessor> val x: A = _;
implicit <synthetic> <paramaccessor> private[this] val evidence$1: $read.T[A] = _;
def <init>(x: A)(implicit evidence$1: $read.T[A]) = {
super.<init>();
()
}
};
前者在<caseaccessor>
上有一个额外的evidence$1
标志。似乎案例类的所有隐式参数都错误地给出了这个标志。