Month: September 2009

boo 應該是在 0.8 以後吧，就提供了 macro 這個新的關鍵字，用來寫 macro，之前的寫法相當麻煩，需要先繼承 AbstractAstMacro，然後overwrite Expand 這個方法。
新的 macro 關鍵字簡化了一些功夫，macro 之後接的是名稱，下面的 block 就是描述要怎麼去替代，block 的最後再傳回 Ast.Block 即可。
大致的寫法就像這樣子：
[python]
macro Msg:
args=Msg.Arguments # macro 名稱其後加上 .Arguments，表示取得 macro 後面的參數
# [| |] 是相對簡便的語法，表示這裡面是個 Ast.Block，也就是程式區塊，而 .Body 則表示是 macro 下面的 block
# 注意：[| 後與 |] 前一定要分行，否則會有錯誤
return [|
$(Msg.Body)
|]
[/python]

寫法相當簡潔，不過在寫的時候，卻很容易讓人碰壁。最大的原因是用法誨澀，以上面的 Msg macro 來說，當 Msg 123 的時候，Msg.Arguments[0] 的型態照理應該是 Int32 才對，但實際上卻是 Ast.IntegerLiteralExpression，型態已經全然是 Compiler AST tree 裡的型態，macro 裡要取用變數、或產生 block也很容易造成困擾，這對於不玩 compiler 的人來說，是相當高的門檻。再者，文件的缺少也是很重要的因素，官方對於這方面的文件非常缺少(比較少人玩 Boo 也是一個主因)。
但是，這對於創造新的語法來說，卻是相當的便利，這也就是一般常說的 DSL，你可以針對某個特定領域來創造適合的語法。網路上能找到的例子，也多半如此。

boo 的 macro 跟 C/C++ 的 macro 很類似，都是在編譯時期就被替代為實際的代碼。不過 C/C++ 只做簡單的替換，boo 的 macro 則是會在編譯時期時進行編譯並且執行、進行替換。

#
# dontimes.boo
#
import System
import Boo.Lang.Compiler
macro DoNTimes:
  n = DoNTimes.Arguments[0] as Ast.IntegerLiteralExpression
  print n.GetType().ToString() # n is IntegerLiteralExpression
  print DoNTimes.Body.GetType().ToString() # DoNTimes.Body is Block
  blocks = Ast.Block() # create new block add DoNTimes.Body n times.
  for i in range(Convert.ToInt32(n.ValueObject)):
    blocks.Add( DoNTimes.Body )
  return blocks

DoNTimes 3:
  print "foo"
  print "Press any key to continue . . . "
  Console.ReadKey(true)

使用 booi 來執行，你會看到下面的訊息，foo 被印了三次：

Boo.Lang.Compiler.Ast.IntegerLiteralExpression
Boo.Lang.Compiler.Ast.Block
foo
foo
foo
Press any key to continue . . .

那這跟用 for 迴圈來跑有什麼不同？
首先用 booc 來編譯：booc -t:exe dontimes.boo，在編譯的時候，你會發現第9行跟第10行的訊息被印了出來：

Boo.Lang.Compiler.Ast.IntegerLiteralExpression
Boo.Lang.Compiler.Ast.Block

這證明了 boo compiler 會在編譯時，把 macro 的部份先拿出來編譯，然後在編譯的時後去執行 macro，對程式碼進行替換。然後你會發現執行 dontimes 的時候，只印了 foo 三次。
用 reflector 來看，可以看到：

private static void Main(string[] argv)
{
  Console.WriteLine("foo");
  Console.WriteLine("foo");
  Console.WriteLine("foo");
  Console.WriteLine("Press any key to continue . . . ");
  Console.ReadKey(true);
}

代碼只有三行Console.WriteLine(“foo”);，這很清楚的說明了 booc 在編譯時，就把 macro 的內容替換進去了。