Scala语言将加入宏指令
Scala開發(fā)團隊正在將實驗版宏指令加入到即將發(fā)行的2.10版中。Scala宏指令提供了編譯時元編程的高級形式。Scala宏網(wǎng)站描述道：
\u0026#xD;\n\u0026#xD;\n“宏指令顯著簡化了代碼分析和代碼生成，這使得它們成為處理大量現(xiàn)實用例的一種可選工具。傳統(tǒng)上涉及編寫和維護樣板的場合可用宏以簡單且易維護的方式實現(xiàn)。因此我們認為宏對于Scala編程語言是一項非常有價值的資產。”
\u0026#xD;\n\u0026#xD;\nScala的宏指令允許開發(fā)者創(chuàng)建方法時以語法樹轉化的形式實現(xiàn)。這些是標準方法的定義，其在編譯期間被顯式地轉換。舉一個簡單的例子，如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;\nassert宏就像代碼中的一個普通的方法。該實現(xiàn)使用macro方法委托成為編譯器擴展。該編譯器擴展是方法assertImpl。assertImpl使用當前編譯的上下文作為參數(shù)，而參數(shù)傳給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;\nreify和自清潔宏系統(tǒng)的更多細節(jié)可參考自清潔宏建議。
\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;\nKreps接下來列舉了一系列更重要的事情，包括編譯速度、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的發(fā)明者Martin Odersky回復說：
\u0026#xD;\n\u0026#xD;\n“宏的設計初衷和Scala語言的其他一般設計一樣，都是為了使事情簡單化。我們已經實現(xiàn)通過宏替換代碼，希望其他功能也能這樣實現(xiàn)。比如說，有一種強推在某種情況下消除 atomic { implicit transaction =\u0026gt; ... }中的隱含參數(shù)和許多其他相關情形。有了宏，這類問題就微不足道了。”
\u0026#xD;\n\u0026#xD;\n圍繞著Scala宏的討論已經逐漸偃旗息鼓，社區(qū)成員們正在等著看最終的實現(xiàn)。最終發(fā)布的版本始終沒有放棄在宏指令方面的冒險。許多社區(qū)內基于宏的項目已經逐漸生根發(fā)芽，包括：
\u0026#xD;\nMacrocosm——測試宏指令實際用例的庫。
\u0026#xD;\nExpecty——Groovy的Spock框架中的斷言語句在Scala中的適應性改編。
\u0026#xD;\nSlick——引進類似LINQ的數(shù)據(jù)庫操作的嘗試。Slick能轉化Scala語法為數(shù)據(jù)庫查詢。
\u0026#xD;\nScalaMock——Scala的模擬對象測試庫。
\u0026#xD;\n在2.10.0-M4發(fā)布說明里可以找到其他一系列Scala2.10中的功能，包括：
\u0026#xD;\n字符串插值
\u0026#xD;\nFutures和Promises
\u0026#xD;\nValue類
\u0026#xD;\n動態(tài)類型
\u0026#xD;\n隱式類
\u0026#xD;\nScala2.10版馬上就要發(fā)布了，Scala開發(fā)團隊號召人們試用最新的milestone發(fā)行版并提供反饋意見。你可以從這里下載最新版本。
\u0026#xD;\n感謝楊賽對本文的審校。
\u0026#xD;\n給InfoQ中文站投稿或者參與內容翻譯工作，請郵件至editors@cn.infoq.com。也歡迎大家通過新浪微博（@InfoQ）或者騰訊微博（@InfoQ）關注我們，并與我們的編輯和其他讀者朋友交流。
總結
以上是生活随笔為你收集整理的Scala语言将加入宏指令的全部內容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： 考验你对《艾尔登法环》地图熟悉度的时候到
- 下一篇： 2012年我读过的十本好书