[续]使用|[续]使用 Scala Macro Annotation 实现配置项绑定 [续]使用ScalaMacroAnnotation实现配

v0.1.2 续上篇, 因 @连城404 的转发原文:

【[续]使用|[续]使用 Scala Macro Annotation 实现配置项绑定】@连城404:很有趣，有可能把 @conf val port = 0 中的 "= 0" 去掉换成现实的类型说明吗？即 @conf port: Int 这个赋值在此处完全没有实际意义，更像是实现限制而引入的噪声。

class Server { @conf val port = 0 //上面的赋值闲得多余, 可以写成: // @conf val port: Int }

确实没有必要, 但意义还是有的: IDE 不会报错. (至少我用的IDEA 14 的 scala plugin 还不支持 Scala Macro)
那 = 0 可以去掉吗?
答案是可以, 只是在被 @连城404 问到的时候我还没有想到办法.
解决办法方法其实不难, 前提是要对 Scala AST 很熟悉.
经查:

case class ValDef(mods: Modifiers, name: TermName, tpt: Tree, rhs: Tree)

Modifiers 中有个 flags 属性, 其中标记了val port 的各种特征.
那么 val port: Int 和 val port = 0 之间的区别则可以从 flags 中体现出来.

class ModifierFlags { final val DEFERRED= 1 << 4// was `abstract' for members | trait is virtual final val DEFAULTINIT= 1L << 41// symbol is initialized to the default value: used by -Xcheckinit... }

ModifierFlags 里定义了所有的 flags 值, 这里摘录其中两个枚举则对应上面两种不同的写法.
具体实现的代码的提交, 请见0475d92c.

如何发现这些细节 ?

print(x), 探查未知对象的展现信息, 多半能够提供重要线索;

print(x.getClass), 上面的办法不管用, 则需要查明它的类型, 然后去翻源码了.

v0.2.0 上面 v0.1.x 是一种基于ValDef 的声明风格, 实际使用的时候会发现:
编写简单的同时, 代价是类名定义要与配置路径要严格一致, 这并非适合所有场景
比如写个 Kafka 的消费客户端, 要为它设计其访问服务的配置项

kafka_broker { host = 10.0.0.1 port = 12306 }

此时, 对应的类名就要是KafkaBroker, 这显然违背了设计意图, 像 KafkaConsumer 才是最为自然的选择.
与其大量时间纠结于命名上, 不如换个更好的声明方式.
让 @conf 带参数可以更改默认配置项路径 :

class KafkaConsumer { @conf("kafka_broker.host") val host: String }

嗯, 不错, 能够解决问题. 只是觉得像绕了一圈又回去了的感觉:

class KafkaConsumer { val host = conf.getString("kafka_broker.host") }

对比这两种写法, 前者似乎没什么优势了.
回顾用 Macro Annotation 解决配置项绑定的初衷, 是希望将代码的元信息与配置项建立映射关系, 减少因中间字符串的 Hard Code 为重构带来的额外成本.
为此, 另一种写法诞生了, 它是受这篇 Adding Reflection to Scala Macros 的启发.
其中的细节请见 v0.2.0 的 README, 就不累述于此了.
这种新写法还有个好处, 就是能够方便通过从代码来生成配置文件, 转义的代价很小.
嗯...再写个 sbt plugin 吧 :)