::defile

用于“解组”捕获的元变量（因此可能会破坏它们的卫生，因此得名）的辅助过程宏。

当使用需要使用特殊规则（例如 :expr、:path、:pat）进行解析的辅助 macro_rules 宏时，但后来还想进一步检查捕获的变量时，这很有用。

这并不是 macro_rules! 可以独自完成的事情，因为这些所谓的 元变量 被视为一个 不透明的 单个标记（捕获在元变量中的标记序列已被 分组（≈ 括号化），但使用了不可见的括号）。

示例

macro_rules! check_expr {
    (
        42
    ) => ({
        println!("Got `42`!");
    });

    (
        $($tt:tt)*
    ) => ({
        println!("Did not get `42`. Instead, got the following tokens:\n[");
        $(
            println!("    `{}`,", stringify!($tt));
        )*
        println!("]");
    });
}

macro_rules! check_all_exprs {(
    $(
        $expr:expr // use :expr to be able to use `,` as a delimiter
    ),* $(,)?
) => (
    fn main () {
        $(
            println!("vvvvvvvvvvvvv");
            check_expr!($expr);
            println!("^^^^^^^^^^^^^\n");
        )*
    }
)}

check_all_exprs!(42, 1 + 1);

输出

vvvvvvvvvvvvv
Did not get `42`. Instead, got the following tokens:
[
    `42`,
]
^^^^^^^^^^^^^

vvvvvvvvvvvvv
Did not get `42`. Instead, got the following tokens:
[
    `1 + 1`,
]
^^^^^^^^^^^^^

• 那就是

  • 标记 42 不匹配 42！

  • 话虽如此，表达式 1 + 1

    实际上，这正是这种行为的要点：如果我们执行 2 * $expr，其中 $expr 捕获 1 + 1

macro_rules! check_all_exprs {(
    $(
        $expr:expr // use :expr to be able to use `,` as a delimiter
    ),* $(,)?
) => (::defile::defile! { // 👈
    fn main () {
        $(
            println!("vvvvvvvvvvvvv");
            check_expr!(@$expr);
//                      👆
            println!("^^^^^^^^^^^^^\n");
        )*
    }
})}

vvvvvvvvvvvvv
Got `42`!
^^^^^^^^^^^^^

vvvvvvvvvvvvv
Did not get `42`. Instead, got the following tokens:
[
    `1`,
    `+`,
    `1`,
]
^^^^^^^^^^^^^