如何在 Scala 用户定义的注释中使用命名参数？答案

【问题标题】：How to use named arguments in Scala user defined annotations?如何在 Scala 用户定义的注释中使用命名参数？
【发布时间】：2019-03-07 18:32:53
【问题描述】：

在下面的代码中，我能够获得第一个注释对象“Publishable”，但不是第二个。第二个使用命名参数，将其转换为 x$2、x$3、x$1 作为 AST 中的参数。我该如何正确地做到这一点？

class Publishable(
    val path: String = "",
    val format: String = "",
    val saveMode: String = "overwrite"
) extends scala.annotation.StaticAnnotation {
    def show: Unit = {
        println(s"path=$path, format=$format, saveMode=$saveMode")
    }
}

class TestObject {
    @Publishable("a", "b")
    def method1 = 100

    @Publishable(saveMode = "c")
    def method2 = 200
}

import scala.reflect.runtime.{universe => ru}
import ru._

val mirror = runtimeMirror(getClass.getClassLoader)
typeOf[TestObject].decls.foreach(field => {
    println(s"==== $field ====")
    field.annotations.foreach(anno => {
        println(s"tree = ${show(anno.tree)}")
        import scala.tools.reflect.ToolBox
        val tb = mirror.mkToolBox()
        val pub = tb.eval(tb.untypecheck(anno.tree)).asInstanceOf[Publishable]
        pub.show
    })
})

输出：

==== constructor TestObject ====
==== method method1 ====
tree = new Publishable("a", "b", $line41.$read.$iw.$iw.Publishable.<init>$default$3)
path=a, format=b, saveMode=overwrite
==== method method2 ====
tree = new Publishable(x$2, x$3, x$1)
java.lang.IllegalArgumentException: Could not find proxy for val x$2: String in List(value x$2, value <local TestObject>, class TestObject, object $iw, object $iw, object $read, package $line42, package <root>) (currentOwner= method wrapper )
at scala.tools.nsc.transform.LambdaLift$LambdaLifter.scala$tools$nsc$transform$LambdaLift$LambdaLifter$$searchIn$1(LambdaLift.scala:326)
at scala.tools.nsc.transform.LambdaLift$LambdaLifter.scala$tools$nsc$transform$LambdaLift$LambdaLifter$$searchIn$1(LambdaLift.scala:331)
....

【问题讨论】：

标签： scala reflection annotations abstract-syntax-tree

【解决方案1】：

编译您的代码会产生警告：

Warning: Usage of named or default arguments transformed this annotation
constructor call into a block. The corresponding AnnotationInfo
will contain references to local values and default getters instead
of the actual argument trees
  @Publishable(saveMode = "c")

您可以使用默认参数，如

tree = new Publishable("a", "b", $line41.$read.$iw.$iw.Publishable.<init>$default$3)

使用这种技术：How do I access default parameter values via Scala reflection? 用于命名为 $lessinit$greater$default$3 的方法。

但是对于像

中的命名参数

tree = new Publishable(x$2, x$3, x$1)

它们的值存储在局部变量中（错误为Could not find proxy for val x$2）并且无法通过反射获得局部变量（Scala 反射和 Java 反射都不是） https://www.thecodingforums.com/threads/java-reflection-with-local-variables.599017/

您可以在编译时使用 macro 注释的默认参数和命名参数：Getting Parameters from Scala Macro Annotation

【讨论】：