Scala语言将加入宏指令

Scala开发团队正在将实验版宏指令加入到即将发行的2.10版中。Scala宏指令提供了编译时元编程的高级形式。Scala宏网站描述道：

\u0026#xD;\n

\u0026#xD;\n
“宏指令显著简化了代码分析和代码生成，这使得它们成为处理大量现实用例的一种可选工具。传统上涉及编写和维护样板的场合可用宏以简单且易维护的方式实现。因此我们认为宏对于Scala编程语言是一项非常有价值的资产。”
\u0026#xD;\n

\u0026#xD;\n

Scala的宏指令允许开发者创建方法时以语法树转化的形式实现。这些是标准方法的定义，其在编译期间被显式地转换。举一个简单的例子，如assert方法：

\u0026#xD;\n

\u0026#xD;\nimport scala.reflect.makro.Context\u0026#xD;\nimport language.experimental.macros\u0026#xD;\nobject Asserts {\u0026#xD;\n   def assert(cond: Boolean, msg: Any) = macro Asserts.assertImpl\u0026#xD;\n   def raise(msg: Any) = throw new AssertionError(msg)\u0026#xD;\n   def assertImpl(c: Context)(cond: c.Expr[Boolean], msg: c.Expr[Any]): c.Expr[Unit] =\u0026#xD;\n         if(assertionsEnabled) c.reify(if(!cond.splice) raise(msg.splice))\u0026#xD;\n          else c.reify(())\u0026#xD;\n}\u0026#xD;\n

\u0026#xD;\n

assert宏就像代码中的一个普通的方法。该实现使用macro方法委托成为编译器扩展。该编译器扩展是方法assertImpl。assertImpl使用当前编译的上下文作为参数，而参数传给assert作为语法树（Expr）。这些语法树接下来被用作产生一个新的语法树并被插入至assert宏方法被调用的位置。

\u0026#xD;\n

对于assert宏来说，调用assert的方法assert(x != null, \"X is null\") 会给cond变量填充x != null的语法树而给msg变量填充\"X is null\"的语法树。对reify的调用会产生一个 if(x != null) Asserts.raise(\"X is null\")的或者()的新语法树。这个语法树会替代原始的assert(x != null, \"X is null\") 调用。

\u0026#xD;\n

reify和自清洁宏系统的更多细节可参考自清洁宏建议。

\u0026#xD;\n

有些人怀疑添加宏的效果，在一份题为《Scala Macros: \"Oh God Why?\"》博客中， Jay Kreps 评论道：

\u0026#xD;\n

\u0026#xD;\n
“这也是我对于Scala 宏指令的看法（Oh God Why?）。并不是因为宏指令或者这项提议有什么坏处，问题在于这真的是最重要的事情吗？”
\u0026#xD;\n

\u0026#xD;\n

Kreps接下来列举了一系列更重要的事情，包括编译速度、IDE支持、文档和编译文件大小。

\u0026#xD;\n

支持Kreps观点的大有人在。Ivan Todoroski在一封给Scala邮件列表的信中写到：

\u0026#xD;\n

\u0026#xD;\n
“在搜索问题的时候，Scala宏指令看起来只是一个低级别的、hacking风格的解决方案。它们在编写时太复杂，不太像Scala的风格，调试也麻烦，而且可能不过是为Scala的‘太多高深莫测的魔法’的形象增添了一笔。”
\u0026#xD;\n

\u0026#xD;\n

对此，Scala的发明者Martin Odersky回复说：

\u0026#xD;\n

\u0026#xD;\n
“宏的设计初衷和Scala语言的其他一般设计一样，都是为了使事情简单化。我们已经实现通过宏替换代码，希望其他功能也能这样实现。比如说，有一种强推在某种情况下消除 atomic { implicit transaction =\u0026gt; ... }中的隐含参数和许多其他相关情形。有了宏，这类问题就微不足道了。”
\u0026#xD;\n

\u0026#xD;\n

围绕着Scala宏的讨论已经逐渐偃旗息鼓，社区成员们正在等着看最终的实现。最终发布的版本始终没有放弃在宏指令方面的冒险。许多社区内基于宏的项目已经逐渐生根发芽，包括：

\u0026#xD;\n

Macrocosm——测试宏指令实际用例的库。

\u0026#xD;\n

Expecty——Groovy的Spock框架中的断言语句在Scala中的适应性改编。

\u0026#xD;\n

Slick——引进类似LINQ的数据库操作的尝试。Slick能转化Scala语法为数据库查询。

\u0026#xD;\n

ScalaMock——Scala的模拟对象测试库。

\u0026#xD;\n

在2.10.0-M4发布说明里可以找到其他一系列Scala2.10中的功能，包括：