5

ケース クラスにマクロ アノテーションを追加しようとすると、次のようになります。

@macid case class CC[A: T](val x: A)

エラーが発生します：

private[this] not allowed for case class parameters

@macidは、ホワイトボックス 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)

何が起こっているかというと、バインドされたコンテキストが非公開パラメーターに脱糖されているということです。次の脱糖コードでも同じエラーが発生します。

@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])

私の質問は次のとおりです。マクロ注釈がコンテキスト境界をサポートする正しい方法は何ですか? コンパイラが、マクロ アノテーションによって生成されたコードに対して非公開パラメーターのケース クラスのチェックを実行するのに、通常のコードのチェックを実行しないのはなぜですか?

Scala バージョン 2.11.7 と 2.12.0-M3 の両方でエラーが報告されます。上記のコード例はすべて、2.11.3 で期待どおりにコンパイルおよび実行されます。

4

1 に答える 1

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ケース クラスへのすべての暗黙的なパラメーターに誤ってこのフラグが指定されているようです。

于 2016-02-18T03:32:15.807 に答える