1

我正在使用scala-meta的新型宏注释。所以我扩展了@Main注解的例子：

SConsumer.scala：

import scala.meta._


class SConsumer extends scala.annotation.StaticAnnotation {

  inline def apply(defn: Any): Any = meta {
    defn match {
      case q"case class $name($param: $tpe) { ..$stats }" =>
        val accept = q"def accept($param: $tpe): Unit = { ..$stats }"
        q"case class $name extends SConsumerProperty[${tpe}] { $accept }"
      case _ =>
        abort("error!")
    }
  }
}

SConsumerProperty.scala：

trait SConsumerProperty[T] {
  def accept(param: T): Unit
}

它给出了以下编译器错误：

Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=256M; support was removed in 8.0
[info] Loading project definition from /home/erik/Entwicklung/IntelliJ/Android/Apps/scalandroid/project
[info] Set current project to scalandroid (in build file:/home/erik/Entwicklung/IntelliJ/Android/Apps/scalandroid/)
[info] Packaging /home/erik/Entwicklung/IntelliJ/Android/Apps/scalandroid/target/scala-2.11/scalandroid_2.11-0.0.23-sources.jar ...
[info] Done packaging.
[info] Wrote /home/erik/Entwicklung/IntelliJ/Android/Apps/scalandroid/target/scala-2.11/scalandroid_2.11-0.0.23.pom
[info] Compiling 4 Scala sources to /home/erik/Entwicklung/IntelliJ/Android/Apps/scalandroid/target/android/intermediates/classes...
[error] /home/erik/Entwicklung/IntelliJ/Android/Apps/scalandroid/src/main/scala/com/bertderbecker/scalandroid/event/SConsumer.scala:14: type mismatch when unquoting;
[error]  found   : Option[scala.meta.Type.Arg]
[error]  required: scala.meta.Type
[error]         q"case class $name extends com.bertderbecker.scalandroid.event.SConsumerProperty[${tpe}] { $accept }"
[error]                                                                                        
[error] one error found
[error] (compile:compileIncremental) Compilation failed
[error] Total time: 6 s, completed 17.02.2017 16:16:02
Process finished with exit code 1

那么，如何将 Type.Arg 转换为 Type？

4

1 回答 1

3

我自己也被这个咬过。一般来说，对于这种情况，最好咨询Tree来源。都是（见但Type有两个不是:和.Type.Argtrait Type extends X with Type.ArgType.ArgTypeType.Arg.ByNameType.Arg.Repeated

例如，

q"def foo(k: Int, a: => Int, b: String*)".structure
res22: String = """
Decl.Def(Nil, Term.Name("foo"), Nil,
         Seq(Seq(Term.Param(Nil, Term.Name("k"), Some(Type.Name("Int")), None),
                 Term.Param(Nil, Term.Name("a"), Some(Type.Arg.ByName(Type.Name("Int"))), None),
                 Term.Param(Nil, Term.Name("b"), Some(Type.Arg.Repeated(Type.Name("String"))), None))),
         Type.Name("Unit"))
"""

我们可以创建一个辅助实用程序来将 a 转换Type.Arg为 aType

def toType(arg: Type.Arg): Type = arg match {
  case Type.Arg.Repeated(tpe) => tpe
  case Type.Arg.ByName(tpe) => tpe
  case tpe: Type => tpe
}
于 2017-04-14T23:00:54.523 回答