6

ここで説明されているように、暗黙的なマテリアライザーを実装しようとしています: http://docs.scala-lang.org/overviews/macros/implicits.html

Stringプロトタイピングの目的で、準引用符を使用して case クラスを との間で変換するマクロを作成することにしました。例えば：

case class User(id: String, name: String)
val foo = User("testid", "foo")

テキストに変換fooする"testid foo"と、その逆になります。

以下は、私が作成した単純なトレイトとそのコンパニオン オブジェクトです。

trait TextConvertible[T] {
  def convertTo(obj: T): String
  def convertFrom(text: String): T
}

object TextConvertible {
  import language.experimental.macros
  import QuasiTest.materializeTextConvertible_impl
  implicit def materializeTextConvertible[T]: TextConvertible[T] = macro materializeTextConvertible_impl[T]
}

ここにマクロがあります：

object QuasiTest {
  import reflect.macros._

  def materializeTextConvertible_impl[T: c.WeakTypeTag](c: Context): c.Expr[TextConvertible[T]] = {
    import c.universe._
    val tpe = weakTypeOf[T]

    val fields = tpe.declarations.collect {
      case field if field.isMethod && field.asMethod.isCaseAccessor => field.asMethod.accessed
    }

    val strConvertTo = fields.map {
      field => q"obj.$field"
    }.reduce[Tree] {
      case (acc, elem) => q"""$acc + " " + $elem"""
    }

    val strConvertFrom = fields.zipWithIndex map {
      case (field, index) => q"splitted($index)"
    }

    val quasi = q"""
      new TextConvertible[$tpe] {
        def convertTo(obj: $tpe) = $strConvertTo
        def convertFrom(text: String) = {
          val splitted = text.split(" ")
          new $tpe(..$strConvertFrom)
        }
      }
    """

    c.Expr[TextConvertible[T]](quasi)
  }
}

生成する

{
  final class $anon extends TextConvertible[User] {
    def <init>() = {
      super.<init>();
      ()
    };
    def convertTo(obj: User) = obj.id.$plus(" ").$plus(obj.name);
    def convertFrom(text: String) = {
      val splitted = text.split(" ");
      new User(splitted(0), splitted(1))
    }
  };
  new $anon()
}

生成されたコードは正常に見えますがvalue id in class User cannot be accessed in User、マクロを使用しようとするとコンパイルでエラーが発生します。

フィールドに間違ったタイプを使用していると思われます。を試しfield.asMethod.accessed.nameましたが、結果は(とdef convertTo(obj: User) = obj.id .$plus(" ").$plus(obj.name );の後の余分なスペースに注意してください) になり、当然エラーになります。idnamevalue id is not a member of User

私は何を間違っていますか？

4

2 に答える 2

2

ああ、私の質問を送った直後にそれを理解しました。

線を変えました

val fields = tpe.declarations.collect {
  case field if field.isMethod && field.asMethod.isCaseAccessor => field.asMethod.accessed
}

に

val fields = tpe.declarations.collect {
  case field if field.isMethod && field.asMethod.isCaseAccessor => field.name
}

問題を解決しました。

于 2013-10-23T14:43:51.987 に答える
2

取得したフィールドにaccessed.nameは、名前の競合を避けるために、特別な接尾辞が付けられています。

特別な接尾辞はscala.reflect.api.StandardNames$TermNamesApi.LOCAL_SUFFIX_STRINGで、その値はご想像のとおり、スペース文字です。

もちろん、これは非常に悪いことです。

于 2013-10-23T23:40:48.223 に答える