Scala注解使用命名参数时运行时反射获取参数异常问题

你定义的注解类代码如下：

case class A(x: String, y: Option[String] = None, z: Option[Boolean] = None) extends scala.annotation.StaticAnnotation

当使用位置参数（如@A("xx", None, Some(true))）时反射可正常获取注解，但使用命名参数（如@A("x", z = Some(true))）时触发AssertionError，报错含"unsafe symbol x$3 (child of ) in runtime reflection universe"，该问题在Scala 2.11和2.13版本均存在，核心原因是Scala 2.x运行时反射对注解的命名参数+默认参数组合的解析存在内部实现缺陷。

具体原因拆解 #

• 使用位置参数时，编译器直接按参数顺序构造注解实例，所有参数均显式传递，反射模块能正常解析每个参数对应的符号绑定，不会触发异常。
• 使用命名参数+默认参数时，编译器会生成临时占位变量来填充未显式传递的默认参数（比如示例中未传递的y参数），但这些临时变量的符号并未被正确注册到运行时反射的符号 universe 中。反射模块在尝试解析这些未绑定的符号时，触发了内部断言检查，最终抛出AssertionError。

可行解决方案 #

1. 避免混合使用命名参数和默认参数：要么全用位置参数传递所有参数，要么显式写出所有参数（包括默认值对应的参数），比如@A("x", None, Some(true))。
2. 替换默认参数为重载构造器：由于Scala case class不支持重载构造，可将注解改为普通类并定义多个构造器：

   class A(x: String, y: Option[String], z: Option[Boolean]) extends scala.annotation.StaticAnnotation {
     def this(x: String) = this(x, None, None)
     def this(x: String, z: Option[Boolean]) = this(x, None, z)
   }
   

   此时使用@A("x", z = Some(true))即可正常工作，反射也能正确解析注解实例。
3. 升级到Scala 3：Scala 3重构了反射系统，彻底修复了这类注解参数解析的底层问题，使用默认参数+命名参数的组合不会再出现此类异常。

内容的提问来源于stack exchange，提问作者Alex Savitsky