Rust 032 宣言的マクロ入門 - 関数では届かない領域

第32章へようこそ。今日のテーマは「宣言的マクロ」です。これまでの章では、関数を使ってコードの構造を組み立ててきました。引数を取り、処理を行い、戻り値を返す。再利用したい処理を関数として切り出す。ほとんどの抽象は関数で書ける。しかし関数では書けないものがあります。要素の個数を決めずに配列を作る、引数の型に応じてフォーマットを組み立てる、ある構造体に対する一連のメソッドをまとめて生成する。こうした操作は関数の枠を出ている。これらを書くために、Rustにはマクロという別の仕組みが用意されている。今日扱うのは、マクロが関数では届かない領域を扱う仕組みであること、コンパイル時にコードを変換するという位置づけ、そして基本の道具であるmacro_rules!の構造です。