Rustマクロの小さな本

% コールバック

macro_rules! call_with_larch {
    ($callback:ident) => { $callback!(larch) };
}

macro_rules! expand_to_larch {
    () => { larch };
}

macro_rules! recognise_tree {
    (larch) => { println!("#1, the Larch.") };
    (redwood) => { println!("#2, the Mighty Redwood.") };
    (fir) => { println!("#3, the Fir.") };
    (chestnut) => { println!("#4, the Horse Chestnut.") };
    (pine) => { println!("#5, the Scots Pine.") };
    ($($other:tt)*) => { println!("I don't know; some kind of birch maybe?") };
}

fn main() {
    recognise_tree!(expand_to_larch!());
    call_with_larch!(recognise_tree);
}

マクロが展開される順序のため、（Rust 1.2 時点では）別のマクロの展開から、あるマクロへ情報を渡すことは不可能です。これにより、マクロのモジュール化が非常に難しくなることがあります。

別の方法として、再帰を使用してコールバックを渡すことができます。これがどのように行われるかを示すために、上記の例のトレースを示します。

recognise_tree! { expand_to_larch ! (  ) }
println! { "I don't know; some kind of birch maybe?" }
// ...

call_with_larch! { recognise_tree }
recognise_tree! { larch }
println! { "#1, the Larch." }
// ...

tt の繰り返しを使用すると、任意の引数をコールバックへ転送することもできます。

macro_rules! callback {
    ($callback:ident($($args:tt)*)) => {
        $callback!($($args)*)
    };
}

fn main() {
    callback!(callback(println("Yes, this *was* unnecessary.")));
}

もちろん、必要に応じて引数に追加のトークンを挿入できます。