Question

我正在尝试实现一个隐式的Materializer，如下所述：http://docs.scala-lang.org/overviews/macros/implicits.html

我决定创建一个宏，使用quasiquotes将案例类从String转换为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 );，但结果为id（请注意name和value id is not a member of User之后的额外空格），这自然会导致错误{{1}}。

我做错了什么？

Answer 1

啊，在发出问题后几乎立刻就知道了。

我更改了行

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
}

解决了这个问题。

Answer 2

accessed.name附带的字段附加了一个特殊后缀，以避免命名冲突。

特殊后缀是scala.reflect.api.StandardNames$TermNamesApi.LOCAL_SUFFIX_STRING，它具有您猜对象的值，即空格字符。

当然，这是非常邪恶的。

Scala Macros：使用quasiquotes访问成员

2 个答案: